A theory of diagnosis from first principles
Artificial Intelligence
Proceedings of the eleventh international conference on Logic programming
Artificial Intelligence
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
On the logic of causal explanation
Artificial Intelligence
Reasoning agents in dynamic domains
Logic-based artificial intelligence
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Strong and Weak Constraints in Disjunctive Datalog
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Representing actions and state constraints in model-based diagnosis
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Causal theories of action and change
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Non-monotonic Reasoning on Beowulf Platforms
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Theory and Practice of Logic Programming
On the existence of stable models of non-stratified logic programs
Theory and Practice of Logic Programming
Issues in parallel execution of non-monotonic reasoning systems
Parallel Computing
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Fundamenta Informaticae
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming
Fundamenta Informaticae
Open answer set programming with guarded programs
ACM Transactions on Computational Logic (TOCL)
Some Results on the Completeness of Approximation Based Reasoning
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Justifications for logic programs under answer set semantics
Theory and Practice of Logic Programming
Reasoning about intended actions
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Error classification in action descriptions: a heuristic approach
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Towards answer set prolog based architectures for intelligent agents
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Tracing actions helps in understanding interactions
SigDIAL '06 Proceedings of the 7th SIGdial Workshop on Discourse and Dialogue
Answer set programming for the semantic web
ICLP'07 Proceedings of the 23rd international conference on Logic programming
A 25-year perspective on logic programming
Approximation of action theories and its application to conformant planning
Artificial Intelligence
Belief extrapolation (or how to reason about observations and unpredicted change)
Artificial Intelligence
ASP as a cognitive modeling tool: short-term memory and long-term memory
Logic programming, knowledge representation, and nonmonotonic reasoning
Detecting and repairing anomalous evolutions in noisy environments
Annals of Mathematics and Artificial Intelligence
Synonymous theories and knowledge representations in answer set programming
Journal of Computer and System Sciences
KMONITOR: a tool for monitoring plan execution in action theories
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Predicate introduction under stable and well-founded semantics
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Formalizing commitments using action languages
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Reasoning about the intentions of agents
Logic Programs, Norms and Action
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Fundamenta Informaticae
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming
Fundamenta Informaticae
Action language BC: preliminary report
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
In this paper, we suggest an architecture for a software agent which operates a physical device and is capable of making observations and of testing and repairing the device's components. We present simplified definitions of the notions of symptom, candidate diagnosis, and diagnosis which are based on the theory of action language ${\cal AL}$. The definitions allow one to give a simple account of the agent's behavior in which many of the agent's tasks are reduced to computing stable models of logic programs.