|
1263
|
The Stable Model Semantics For Logic Programming
– Michael Gelfond, Vladimir Lifschitz
- 1988
|
|
743
|
The Well-Founded Semantics for General Logic Programs
– Kenneth A. Ross
- 1991
|
|
855
|
Negation as Failure
– K L Clark
- 1978
|
|
570
|
Towards a theory of declarative knowledge
– K R Apt, H A Blair, A Walker
- 1988
|
|
48
|
A Classification-Theory of Semantics of Normal Logic Programs
– Jürgen Dix
- 1995
|
|
34
|
A framework for representing and characterizing semantics of logic programs
– J Dix
- 1992
|
|
1739
|
Foundations of Logic Programming
– J W Lloyd
- 1984
|
|
241
|
On the declarative semantics of deductive databases and logic programs
– Teodor Przymusinski
- 1998
|
|
347
|
Bilattices and the Semantics of Logic Programming
– Melvin Fitting
- 1989
|
|
72
|
Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview
– Jürgen Dix, Ross A. Overbeek, Proceedings Of The North
- 1994
|
|
205
|
Unfounded sets and well-founded semantics for general logic programs
– A van Gelder, K A Ross, J S Schlipf
- 1991
|
|
129
|
Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model (Extended Abstract)
– Teodor C. Przymusinski
- 1989
|
|
25
|
An argumentation-theoretic foundation for logic programming
– P M Dung
- 1995
|
|
23
|
Generalized Well-founded Semantics for Logic Programs
– Chitta Baral, Jorge Lobo, Jack Minker
- 1990
|
|
56
|
Stationary semantics for disjunctive logic programs and deductive databases
– T C Przymusinski
- 1990
|
|
127
|
On indefinite databases and the closed world assumption
– J Minker
- 1987
|
|
43
|
Classifying semantics of logic programs
– J Dix
- 1991
|
|
101
|
On Closed World databases
– R Reiter
- 1978
|
|
9
|
Extended well-founded model semantics for general logic programs
– Yong Hu, Li Yan Yuan
- 1991
|
