John McCarthy's legacy
From MaRDI portal
Publication:543573
DOI10.1016/J.ARTINT.2010.11.003zbMATH Open1216.68017OpenAlexW2010155022MaRDI QIDQ543573FDOQ543573
Authors: 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
Recommendations
nonmonotonic reasoningknowledge representationreasoningreasoning about actionsdomain axiomatizationselaboration tolerancereasoning about knowledge
Knowledge representation (68T30) History of mathematics in the 20th century (01A60) History of computer science (68-03) Logic in artificial intelligence (68T27)
Cites Work
- ConGolog, a concurrent programming language based on the situation calculus
- GOLOG: A logic programming language for dynamic domains
- Nonmonotonic causal theories
- Title not available (Why is that?)
- Nonmonotonic reasoning, preferential models and cumulative logics
- On the logic of theory change: Partial meet contraction and revision functions
- Title not available (Why is that?)
- Outline of a Theory of Truth
- Title not available (Why is that?)
- The DLV system for knowledge representation and reasoning
- Semantics and complexity of recursive aggregates in answer set programming
- How does a box work? A study in the qualitative dynamics of solid objects
- Title not available (Why is that?)
- STRIPS: A new approach to the application of theorem proving to problem solving
- Title not available (Why is that?)
- A completeness theorem in modal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- A logic-based calculus of events
- Title not available (Why is that?)
- Title not available (Why is that?)
- FLUX: A logic programming method for reasoning agents
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- 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
- Some contributions to the metatheory of the situation calculus
- Handbook of knowledge representation.
- Title not available (Why is that?)
- Representing action and change by logic programs
- Title not available (Why is that?)
- A unifying action calculus
- Iterated belief change in the situation calculus
- Stable models and circumscription
- A Machine-Oriented Logic Based on the Resolution Principle
- A Computing Procedure for Quantification Theory
- A machine program for theorem-proving
- Knowledge, action, and the frame problem
- Title not available (Why is that?)
- A Simplified Format for the Model Elimination Theorem-Proving Procedure
- A logic for default reasoning
- Non-monotonic logic. I
- Title not available (Why is that?)
- A semantic characterization of a useful fragment of the situation calculus with knowledge
- Formalising the Fisherman's Folly puzzle
- Semantical considerations on nonmonotonic logic
- Circumscription - a form of non-monotonic reasoning
- An abductive event calculus planner
- Title not available (Why is that?)
- Dealing with logical omniscience: expressiveness and pragmatics
- Computing circumscription revisited: A reduction algorithm
- All I know: A study in autoepistemic logic
- Toward Mechanical Mathematics
- Title not available (Why is that?)
- From answer set logic programming to circumscription via logic of GK
- Title not available (Why is that?)
- Title not available (Why is that?)
- Approximation of action theories and its application to conformant planning
- Knowledge and communication: A first-order theory
- A deductive solution for plan generation
- Reasoning about action. I: A possible worlds approach
- Autocircumscription
- The mathematics of non-monotonic reasoning
- Modality, si! Modal logic, no!
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
- The well-designed child
- Multi-agent only knowing
- The early history of automated deduction
- A Proof Method for Quantification Theory: Its Justification and Realization
- A First-order Theory of Communication and Multi-agent Plans
- Title not available (Why is that?)
- Generality in artificial intelligence
- Title not available (Why is that?)
- Theorem-Proving on the Computer
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Narratives in the Situation Calculus
- State Constraints Revisited
- Title not available (Why is that?)
- Non-Markovian control in the Situation Calculus
- First-order logical filtering
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Elaboration tolerance through object-orientation
- A new deductive approach to planning
Cited In (6)
- Focus restored: Comments on John MacFarlane
- McCarthy's idea
- Allen Newell: 1927-1992
- A tour of Franz Baader's contributions to knowledge representation and automated deduction
- Prolegomena to a study of Hector-Neri Castañeda's influence on artificial intelligence: A survey and personal reflections
- Excursions in first-order logic and probability: infinitely many random variables, continuous distributions, recursive programs and beyond
Uses Software
This page was built for publication: John McCarthy's legacy
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q543573)
