From answer set logic programming to circumscription via logic of GK

&
Artificial Intelligence 175 (1):264-277 (2011)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2010.04.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Using criticalities as a heuristic for answer set programming.Orkunt Sabuncu, Ferda N. Alpaslan & Varol Akman - 2003 - In Vladimir Lifschitz & Ilkka Niemela (eds.), Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Artificial Intelligence 2923 (7th International Conference, LPNMR 2004, Fort Lauderdale, FL, January 6-8, 2004 Proceedings). Berlin, Heidelberg: Springer. pp. 234-246.
Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming.Krzysztof R. Apt & Association for Logic Programming - 1992 - MIT Press (MA).
Logic Programming: Proceedings of the Fifth International Conference and Symposium.Robert Kowalski & Kenneth A. Bowen - 1988 - MIT Press (MA).
Programming Language Implementation and Logic Programming: 6th International Symposium, Plilp '94, Madrid, Spain, September 14 - 16, 1994. Proceedings.Manuel Hermenegildo & Jaan Penjam - 1994 - Springer Verlag.
Programming Language Implementation and Logic Programming: 4th International Symposium, Plilp ’92, Leuven, Belgium, August 26–28, 1992 Proceedings.Maurice Bruynooghe - 1992 - Springer.
Hybrid Probabilistic Logic Programs as Residuated Logic Programs.Carlos Damásio & Luís Pereira - 2002 - Studia Logica 72 (1):113-138.
Hybrid probabilistic logic programs as residuated logic programs.Carlos Viegas Damásio & Luís Moniz Pereira - 2002 - Studia Logica 72 (1):113 - 138.
Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings.Gerard Comyn & Norbert E. Fuchs - 1992 - Springer Verlag.
Logic Programming and Automated Reasoning 4th International Conference, Lpar '93, St. Petersburg, Russia, 13-20, 1993 : Proceedings'.Andrei Voronkov - 1993 - Springer Verlag.
Logic Programming: Proceedings of the 1990 North American Conference.Saumya Debray & Manuel Hermenegildo - 1990 - MIT Press.
Cyrkumskrypcja: formalizacja rozumowania niemonotonicznego w logice drugiego rzędu.Michał Tyburski - 2009 - Filozofia Nauki 17 (1).
Logic Programming: Proceedings of the 1991 International Symposium.Vijay Saraswat, Kazunori Ueda & Association for Logic Programming - 1991 - MIT Press.
Logic Programming: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming.Joxan Jaffar - 1998 - MIT Press.
Logic Programming: Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming.Michael Maher - 1996 - MIT Press.
Implementations of Logic Programming Systems.Evan Tick & Giancarlo Succi - 1994 - Springer Verlag.

Analytics

Added to PP
2020-12-22

Downloads
3 (#1,686,544)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

John McCarthy's legacy.Leora Morgenstern & Sheila A. McIlraith - 2011 - Artificial Intelligence 175 (1):1-24.
A progression semantics for first-order logic programs.Yi Zhou & Yan Zhang - 2017 - Artificial Intelligence 250 (C):58-79.

Add more citations

References found in this work

A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
A logic of knowledge and justified assumptions.Fangzhen Lin & Yoav Shoham - 1992 - Artificial Intelligence 57 (2-3):271-289.

Add more references