A theory for the representation of knowledge
IBM Journal of Research and Development
Artificial Intelligence Review
Hypothesis-Founded Semantics for Datalog Programs with Negation
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Solving the Qualification Problem
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Reasoning about Actions in Prioritized Default Theory
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Addressing the Qualification Problem in FLUX
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Metatheory of actions: Beyond consistency
Artificial Intelligence
ICCBR '07 Proceedings of the 7th international conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
Failure Analysis for Domain Knowledge Acquisition in a Knowledge-Intensive CBR System
ICCBR '07 Proceedings of the 7th international conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
Refining the meaning of sense labels in PDTB: "Concession"
STEP '08 Proceedings of the 2008 Conference on Semantics in Text Processing
Challenges for action theories
Challenges for action theories
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Possible worlds and the qualification problem
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Journal of Artificial Intelligence Research
Possible worlds and the qualification problem
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
The complexity of propositional default logics
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Artificial Intelligence
Modular-E and the role of elaboration tolerance in solving the qualification problem
Artificial Intelligence
Iterated belief change in the situation calculus
Artificial Intelligence
From systems to logic in the early development of nonmonotonic reasoning
Artificial Intelligence
Experience with long-term knowledge acquisition
Proceedings of the sixth international conference on Knowledge capture
Preferential Reasoning for Modal Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Searching in a maze, in search of knowledge: issues in early artificial intelligence
Reasoning, Action and Interaction in AI Theories and Systems
A heuristically 'optimal' knowledge base organization technique
Automatica (Journal of IFAC)
Correct Reasoning
A language for default reasoning about actions
Correct Reasoning
Intelligent Execution Monitoring in Dynamic Environments
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
General Domain Circumscription and its Effective Reductions
Fundamenta Informaticae
Reasoning About Theory Adequacy. A New Solution To The Qualification Problem
Fundamenta Informaticae
Reasoned Assumptions And Rational Psychology
Fundamenta Informaticae
Collaboratively built semi-structured content and Artificial Intelligence: The story so far
Artificial Intelligence
A formal account of nondeterministic and failed actions
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |