|
202
|
Logic Programming and Knowledge Representation
– Chitta Baral, Michael Gelfond
- 1994
|
|
11
|
Disjunctive Logic Programming: A Survey And Assessment
– Jack Minker, Dietmar Seipel
- 2002
|
|
23
|
An Overview of Nonmonotonic Reasoning and Logic Programming
– Jack Minker
- 1993
|
|
50
|
Logic and Databases: a 20 Year Retrospective
– Jack Minker
- 1996
|
|
229
|
Splitting a Logic Program
– Vladimir Lifschitz, Hudson Turner
- 1994
|
|
66
|
Logic Programming and Knowledge Representation - the A-Prolog perspective
– Michael Gelfond, Nicola Leone
- 2002
|
|
1
|
Causal Action Theories and Satisfiability Planning
– Charles Hudson Turner
- 1998
|
|
33
|
Logic programming revisited: logic programs as inductive definitions
– Marc Denecker, Maurice Bruynooghe, Victor Marek
- 2001
|
|
22
|
Prolegomena to Logic Programming for Non-Monotonic Reasoning
– Jürgen Dix, Luis Moniz Pereira, Teodor Przymusinski
|
|
30
|
Well-Founded and Stationary Models of Logic Programs
– Teodor C. Przymusinski
- 1994
|
|
53
|
Semantic Issues in Deductive Databases and Logic Programs
– Halina Przymusinska, Teodor Przymusinski
- 1990
|
|
11
|
Foundations of rule-based query answering
– François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei
- 2007
|
|
2
|
Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning
– Ilkka Niemelä, Ilkka Niemel A
- 1993
|
|
8
|
A Simple Fixed Point Characterization of Three-valued Stable Model Semantics
– S. Bonnier, U. Nilsson, T. Naslund
- 1990
|
|
24
|
Causality in Commonsense Reasoning about Actions
– Norman Clayton McCain
- 1997
|
|
54
|
Disjunctive Deductive Databases
– José Alberto Fernández, Jack Minker
- 1994
|
|
9
|
Semantics for Disjunctive Logic Programs with Explicit and Default Negation
– Jack Minker, Carolina Ruiz
- 1994
|
|
124
|
Well-Founded Semantics Coincides with Three-Valued Stable Semantics
– Teodor Przymusinski
- 1990
|
|
8
|
Well-Founded Completions of Logic Programs
– Teodor C. Przymusinski
- 1991
|
