Travelled to:1 × Canada
1 × France
2 × USA
Collaborated with:∅
Talks about:approxim (2) circumscript (1) nonmonoton (1) calculus (1) theori (1) situat (1) remark (1) reason (1) object (1) histor (1)
Person: John McCarthy 0001
DBLP: 0001:John_McCarthy
Contributed to:
2004200220001996Wrote 4 papers:
- KR-2004-McCarthy #reasoning
- Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription (JM0), pp. 738–739.
- KR-2002-McCarthy #calculus
- Actions and Other Events in Situation Calculus (JM0), pp. 615–628.
- KR-2000-McCarthy #approximate
- Approximate Objects and Approximate Theories (JM0), pp. 519–526.
- KR-1996-McCarthy
- From Here to Human-Level AI (JM0), pp. 640–646.