M. Gelfond, V. Lifschitz, Classical negation in logic programs and disjunctive databases, New Generation Computing 9 (1991) 365--385. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Towards a General Theory of Topological Maps - Remolina, Kuipers (2002) (4 citations) (Correct)
No context found.
M. Gelfond, V. Lifschitz, Classical negation in logic programs and disjunctive databases, New Generation Computing 9 (1991) 365--385.
Towards a General Theory of Topological Maps - Emilio Remolina Benjamin (2004) (4 citations) (Correct)
No context found.
M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365--385, 1991.
Epistemic Foundation of Stable Model Semantics - Loyer, Straccia (2006) (Correct)
No context found.
Gelfond, M. and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 3/4, 365--386.
circ2dlp --- Translating Circumscription into - Disjunctive Logic Programming (Correct)
No context found.
M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365--385, 1991.
Preferred Answer Sets for Ordered Logic Programs - Van Nieuwenborgh, Vermeir (2004) (Correct)
No context found.
GELFOND, M. AND LIFSCHITZ, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 3-4, 365--386.
Any-World Assumptions in Logic Programming - Loyer, Straccia (2005) (2 citations) (Correct)
No context found.
Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9(3/4):365--386, 1991.
Default Knowledge in Logic Programs with Uncertainty - Yann Loyer And (2003) (1 citation) (Correct)
No context found.
M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9(3/4):365--386, 1991.
Strong Equivalence of Nonmonotonic Theories - an Algebraic.. - Truszczynski (Correct)
No context found.
Gelfond, M., and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9:365--385.
Multi-Modal Nonmonotonic Logics of Minimal Knowledge - Rosati (2006) (Correct)
No context found.
Gelfond, M., and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9:365--385.
Translating Parallel Circumscription into - Disjunctive Logic Programming (Correct)
No context found.
M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365--385, 1991.
Level Mapping Characterizations of Selector Generated Models .. - Hitzler, Schwarz (2005) (Correct)
No context found.
Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9(3/4), 1991.
Towards a Unified Theory of Logic Programming Semantics.. - Hitzler, Knorr (2005) (Correct)
No context found.
Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9 (1991) 365--385
Testing the Equivalence of Disjunctive Logic Programs - Oikarinen (2003) (Correct)
No context found.
Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9(3--4):365--385, 1991.
An Argument-Based Framework to Model an Agent's.. - Capobianco.. (2004) (Correct)
No context found.
Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing (1991) 365--385
Capturing Parallel Circumscription with Disjunctive Logic.. - Janhunen, Oikarinen (2004) (Correct)
No context found.
M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365--385, 1991.
Reasoning Methods for Personalization on the Semantic Web - Antoniou, Baldoni.. (2004) (Correct)
No context found.
GELFOND, M., AND LIFSCHITZ, V. Classical negation in logic programs and disjunctive databases. In In New Generation Computing (1991), vol. 9, pp. 365--385.
LPEQ and DLPEQ - Translators for Automated Equivalence.. - Janhunen, Oikarinen (2004) (1 citation) (Correct)
No context found.
M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365385, 1991.
Verifying the Equivalence of Logic Programs in the.. - Oikarinen, Janhunen (2004) (Correct)
No context found.
M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365385, 1991.
Default Reasoning Using Classical Logic - Ben-Eliyahu, Dechter (1995) (3 citations) (Correct)
No context found.
Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365--385, 1991.
Parametric Connectives in Disjunctive Logic Programming - Leone, Perri (2003) (Correct)
No context found.
M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365--385, 1991.
The DLV Java Wrapper - Francesco Ricca Department (2003) (Correct)
No context found.
M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365--385, 1991.
System Description: DLV with Aggregates Tina Dell'Armi - Wolfgang Faber Giuseppe (2004) (Correct)
No context found.
M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365--385, 1991.
Solving Hard Disjunctive Logic Programs Faster - Sometimes Gerald Pfeifer (2003) (Correct)
No context found.
M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365--385, 1991. 03] T. Janhunen, I. Niemela, D. Seipel, P. Simons, and Jia-Huai You. Unfolding Partiality and Disjunctions in Stable Model Semantics. Tech. Report cs.AI/0303009, arXiv.org, March 2003.
Aggregate Functions in DLV - Dell'Armi, Faber, Ielpa, Leone.. (2003) (Correct)
No context found.
M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365--385, 1991.
Aggregate Functions in Disjunctive Logic Programming: - Semantics Complexity And (2003) (Correct)
No context found.
M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365--385, 1991.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC