Support set selection for a bductive and default reasoning

Artificial Intelligence 82 (1-2):259-272 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,174

External links

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

Through your library

Analytics

Added to PP
2020-12-22

Downloads
14 (#1,280,710)

6 months
6 (#869,904)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Relevance from an epistemic perspective.Gerhard Lakemeyer - 1997 - Artificial Intelligence 97 (1-2):137-167.
On some tractable classes in deduction and abduction.Alvaro del Val - 2000 - Artificial Intelligence 116 (1-2):297-313.
Abductive Equivalence in First-order Logic.Katsumi Inoue & Chiaki Sakama - 2006 - Logic Journal of the IGPL 14 (2):333-346.

Add more citations

References found in this work

A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
A theory of diagnosis from first principles.Raymond Reiter - 1987 - Artificial Intelligence 32 (1):57-95.
An assumption-based TMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):127-162.
Hard problems for simple default logics.Henry A. Kautz & Bart Selman - 1991 - Artificial Intelligence 49 (1-3):243-279.
Problem solving with the ATMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):197-224.

View all 6 references / Add more references