DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Circumscription (logic)
Circumscription (logic)
John Mccarthy – Father of Artificial Intelligence
HUMAN-TYPE COMMON SENSE NEEDS EXTENSIONS to LOGIC John Mccarthy, Stanford University
Cyc: a Midterm Report
Some Alternative Formulations of the Event Calculus
Conference Program
Applications of Circumscription to Formalizing Common Sense Knowledge
The Frame Problem, Then and Now
The Event Calculus Explained Murray Shanahan
1956 and the Origins of Artificial Intelligence Computing
On John Mccarthy's 80Th Birthday, in Honor Of
Rigor Mortis: a Response to Nilsson's "Logic and Artificial Intelligence"
Reasoning, Nonmonotonic Logics, and the Frame Problem
Foundational Issues in Artificial Intelligence and Cognitive Science Impasse and Solution
Tilburg University Toward Human-Level Artificial Intelligence
DARTMOUTH and BEYOND John Mccarthy, Stanford University • The
Situation Calculus
Logic and Artificial Intelligence
On John Mccarthy's 80Th Birthday, in Honor of His Contributions
Top View
The Philosophical Foundations of Artificial Intelligence
M. Shanahan, Solving the Frame Problem ✩
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
John Mccarthy 1927–2011
Situation Calculus Specifications for Event Calculus Logic Programs From: AAAI Technical Report SS-95-07
Bibliography
The History of the Frame Problem
Oral History of John Mccarthy
Parallel Computation and Computers for Artificial Intelligence the Kluwer International Series in Engineering and Computer Science
A Simple Formalization of Actions Using Circumscription
Artificial Intelligence
HUMAN-LEVEL AI: the LOGICAL ROAD Computer Science
1992-Concurrent Actions in the Situation Calculus
Artificial Intelligence and Cognition