by G. Brignoli, S. Costantini, A. Provetti
http://costantini.dm.univaq.it/pubbls/india99.ps
Add To MetaCart
Abstract:
and computing stable models of logic programs:
Citations
|
1126
|
The Stable Model Semantics for Logic Programming
– Gelfond, Lifschitz
- 1988
|
|
697
|
The Well-Founded Semantics for General Logic Programs
– Gelder, Ross, et al.
- 1991
|
|
218
|
Logic programming and negation: A survey
– Apt, Bol
- 1994
|
|
189
|
Logic programs with stable model semantics as a constraint programming paradigm
– Niemela
- 1999
|
|
132
|
Stable models and an alternative logic programming paradigm
– Marek, Truszczy'nski
- 1999
|
|
87
|
A deductive system for non-monotonic reasoning
– Eiter, Leone, et al.
- 1997
|
|
74
|
Default reasoning system deres
– Cholewiński, Marek, et al.
- 1996
|
|
35
|
Wfs + branch and bound = stable models
– Subrahmanian, Nau
- 1992
|
|
29
|
Towards constraint satisfaction through logic programs and the stable model semantics
– Simons
- 1997
|
|
28
|
Deterministic and Non-Deterministic Stable Models
– Sacca
- 1997
|
|
7
|
Contributions to the stable model semantics of logic programs with negation, Theoretical Computer Science
– Costantini
- 1995
|
|
5
|
Logic programming and knowledge representation
– unknown authors
- 1994
|
|
5
|
Extremal problems in logic programming and stable model computation
– Cholewi'nski, Truszczy'nski
- 1996
|
|
5
|
On computing logic programs
– Dimopoulos
- 1996
|
|
4
|
On the Relation between Stable and Well{Founded
– Dung
- 1992
|
|
3
|
A Graph Coloring algorithm for stable models generation. Univ. of Milan Technical Report, submitted for publication
– Brignoli, Costantini, et al.
- 1999
|
|
1
|
Logic programming and stable model computation
– Dung, Kanchanasut
- 1989
|
