Semantical considerations on nonmonotonic logic
Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
A logic-based calculus of events
New Generation Computing
A deductive solution for plan generation
New Generation Computing
Generality in artificial intelligence
Communications of the ACM
Exploiting constraints in design synthesis
Exploiting constraints in design synthesis
Readings in nonmonotonic reasoning
Reasoning about action I: a possible worlds approach
Artificial Intelligence
Artificial Intelligence
All I know: a study in autoepistemic logic
Artificial Intelligence
Representations of commonsense knowledge
Representations of commonsense knowledge
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
A new deductive approach to planning
New Generation Computing
Between circumscription and autoepistemic logic
Proceedings of the first international conference on Principles of knowledge representation and reasoning
ADL: exploring the middle ground between STRIPS and the situation calculus
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Artificial intelligence and mathematical theory of computation
Artificial intelligence and mathematical theory of computation
Contexts: a formalization and some applications
Contexts: a formalization and some applications
Reasoning about ignorance: a note on the Bush-Gorbachev problem
Fundamenta Informaticae - Special issue: logics for artificial intelligence
Handbook of logic in artificial intelligence and logic programming (vol. 3)
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 about knowledge
CYC: a large-scale investment in knowledge infrastructure
Communications of the ACM
Causality in commonsense reasoning about actions
Causality in commonsense reasoning about actions
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
Theorem-Proving on the Computer
Journal of the ACM (JACM)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
A Simplified Format for the Model Elimination Theorem-Proving Procedure
Journal of the ACM (JACM)
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
A machine program for theorem-proving
Communications of the ACM
TALplanner: A temporal logic based forward chaining planner
Annals of Mathematics and Artificial Intelligence
Computing Circumscription Revisited: A Reduction Algorithm
Journal of Automated Reasoning
Cicumscribing Features and Fluents
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Making Robots Conscious of Their Mental States
Machine Intelligence 15, Intelligent Agents [St. Catherine's College, Oxford, July 1995]
Knowledge, action, and the frame problem
Artificial Intelligence
A deduction model of belief and its logics
A deduction model of belief and its logics
Foundations of a logic of knowledge, action, and communication
Foundations of a logic of knowledge, action, and communication
Temporal reasoning in the situation calculus
Temporal reasoning in the situation calculus
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Elaboration tolerance through object-orientation
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
FLUX: A logic programming method for reasoning agents
Theory and Practice of Logic Programming
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
A First-order Theory of Communication and Multi-agent Plans
Journal of Logic and Computation
Empirical explorations of the logic theory machine: a case study in heuristic
IRE-AIEE-ACM '57 (Western) Papers presented at the February 26-28, 1957, western joint computer conference: Techniques for reliability
Artificial Intelligence
A logical theory of coordination and joint ability
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Fluxplayer: a successful general game player
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Epistemological problems of artificial intelligence
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
All they know: a study in multi-agent autoepistemic reasoning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Belief, awareness, and limited reasoning: preliminary report
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
A new perspective on stable models
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A unified view of consequence relation, belief revision and conditional logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A causal theory of ramifications and qualifications
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Embracing causality in specifying the indirect effects of actions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems
Autonomous Agents and Multi-Agent Systems
Knowledge and communication: A first-order theory
Artificial Intelligence
IBM Journal of Research and Development
A proof method for quantification theory: its justification and realization
IBM Journal of Research and Development
What is planning in the presence of sensing?
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
A formal theory of multiple agent nonmonotonic reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
The frame problem and knowledge-producing actions
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Non-Markovian control in the Situation Calculus
Artificial Intelligence
Artificial Intelligence
A semantic characterization of a useful fragment of the situation calculus with knowledge
Artificial Intelligence
Approximation of action theories and its application to conformant planning
Artificial Intelligence
Iterated belief change in the situation calculus
Artificial Intelligence
Artificial Intelligence
Dealing with logical omniscience: Expressiveness and pragmatics
Artificial Intelligence
Stable models and circumscription
Artificial Intelligence
From answer set logic programming to circumscription via logic of GK
Artificial Intelligence
Semantics and complexity of recursive aggregates in answer set programming
Artificial Intelligence
How does a box work? A study in the qualitative dynamics of solid objects
Artificial Intelligence
Formalising the Fisherman's Folly puzzle
Artificial Intelligence
From systems to logic in the early development of nonmonotonic reasoning
Artificial Intelligence
McCarthy variations in a modal key
Artificial Intelligence
Fundamenta Informaticae
Hi-index | 0.00 |
This special issue is dedicated to John McCarthy, founding father of Artificial Intelligence. It contains a collection of recent contributions to the field of knowledge representation and reasoning, a field that McCarthy founded and that has been a main focus of his research during the last half century. In this introductory article, we survey some of McCarthy's major contributions to the field of knowledge representation and reasoning, and situate the papers in this special issue in the context of McCarthy's previous work.