|
247
|
A logic of implicit and explicit belief
– H J Levesque
- 1984
|
|
187
|
A Deduction Model of Belief
– Kurt Konolige
- 1986
|
|
25
|
Presentations and this and that: Logic in action
– M Miller, D Perlis
- 1993
|
|
1191
|
Reasoning About Knowledge
– R Fagin, J Y Halpern, Y Moses, M Y Vardi
- 1995
|
|
733
|
Modeling Rational Agents within a BDI-Architecture
– Anand S. Rao, Michael P. Georgeff
- 1991
|
|
94
|
Belief, awareness, and limited reasoning
– Ronald Fagin, Joseph Y. Halpern
- 1988
|
|
552
|
A Truth Maintenance System
– J Doyle
|
|
1360
|
Some Philosophical Problems from the Standpoint of Artificial Intelligence
– John Mccarthy, Patrick J. Hayes
- 1969
|
|
1247
|
A logic for default reasoning
– R Reiter
- 1980
|
|
88
|
limited reasoning
– awareness Belief
- 1988
|
|
27
|
On the consistency of commonsense reasoning
– D Perlis
- 1986
|
|
20
|
A View of One's Past and Other Aspects of Reasoned Change in Belief
– M J Miller
- 1993
|
|
13
|
D.: Thinking takes time: a modal active-logic for reasoning in time
– M Nirkhe, S Kraus, Perlis
- 1994
|
|
19
|
How to (plan to) meet a deadline between now and then
– M Nirkhe, S Kraus, M Miller, D Perlis
- 1997
|
|
41
|
Knowledge, belief and time
– S Kraus, D Lehmann
- 1988
|
|
33
|
Active Logics: A Unified Formal Approach to Episodic Reasoning
– Jennifer Elgot-drapkin, Sarit Kraus, Michael Miller, Madhura Nirkhe, Donald Perlis
|
|
23
|
Conversational Adequacy: Mistakes are the Essence
– Donald Perlis, Khemdut Purang, Carl Andersen
- 1997
|
|
21
|
Steps towards a first-order logic of explicit and implicit belief
– Gerhard Lakemeyer
- 1986
|
|
353
|
Knowledge and Belief
– J Hintikka
- 1962
|
