Prolog technology for default reasoning: proof theory and compilation techniques

&
Artificial Intelligence 106 (1):1-75 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(98)00092-7

Links

PhilArchive



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

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

Proof complexity of propositional default logic.Olaf Beyersdorff, Arne Meier, Sebastian Müller, Michael Thomas & Heribert Vollmer - 2011 - Archive for Mathematical Logic 50 (7-8):727-742.
Reasoning credulously and skeptically within a single extension.James P. Delgrande & Torsten Schaub - 2002 - Journal of Applied Non-Classical Logics 12 (2):259-285.
Default Soundness in the Old Approach: An Epistemic Analysis of Default Reasoning.David Gaytán - 2019 - In Matthieu Fontaine, Cristina Barés-Gómez, Francisco Salguero-Lamillar, Lorenzo Magnani & Ángel Nepomuceno-Fernández (eds.), Model-Based Reasoning in Science and Technology: Inferential Models for Logic, Language, Cognition and Computation. Springer Verlag.
Defaults as restrictions on classical Hilbert-style proofs.Gianni Amati, Luigia Carlucci Aiello & Fiora Pirri - 1994 - Journal of Logic, Language and Information 3 (4):303-326.
Seminormalizing a default theory.Paolo Liberatore - 2005 - Journal of Applied Non-Classical Logics 15 (3):321-340.
A Prolog Implementation of the Method of Euler Circles for Syllogistic Reasoning.Peter Yule - 1996 - Hcrc Publications, University of Edinburgh.
Renée Elio.Francis Jeffry Pelletier - unknown
A base logic for default reasoning.Beihai Zhou & Yi Mao - 2006 - Frontiers of Philosophy in China 1 (4):688-709.
An interpretation of default logic in minimal temporal epistemic logic.Joeri Engelfriet & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):369-388.
Deontic Modals: Why Abandon the Default Approach.André Fuhrmann - 2017 - Erkenntnis 82 (6):1351-1365.
Two Concepts of Plausibility in Default Reasoning.Hans Rott - 2014 - Erkenntnis 79 (S6):1219–1252.
What should default reasoning be, by default?Jeff Pelletier - unknown
Nonmonotonic Logics: Basic Concepts, Results, and Techniques.Karl Schlechta - 1997 - Lecture Notes in Artificial Intelligence.
Mints type deductive calculi for logic programming.J. C. Shepherdson - 1992 - Annals of Pure and Applied Logic 56 (1-3):7-17.
Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P.Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz & Giuseppe Sanfilippo - 2002 - Journal of Applied Non-Classical Logics 12 (2):189-213.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,533,504)

6 months
4 (#779,041)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
A logical framework for default reasoning.David Poole - 1988 - Artificial Intelligence 36 (1):27-47.
Cumulative default logic.Gerhard Brewka - 1991 - Artificial Intelligence 50 (2):183-205.
Extending the ATMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):163-196.

View all 11 references / Add more references