Reasoning with minimal models: efficient algorithms and applications

&
Artificial Intelligence 96 (2):421-449 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(97)00060-x

Links

PhilArchive



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

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

Minimal models vs. logic programming: the case of counterfactual conditionals.Katrin Schulz - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):153-168.
Minimal and consistent evolution of knowledge bases.Jorge Lobo & Goce Trajcevski - 1997 - Journal of Applied Non-Classical Logics 7 (1-2):117-146.
Metaqueries: Semantics, complexity, and efficient algorithms.Rachel Ben-Eliyahu-Zohary, Ehud Gudes & Giovambattista Ianni - 2003 - Artificial Intelligence 149 (1):61-87.
On the tractability of minimal model computation for some CNF theories.Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti & Luigi Palopoli - 2014 - Artificial Intelligence 210 (C):56-77.
Outlier detection using default reasoning.Fabrizio Angiulli, Rachel Ben-Eliyahu – Zohary & Luigi Palopoli - 2008 - Artificial Intelligence 172 (16-17):1837-1872.
An incremental algorithm for generating all minimal models.Rachel Ben-Eliyahu – Zohary - 2005 - Artificial Intelligence 169 (1):1-22.
Algorithms for computing minimal conflicts.S. Luan, L. Magnani & G. Dai - 2006 - Logic Journal of the IGPL 14 (2):391--406.
Probing Possibilities: Toy Models, Minimal Models, and Exploratory Models.Axel Gelfert - 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.
Efficient algorithms for qualitative reasoning about time.Alfonso Gerevini & Lenhart Schubert - 1995 - Artificial Intelligence 74 (2):207-248.
Domains for computation in mathematics, physics and exact real arithmetic.Abbas Edalat - 1997 - Bulletin of Symbolic Logic 3 (4):401-452.
No Learning from Minimal Models.Roberto Fumagalli - 2015 - Philosophy of Science 82 (5):798-809.
Progress towards a formal theory of practical reasoning: Problems and prospects.Richmond H. Thomason - unknown
On logic of complex algorithms.Helena Rasiowa - 1981 - Studia Logica 40 (3):289 - 310.
Learning from Minimal Economic Models.Till Grüne-Yanoff - 2009 - Erkenntnis 70 (1):81-99.
On the applicability of diploid genetic algorithms.Harsh Bhasin & Sushant Mehta - 2016 - AI and Society 31 (2):01-10.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,461,013)

6 months
4 (#790,339)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

View all 7 citations / 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 logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Diagnosing multiple faults.Johan de Kleer & Brian C. Williams - 1987 - Artificial Intelligence 32 (1):97-130.
Making believers out of computers.Hector J. Levesque - 1986 - Artificial Intelligence 30 (1):81-108.

View all 8 references / Add more references