Prioritized logic programming and its application to commonsense reasoning

&
Artificial Intelligence 123 (1-2):185-222 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(00)00054-0

Links

PhilArchive



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

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

Logic Programming and Non-monotonic Reasoning: Proceedings of the First International Workshop.Wiktor Marek, Anil Nerode, V. S. Subrahmanian & Association for Logic Programming - 1991 - MIT Press (MA).
Logic Programming and Automated Reasoning 4th International Conference, Lpar '93, St. Petersburg, Russia, 13-20, 1993 : Proceedings'.Andrei Voronkov - 1993 - Springer Verlag.
Logic Programming and Non-monotonic Reasoning: Proceedings of the Second International Workshop.Lua-S. Moniz Pereira & Anil Nerode - 1993 - MIT Press.
Reasoning with Logic Programming.José Júlio Alferes & Luís Moniz Pereira - 2001 - Studia Logica 67 (1):118-120.
Logic Programming and Nonmonotonic Reasoning Third International Conference, Lpnmr '95, Lexington, Ky, Usa, June 26-28, 1995 : Proceedings'.Wiktor Marek, Anil Nerode & Miroslw Truszczy Nski - 1995 - Springer.
The Dramatic True Story of the Frame Default.Vladimir Lifschitz - 2015 - Journal of Philosophical Logic 44 (2):163-176.
Computational Dialogic Defeasible Reasoning.Robert L. Causey - 2003 - Argumentation 17 (4):421-450.
Logic Programming and Nonmonotonic Reasoning 4th International Conference, Lpnmr '97, Dagstuhl Castle, Germany, July 28-31, 1997 : Proceedings'.J. Dix, Ulrich Furbach & Anil Nerode - 1997
Logic Programming and Nonmonotonic Reasoning 5th International Conference, Lpnmr '99, El Paso, Texas, Usa, December 2-4, 1999 : Proceedings'.Michael Gelfond, Nicole Leone & Gerald Pfeifer - 1999 - Springer.
Hybrid Probabilistic Logic Programs as Residuated Logic Programs.Carlos Damásio & Luís Pereira - 2002 - Studia Logica 72 (1):113-138.
Minimal models vs. logic programming: the case of counterfactual conditionals.Katrin Schulz - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):153-168.
Logic and programming.Richard Ennals & Jonathan Briggs - unknown
Hybrid probabilistic logic programs as residuated logic programs.Carlos Viegas Damásio & Luís Moniz Pereira - 2002 - Studia Logica 72 (1):113 - 138.
Multiple Predicate Learning in Two Inductive Logic Programming Settings.Luc de Raedt & Nada Lavrac - 1996 - Logic Journal of the IGPL 4 (2):227-254.
Logic Programming and Nonmonotonic Reasoning 6th International Conference, Lpnmr 2001, Vienna, Austria, September 17-19, 2001 : Proceedings.Thomas Eiter, Wolfgang Faber & Miroslaw Trusczynksi - 2001 - Springer Verlag.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,256,193)

6 months
5 (#565,734)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
A logical framework for default reasoning.David Poole - 1988 - Artificial Intelligence 36 (1):27-47.
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Formalizing nonmonotonic reasoning systems.David W. Etherington - 1987 - Artificial Intelligence 31 (1):41-85.

View all 10 references / Add more references