A formal model of diagnostic inference. I. Problem formulation and decomposition
Information Sciences: an International Journal - Special issue on expert systems
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
A logic-based calculus of events
New Generation Computing
A theory of diagnosis from first principles
Artificial Intelligence
Readings in nonmonotonic reasoning
Reasoning about action I: a possible worlds approach
Artificial Intelligence
The anomalous extension problem in default reasoning
Artificial Intelligence
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Miracles in formal theories of action
Artificial Intelligence
Autoepistemic logic and formalization of commonsense reasoning: preliminary report
Proceedings of the 2nd international workshop on Non-monotonic reasoning
A correction to the algorithm in Reiter's theory of diagnosis
Artificial Intelligence
Logic programs with classical negation
Logic programming
ADL: exploring the middle ground between STRIPS and the situation calculus
Proceedings of the first international conference on Principles of knowledge representation and reasoning
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Nonmonotonic reasoning in the framework of situation calculus
Artificial Intelligence - Special issue on knowledge representation
Artificial intelligence and mathematical theory of computation
Readings in model-based diagnosis
Readings in model-based diagnosis
Well founded semantics for logic programs with explicit negation
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Characterizing diagnoses and systems
Artificial Intelligence
Temporal reasoning in logic programming: a case for the situation calculus
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Representing actions in logic programming and its applications in database updates
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Two counterexamples related to Baker's approach to the frame problem
Artificial Intelligence
Representing incomplete knowledge in abductive logic programming
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Motivated action theory: a formal theory of causal reasoning
Artificial Intelligence
SLX—a top-down derivation procedure for programs with explicit negation
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
The situation calculus and event calculus compared
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Reasoning with Logic Programming
Reasoning with Logic Programming
Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Knowledge-Based Situated Agents Among Us: A Preliminary Report
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
What is believed is what is explained (sometimes)
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
Tabling for non-monotonic programming
Annals of Mathematics and Artificial Intelligence
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
Hi-index | 0.00 |
In this paper we extend Gelfond and Lifschitz’ action description language {\cal A} with concurrent actions and observation propositions to describe the predicted behaviour of domains of (concurrent) actions and actually observed behaviour, respectively, without requiring that the actually observed behaviour of a domain of actions be consistent with its predicted behaviour. We present a translation from domain descriptions and observations in the new action language to abductive normal logic programs. The translation is shown to be both sound and complete. From the standpoint of model‐based diagnosis, in particular, we discuss the temporal explanation of inferring actions from fluent changes at two different levels, namely, at the domain description level and at the abductive logic programming level. The method is applicable to the temporal projection problem with incomplete information, as well as to the temporal explanation of inferring actions from fluent changes.