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: 93,932

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

Default reasoning and possibility theory.Didier Dubois & Henri Prade - 1988 - Artificial Intelligence 35 (2):243-257.
Simply Logical: Intelligent Reasoning by Example.Peter Flach - 1994 - Wiley.
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Embracing causality in default reasoning.Judea Pearl - 1988 - Artificial Intelligence 35 (2):259-271.
Belief functions and default reasoning.Salem Benferhat, Alessandro Saffiotti & Philippe Smets - 2000 - Artificial Intelligence 122 (1--2):1--69.
A logical framework for default reasoning.David Poole - 1988 - Artificial Intelligence 36 (1):27-47.
Reasoning by cases in default logic.Nico Roos - 1998 - Artificial Intelligence 99 (1):165-183.
The anomalous extension problem in default reasoning.Paul H. Morris - 1988 - Artificial Intelligence 35 (3):383-399.
Default reasoning using classical logic.Rachel Ben-Eliyahu & Rina Dechter - 1996 - Artificial Intelligence 84 (1-2):113-150.
Outlier detection using default reasoning.Fabrizio Angiulli, Rachel Ben-Eliyahu – Zohary & Luigi Palopoli - 2008 - Artificial Intelligence 172 (16-17):1837-1872.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,561,495)

6 months
4 (#1,005,098)

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