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

850 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
853 Classical Negation in Logic Programs and Disjunctive Databases – Michael Gelfond, Vladimir Lifschitz - 1991
1499 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
71 Stationary Semantics for Normal and Disjunctive Logic Programs – Teodor Przymusinski - 1991
74 Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview – Jürgen Dix, Ross A. Overbeek, Proceedings Of The North - 1994
245 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
52 A Classification-Theory of Semantics of Normal Logic Programs – J Dix - 1995
163 Stable Semantics for Disjunctive Programs – Teodor C. Przymusinski - 1991
149 Propositional Semantics for Disjunctive Logic Programs – Rachel Ben-eliyahu, Rina Dechter - 1994
188 On Extended Disjunctive Logic Programs – Jack Minker, Carolina Ruiz - 1994
615 Towards a theory of declarative knowledge – Krzysztof Apt, Howard Blair, Adrian Walker - 1988
966 Negation as failure – K Clark - 1978
25 A General Approach to Bottom-Up Computation of Disjunctive Semantics – Stefan Brass, Jürgen Dix - 1995
72 On indefinite data bases and the closed world assumption – J Minker - 1982
256 On the declarative semantics of deductive databases and logic programs – T C Przymusinski - 1988
35 A framework for representing and characterizing semantics of logic programs – J Dix - 1992
136 On indefinite databases and the closed world assumption – J Minker - 1982
224 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
114 On the Computational Cost of Disjunctive Logic Programming: Propositional Case – Thomas Eiter, Georg Gottlob - 1995