The model evolution calculus as a first-order DPLL method

&
Artificial Intelligence 172 (4-5):591-632 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2007.09.005

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On the complexity of choosing the branching literal in DPLL.Paolo Liberatore - 2000 - Artificial Intelligence 116 (1-2):315-326.
Situation calculus for controller synthesis in manufacturing systems with first-order state representation.Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi & Sebastian Sardiña - 2022 - Artificial Intelligence 302 (C):103598.
First-order stable model semantics with intensional functions.Michael Bartholomew & Joohyung Lee - 2019 - Artificial Intelligence 273 (C):56-93.
Lifted algorithms for symmetric weighted first-order model sampling.Yuanhong Wang, Juhua Pu, Yuyi Wang & Ondřej Kuželka - 2024 - Artificial Intelligence 331 (C):104114.
Situation Calculus の非標準モデルについて.Hiratsuka Satoshi Fusaoka Akira - 2002 - Transactions of the Japanese Society for Artificial Intelligence 17:557-564.
A model-based method for computer-aided medical decision-making.Sholom M. Weiss, Casimir A. Kulikowski, Saul Amarel & Aran Safir - 1978 - Artificial Intelligence 11 (1-2):145-172.
Model simplification by asymptotic order of magnitude reasoning.Kenneth Man-kam Yip - 1996 - Artificial Intelligence 80 (2):309-348.
A circumscriptive calculus of events.Murray Shanahan - 1995 - Artificial Intelligence 77 (2):249-284.
Inductive situation calculus.Marc Denecker & Eugenia Ternovska - 2007 - Artificial Intelligence 171 (5-6):332-360.
A unifying action calculus.Michael Thielscher - 2011 - Artificial Intelligence 175 (1):120-141.

Analytics

Added to PP
2020-12-22

Downloads
3 (#1,213,485)

6 months
7 (#1,397,300)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Designing visual languages for description logics.Brian R. Gaines - 2009 - Journal of Logic, Language and Information 18 (2):217-250.

Add more citations

References found in this work

Pruning the search space and extracting more models in tableaux.N. Peltier - 1999 - Logic Journal of the IGPL 7 (2):217-251.

Add more references