M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Warren and Szeredi, editors, 7th International Conference on Logic Programming, pages 579--597. MIT Press, 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Stable Model Theory for Extended RDF - Ontologies Anastasia Analyti (Correct)
No context found.
M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Warren and Szeredi, editors, 7th International Conference on Logic Programming, pages 579--597. MIT Press, 1990.
Negation and Negative Information in the W3C - Resource Description Framework (2004) (Correct)
No context found.
M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Warren and Szeredi, editors, 7th International Conference on Logic Programming, pages 579--597. MIT Press, 1990.
Argument-Based Critics and Recommenders: A Qualitative .. - Chesnevar, Maguitman, .. (2005) (Correct)
No context found.
M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Proceedings of the 7th International Conference on Logic Programming. Jerusalem, June 1990.
Frieder Stolzenburg, Alejandro J. Garc a, - Carlos Ches Nevar (2000) (Correct)
No context found.
M. Gelfond and V. Lifschitz. Logic programs with classical negation. In D. Warren and P. Szeredi, editors, Proc. ICLP, pages 579--597. MIT Press, 1990. 19
Multi-Modal Nonmonotonic Logics of Minimal Knowledge - Rosati (2006) (Correct)
No context found.
Gelfond, M., and Lifschitz, V. 1990. Logic programs with classical negation. In Proceedings of the Seventh International Conference on Logic Programming, 579--597. The MIT Press.
Testing the Equivalence of Disjunctive Logic Programs - Oikarinen (2003) (Correct)
No context found.
Michael Gelfond and Vladimir Lifschitz. Logic programs with classical negation. In David H. D. Warren and Peter Szeredi, editors, Proceedings of the 7th International Conference on Logic Programming, pages 579--597, Jerusalem, Israel, June 1990. The MIT Press.
Pruning Search Space in Defeasible Argumentation - Chesñevar, Simari.. (Correct)
No context found.
M. Gelfond and V. Lifschitz. Logic programs with classical negation. In D. Warren and P. Szeredi, editors, Proc. ICLP, pages 579--597. MIT Press, 1990.
Defeasible Logic Programming - An Argumentative Approach - Garcia, Simari (2003) (2 citations) (Correct)
No context found.
Gelfond, Michael, & Lifschitz, Vladimir. (1990). Logic programs with classical negation. Pages 579--597 of: Warren, D., & Szeredi, P. (eds), 7th international conference on logic programming. MIT Press.
On the Semantics of Logic Program Composition - Antonio Brogi Department (Correct)
No context found.
M. Gelfond and V. Lifschitz. Logic programs with classical negation. In D.H.D. Warren and P. Szeredi, editors, Proceedings of the Seventh International Conference and Symposium on Logic Programming, pages 579--597. The MIT Press, 1990.
Well Founded Semantics for Logic Program Updates - Banti, Alferes, Brogi (Correct)
No context found.
M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Warren and Szeredi, editors, 7th ICLP, pages 579--597. MIT Press, 1990.
Negation and Negative Information in the W3C.. - Analyti, Antoniou, .. (2004) (Correct)
No context found.
M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Warren and Szeredi, editors, 7th International Conference on Logic Programming, pages 579--597. MIT Press, 1990.
Computing Generalized Specificity - Stolzenburg, Garcia, Chesnevar.. (2002) (Correct)
No context found.
GELFOND M., LIFSCHITZ V., "Logic Programs with Classical Negation", WAR- REN D., SZEREDI P., Eds., Proceedings of the International Conference on Logic Programming, MIT Press, 1990, p. 579-597.
Verifying the Equivalence of Logic Programs in the.. - Oikarinen, Janhunen (2004) (Correct)
No context found.
M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Proc. of the 7th International Conference on Logic Programming, pages 579597, Jerusalem, Israel, June 1990. MIT Press.
Interpolation Theorems for Nonmonotonic Reasoning Systems - Amir (2002) (Correct)
No context found.
Michael Gelfond and Vladimir Lifschitz. Logic Program with Classical Negation. In David H. D. Warren and Peter Szeredi, editors, Proceedings of the 7th Int. Conf. on Logic Programming, pages 579{ 597. MIT, June 1990.
Interpolation Theorems for Nonmonotonic Reasoning Systems - Amir (2002) (Correct)
No context found.
Michael Gelfond and Vladimir Lifschitz. Logic Program with Classical Negation. In David H. D. Warren and Peter Szeredi, editors, Proceedings of the 7th Int. Conf. on Logic Programming, pages 579--597. MIT, June 1990.
Interpolation Theorems for Nonmonotonic Reasoning Systems - Amir (2002) (Correct)
No context found.
M. Gelfond and V. Lifschitz. Logic Program with Classical Negation. In D. H. D. Warren and P. Szeredi, editors, 7th Int. Conf. on Logic Programming, pages 579--597. MIT, 1990.
Abduction Over 3-Valued Extended Logic - Programs Carlos Viegas (Correct)
No context found.
M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Warren and Szeredi, editors, 7th Int. Conf. on LP, pages 579--597. MIT Press, 1990.
Learning Recursive Theories in the Normal ILP Setting - Malerba (2003) (1 citation) (Correct)
No context found.
Gelfond, M., Lifschitz, V.: Logic programs with classical negation, Proc. of the Seventh International Logic Programming Conference, MIT Press, Cambridge, 1990.
Partial logics with two kinds of negation as a foundation .. - Herre, Jaspars, Wagner (1995) (Correct)
No context found.
M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Proc. of Int. Conf. on Logic Programming. MIT Press, 1990.
Logic Programming with Cardinality Constraints - Syrjänen (2003) (Correct)
No context found.
M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Proceedings of the 7th International Conference on Logic Programming, pages 579--597, Jerusalem, Israel, June 1990. The MIT Press.
What's in a Model? Epistemological analysis of Logic Programming - Denecker (Correct)
No context found.
M. Gelfond and V. Lifschitz. Logic Programs with Classical Negation. In D.H.D. Warren and P. Szeredi, editors, Proc. of the 7th International Conference on Logic Programming 90, page 579. MIT Press, 1990.
Testing the Equivalence of Disjunctive Logic Programs - Oikarinen (2003) (Correct)
No context found.
Michael Gelfond and Vladimir Lifschitz. Logic programs with classical negation. In David H. D. Warren and Peter Szeredi, editors, Proceedings of the 7th International Conference on Logic Programming, pages 579--597, Jerusalem, Israel, June 1990. The MIT Press.
An Implementation of Statistical Default Logic - Wheeler, Damasio (2003) (Correct)
No context found.
Gelfond, M. and V. Lifschitz 1990. "Logic Programs with Classical Negation," Proceedings of the 7th International Conference on Logic Programming, Warren, D. and P. Szeredi [eds.]. Cambridge: MIT Press. pp.579-597.
Testing the Equivalence of Disjunctive Logic Programs - Oikarinen (2003) (Correct)
No context found.
Michael Gelfond and Vladimir Lifschitz. Logic programs with classical negation. In David H. D. Warren and Peter Szeredi, editors, Proceedings of the 7th International Conference on Logic Programming, pages 579--597, Jerusalem, Israel, June 1990. The MIT Press.
An Encompassing Framework for Paraconsistent Logic Programs - Alcantara, Damasio, Pereira (2003) (Correct)
No context found.
M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Warren and Szeredi, editors, 7th Int. Conf. on Logic Programming, pages 579-597. MIT Press, 1990.
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