Semantical considerations on nonmonotonic logic
Artificial Intelligence
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Using meta-logic to reconcile reactive with rational agents
Meta-logics and logic programming
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
Foundations of logic programming
Principles of knowledge representation
An action language based on causal explanation: preliminary report
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic reasoning in LDL++
Logic-based artificial intelligence
Two components of an action language
Annals of Mathematics and 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
From Causal Theories to Successor State Axioms and STRIPS-Like Systems
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
Action languages and domain modeling
Action languages and domain modeling
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Reasoning about actions: non-deterministic effects, constraints, and qualification
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Authorization and Obligation Policies in Dynamic Systems
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Reasoning about intended actions
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Conformant planning for domains with constraints: a new approach
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Activity recognition with intended actions
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Automatic music composition using answer set programming
Theory and Practice of Logic Programming
An argument-based framework to model an agent’s beliefs in a dynamic environment
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Reasoning about the intentions of agents
Logic Programs, Norms and Action
Hi-index | 0.01 |
The paper discusses an architecture for intelligent agents based on the use of A-Prolog- a language of logic programs under the answer set semantics. A-Prolog is used to represent the agent's reasoning tasks. We outline how these tasks can be reduced to answering questions about properties of simple logic programs and demonstrate the methodology of constructing these programs.