John McCarthy's legacy
From MaRDI portal
Recommendations
Cites work
- A completeness theorem in modal logic
- A Computing Procedure for Quantification Theory
- A deductive solution for plan generation
- A First-order Theory of Communication and Multi-agent Plans
- A logic for default reasoning
- A logic-based calculus of events
- A machine program for theorem-proving
- A Machine-Oriented Logic Based on the Resolution Principle
- A new deductive approach to planning
- A Proof Method for Quantification Theory: Its Justification and Realization
- A semantic characterization of a useful fragment of the situation calculus with knowledge
- A Simplified Format for the Model Elimination Theorem-Proving Procedure
- A unifying action calculus
- All I know: A study in autoepistemic logic
- An abductive event calculus planner
- Approximation of action theories and its application to conformant planning
- Autocircumscription
- Circumscription - a form of non-monotonic reasoning
- Computing circumscription revisited: A reduction algorithm
- ConGolog, a concurrent programming language based on the situation calculus
- Dealing with logical omniscience: expressiveness and pragmatics
- Elaboration tolerance through object-orientation
- First-order logical filtering
- FLUX: A logic programming method for reasoning agents
- Formalising the Fisherman's Folly puzzle
- From answer set logic programming to circumscription via logic of GK
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
- From systems to logic in the early development of nonmonotonic reasoning
- Generality in artificial intelligence
- GOLOG: A logic programming language for dynamic domains
- Handbook of knowledge representation.
- How does a box work? A study in the qualitative dynamics of solid objects
- scientific article; zbMATH DE number 3129315 (Why is no real title available?)
- scientific article; zbMATH DE number 3162889 (Why is no real title available?)
- scientific article; zbMATH DE number 4158607 (Why is no real title available?)
- scientific article; zbMATH DE number 4106291 (Why is no real title available?)
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 35418 (Why is no real title available?)
- scientific article; zbMATH DE number 43239 (Why is no real title available?)
- scientific article; zbMATH DE number 67494 (Why is no real title available?)
- scientific article; zbMATH DE number 89002 (Why is no real title available?)
- scientific article; zbMATH DE number 89004 (Why is no real title available?)
- scientific article; zbMATH DE number 140397 (Why is no real title available?)
- scientific article; zbMATH DE number 140403 (Why is no real title available?)
- scientific article; zbMATH DE number 592370 (Why is no real title available?)
- scientific article; zbMATH DE number 1536549 (Why is no real title available?)
- scientific article; zbMATH DE number 1926646 (Why is no real title available?)
- scientific article; zbMATH DE number 1820675 (Why is no real title available?)
- scientific article; zbMATH DE number 770150 (Why is no real title available?)
- scientific article; zbMATH DE number 774417 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- scientific article; zbMATH DE number 3212004 (Why is no real title available?)
- scientific article; zbMATH DE number 3266584 (Why is no real title available?)
- scientific article; zbMATH DE number 3269897 (Why is no real title available?)
- scientific article; zbMATH DE number 3271460 (Why is no real title available?)
- scientific article; zbMATH DE number 3274722 (Why is no real title available?)
- scientific article; zbMATH DE number 3313863 (Why is no real title available?)
- scientific article; zbMATH DE number 3359806 (Why is no real title available?)
- scientific article; zbMATH DE number 3185223 (Why is no real title available?)
- scientific article; zbMATH DE number 3200657 (Why is no real title available?)
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
- Iterated belief change in the situation calculus
- Knowledge and communication: A first-order theory
- Knowledge, action, and the frame problem
- McCarthy variations in a modal key
- Modality, si! Modal logic, no!
- Multi-agent only knowing
- Narratives in the Situation Calculus
- Non-Markovian control in the Situation Calculus
- Non-monotonic logic. I
- Nonmonotonic causal theories
- Nonmonotonic reasoning, preferential models and cumulative logics
- On the logic of theory change: Partial meet contraction and revision functions
- Outline of a Theory of Truth
- Reasoning about action. I: A possible worlds approach
- Representing action and change by logic programs
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Semantical considerations on nonmonotonic logic
- Semantics and complexity of recursive aggregates in answer set programming
- Some contributions to the metatheory of the situation calculus
- Stable models and circumscription
- State Constraints Revisited
- STRIPS: A new approach to the application of theorem proving to problem solving
- TALplanner: A temporal logic based forward chaining planner
- The DLV system for knowledge representation and reasoning
- The early history of automated deduction
- The mathematics of non-monotonic reasoning
- The well-designed child
- The well-designed logical robot: learning and experience from observations to the Situation Calculus
- Theorem-Proving on the Computer
- Toward Mechanical Mathematics
Cited in
(6)- Focus restored: Comments on John MacFarlane
- 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
- Allen Newell: 1927-1992
- McCarthy's idea
- Excursions in first-order logic and probability: infinitely many random variables, continuous distributions, recursive programs and beyond
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)
