Disjunctive Semantics based upon Partial and Bottom-Up Evaluation (1995)

Cached

Download Links

by Stefan Brass , Jürgen Dix
Venue:Proceedings of the 12th Int. Conf. on Logic Programming
Citations:45 - 12 self

Documents Related by Co-Citation

849 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
860 Classical Negation in Logic Programs and Disjunctive Databases – Michael Gelfond, Vladimir Lifschitz - 1991
1504 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
243 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
70 Stationary Semantics for Normal and Disjunctive Logic Programs – Teodor Przymusinski - 1991
73 Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview – Jürgen Dix, Ross A. Overbeek, Proceedings Of The North - 1994
159 Stable Semantics for Disjunctive Programs – Teodor C. Przymusinski - 1991
187 On Extended Disjunctive Logic Programs – Jack Minker, Carolina Ruiz - 1994
615 Towards a theory of declarative knowledge – K Apt, H A Blair, A Walker - 1987