John McCarthy's legacy
From MaRDI portal
Publication:543573
DOI10.1016/j.artint.2010.11.003zbMath1216.68017OpenAlexW2010155022MaRDI QIDQ543573
Leora Morgenstern, Sheila A. McIlraith
Publication date: 17 June 2011
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2010.11.003
knowledge representationreasoningnonmonotonic reasoningreasoning about actionsdomain axiomatizationselaboration tolerancereasoning about knowledge
History of mathematics in the 20th century (01A60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) History of computer science (68-03)
Uses Software
Cites Work
- A logic-based calculus of events
- Non-Markovian control in the Situation Calculus
- Approximation of action theories and its application to conformant planning
- A unifying action calculus
- A semantic characterization of a useful fragment of the situation calculus with knowledge
- Iterated belief change in the situation calculus
- First-order logical filtering
- Dealing with logical omniscience: expressiveness and pragmatics
- Stable models and circumscription
- From answer set logic programming to circumscription via logic of GK
- Semantics and complexity of recursive aggregates in answer set programming
- How does a box work? A study in the qualitative dynamics of solid objects
- Formalising the Fisherman's Folly puzzle
- The well-designed logical robot: learning and experience from observations to the Situation Calculus
- From systems to logic in the early development of nonmonotonic reasoning
- McCarthy variations in a modal key
- A deductive solution for plan generation
- Knowledge, action, and the frame problem
- Nonmonotonic causal theories
- Elaboration tolerance through object-orientation
- A new deductive approach to planning
- Semantical considerations on nonmonotonic logic
- Reasoning about action. I: A possible worlds approach
- Autocircumscription
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- Non-monotonic logic. I
- The mathematics of non-monotonic reasoning
- Nonmonotonic reasoning, preferential models and cumulative logics
- Computing circumscription revisited: A reduction algorithm
- Modality, si! Modal logic, no!
- ConGolog, a concurrent programming language based on the situation calculus
- TALplanner: A temporal logic based forward chaining planner
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
- All I know: A study in autoepistemic logic
- The well-designed child
- Knowledge and communication: A first-order theory
- STRIPS: A new approach to the application of theorem proving to problem solving
- Multi-agent Only Knowing
- Some contributions to the metatheory of the situation calculus
- A completeness theorem in modal logic
- A Proof Method for Quantification Theory: Its Justification and Realization
- Toward Mechanical Mathematics
- A First-order Theory of Communication and Multi-agent Plans
- On the logic of theory change: Partial meet contraction and revision functions
- Generality in artificial intelligence
- Theorem-Proving on the Computer
- Representing action and change by logic programs
- Narratives in the Situation Calculus
- State Constraints Revisited
- GOLOG: A logic programming language for dynamic domains
- An abductive event calculus planner
- Outline of a Theory of Truth
- The DLV system for knowledge representation and reasoning
- A Machine-Oriented Logic Based on the Resolution Principle
- A Simplified Format for the Model Elimination Theorem-Proving Procedure
- A Computing Procedure for Quantification Theory
- A machine program for theorem-proving
- FLUX: A logic programming method for reasoning agents
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: John McCarthy's legacy