|
1
|
Reasoning about Beliefs: An Inference Network Approach
– Boon Toh Low, Boon Toh, Tang Tong-gao, Abhaya Nayak, Rex Kwok, David Stirling
- 1994
|
|
1
|
Causal Action Theories and Satisfiability Planning
– Charles Hudson Turner
- 1998
|
|
38
|
A model for deliberation, action, and introspection
– Jon Doyle
- 1980
|
|
7
|
A Multi-Agent Planner for Modelling Dialogue
– A. Taylor
- 1994
|
|
2
|
Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning
– Ilkka Niemelä, Ilkka Niemel A
- 1993
|
|
202
|
Logic Programming and Knowledge Representation
– Chitta Baral, Michael Gelfond
- 1994
|
|
33
|
Active Logics: A Unified Formal Approach to Episodic Reasoning
– Jennifer Elgot-drapkin, Sarit Kraus, Michael Miller, Madhura Nirkhe, Donald Perlis
|
|
24
|
Causality in Commonsense Reasoning about Actions
– Norman Clayton McCain
- 1997
|
|
19
|
Artificial Intelligence, Logic And Formalizing Common Sense
– John McCarthy
- 1990
|
|
2
|
Knowledge Representation and Classical Logic
– Vladimir Lifschitz, Leora Morgenstern
|
|
3
|
Reasoning about Persistence: A Unified Principle for State Change
– Yan Zhang, Fangzhen Lin, Eliezer L. Lozinskii, Ray Reiter, Discussions Nicholas Asher, Andreas Herzig
- 1994
|
|
|
Reasoning and Decision Making -- a survey of . . .
– Eyal Amir
- 2007
|
|
17
|
Non-Monotonic Formalisms And Logic Programming
– Teodor C. Przymusinski
- 1989
|
|
5
|
Non-monotonic Reasoning vs. Logic Programming: A New Perspective
– Teodor C. Przymusinski
- 1987
|
|
2
|
Causality as a Key to the Frame Problem
– Hideyuki Nakashima, Hitoshi Matsubara, Ichiro Ohsawa
- 1997
|
|
|
On John McCarthy’s 80th Birthday, in Honor of his Contributions
– Patrick J. Hayes, Leora Morgenstern
|
|
4
|
Logic and artificial intelligence
– Richmond H. Thomason
|
|
66
|
Logic Programming and Knowledge Representation - the A-Prolog perspective
– Michael Gelfond, Nicola Leone
- 2002
|
|
|
An Action Language for Reasoning about Beliefs in Multi-Agent Domains
– Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
|
