|
52
|
The Family of Stable Models
– Melvin Fitting
- 1993
|
|
12
|
Well-Founded Semantics, Generalized
– Melvin C. Fitting
- 1991
|
|
9
|
Ultimate approximation and its application in nonmonotonic knowledge representation systems
– Marc Denecker , Victor W. Marek , Mirosław Truszczyński
- 2004
|
|
202
|
Logic Programming and Knowledge Representation
– Chitta Baral, Michael Gelfond
- 1994
|
|
216
|
Logic Programming and Negation: A Survey
– Krzysztof R. Apt, Roland Bol
- 1994
|
|
2
|
Learning and Deduction in Neural Networks and Logic
– Ekaterina Komendantskaya
- 2007
|
|
3
|
Epistemic Foundation of Stable Model Semantics
– Yann Loyer, Umberto Straccia
- 2006
|
|
30
|
Well-Founded and Stationary Models of Logic Programs
– Teodor C. Przymusinski
- 1994
|
|
8
|
An Encompassing Framework for Paraconsistent Logic Programs
– Joao Alcantara, Carlos Viegas Damasio, Luis Moniz Pereira
- 2003
|
|
3
|
Negation as Partial Failure
– Bamshad Mobasher, Jacek Leszczylowski, Giora Slutzki, Don Pigozzi
- 1993
|
|
6
|
Computing and Comparing Semantics of Programs in Four-valued Logics
– Yann Loyer , Nicolas Spyratos, Daniel Stamate
- 1999
|
|
149
|
Stable Semantics for Disjunctive Programs
– Teodor C. Przymusinski
- 1991
|
|
23
|
An Overview of Nonmonotonic Reasoning and Logic Programming
– Jack Minker
- 1993
|
|
9
|
Ultimate Approximations in Nonmonotonic Knowledge Representation Systems
– Marc Denecker, Victor Marek, Mirosław Truszczyński
- 2002
|
|
8
|
Well-Founded Completions of Logic Programs
– Teodor C. Przymusinski
- 1991
|
|
|
Some contributions to the semantics of normal logic programs
– Edelmira Pasarella Sánchez
- 2008
|
|
743
|
The Well-Founded Semantics for General Logic Programs
– Kenneth A. Ross
- 1991
|
|
4
|
Epistemic Foundation of the Well-Founded Semantics over Bilattices
– Yann Loyer, Umberto Straccia
- 2004
|
|
124
|
Well-Founded Semantics Coincides with Three-Valued Stable Semantics
– Teodor Przymusinski
- 1990
|
