|
2
|
Knowledge Representation and Classical Logic
– Vladimir Lifschitz, Leora Morgenstern
|
|
23
|
An Overview of Nonmonotonic Reasoning and Logic Programming
– Jack Minker
- 1993
|
|
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
|
|
1
|
Reasoning about Beliefs: An Inference Network Approach
– Boon Toh Low, Boon Toh, Tang Tong-gao, Abhaya Nayak, Rex Kwok, David Stirling
- 1994
|
|
4
|
Logic and artificial intelligence
– Richmond H. Thomason
|
|
17
|
Non-Monotonic Formalisms And Logic Programming
– Teodor C. Przymusinski
- 1989
|
|
66
|
Logic Programming and Knowledge Representation - the A-Prolog perspective
– Michael Gelfond, Nicola Leone
- 2002
|
|
2
|
Reasoning about action: An argumentation-theoretic approach
– Quoc Bao Vo, Norman Y. Foo
- 2005
|
|
1
|
Causal Action Theories and Satisfiability Planning
– Charles Hudson Turner
- 1998
|
|
24
|
Causality in Commonsense Reasoning about Actions
– Norman Clayton McCain
- 1997
|
|
4
|
Nonmonotonic Reasoning
– V. W. Marek, A. Nerode
- 1993
|
|
1
|
An Epistemological Science of Common Sense
– Istituto Trentino Di Cultura, Fausto Giunchiglia, Fausto Giunchiglia
- 1996
|
|
5
|
Non-monotonic Reasoning vs. Logic Programming: A New Perspective
– Teodor C. Przymusinski
- 1987
|
|
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
|
|
137
|
Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds with Fully Specified Actions
– Lenhart K. Schubert
- 1990
|
|
3
|
Capability Representations for Brokering: A Survey
– Gerhard Wickler, Austin Tate
- 1999
|
|
300
|
Circumscription
– Vladimir Lifschitz
- 1996
|
|
49
|
Multivalued Logics: A Uniform Approach to Inference in Artificial Intelligence
– Matthew Ginsberg
- 1988
|
