|
202
|
Logic Programming and Knowledge Representation
– Chitta Baral, Michael Gelfond
- 1994
|
|
23
|
An Overview of Nonmonotonic Reasoning and Logic Programming
– Jack Minker
- 1993
|
|
1
|
Causal Action Theories and Satisfiability Planning
– Charles Hudson Turner
- 1998
|
|
229
|
Splitting a Logic Program
– Vladimir Lifschitz, Hudson Turner
- 1994
|
|
31
|
Logic Programming and Reasoning with Incomplete Information
– Michael Gelfond
- 1994
|
|
2
|
Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning
– Ilkka Niemelä, Ilkka Niemel A
- 1993
|
|
216
|
Logic Programming and Negation: A Survey
– Krzysztof R. Apt, Roland Bol
- 1994
|
|
17
|
Non-Monotonic Formalisms And Logic Programming
– Teodor C. Przymusinski
- 1989
|
|
3
|
Belief, provability and logic programs
– José Júlio Alferes, D. Matemática, U. Évora, Luís Moniz Pereira
- 1994
|
|
22
|
Prolegomena to Logic Programming for Non-Monotonic Reasoning
– Jürgen Dix, Luis Moniz Pereira, Teodor Przymusinski
|
|
33
|
Three-Valued Non-Monotonic Formalisms And Semantics of Logic Programs
– Teodor Przymusinski
- 1991
|
|
24
|
Causality in Commonsense Reasoning about Actions
– Norman Clayton McCain
- 1997
|
|
4
|
Weakened Negative Introspection in Autoepistemic Reasoning
– Tomi Janhunen
- 1993
|
|
11
|
Disjunctive Logic Programming: A Survey And Assessment
– Jack Minker, Dietmar Seipel
- 2002
|
|
21
|
Autoepistemic Logics of Closed Beliefs and Logic Programming
– Teodor C. Przymusinski
- 1995
|
|
149
|
Stable Semantics for Disjunctive Programs
– Teodor C. Przymusinski
- 1991
|
|
13
|
On the impact of stratification on the complexity of nonmonotonic reasoning
– Ilkka Niemelä, Jussi Rintanen
- 1992
|
|
5
|
Autoepistemic Logic of First Order and Its Expressive Power
– Li-yan Yuan
- 1994
|
|
30
|
Well-Founded and Stationary Models of Logic Programs
– Teodor C. Przymusinski
- 1994
|
