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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,486

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

Efficient algorithms for qualitative reasoning about time.Alfonso Gerevini & Lenhart Schubert - 1995 - Artificial Intelligence 74 (2):207-248.
Algorithms for computing minimal equivalent subformulas.Anton Belov, Mikoláš Janota, Inês Lynce & Joao Marques-Silva - 2014 - Artificial Intelligence 216:309-326.
Metaqueries: Semantics, complexity, and efficient algorithms.Rachel Ben-Eliyahu-Zohary, Ehud Gudes & Giovambattista Ianni - 2003 - Artificial Intelligence 149 (1):61-87.
Efficient algorithms for game-theoretic betweenness centrality.Piotr L. Szczepański, Tomasz P. Michalak & Talal Rahwan - 2016 - Artificial Intelligence 231 (C):39-63.
Advances in Artificial General Intelligence: Concepts, Architectures and Algorithms. Proceedings of the AGI Workshop 2008. Frontiers in Artificial Intelligence and Applications.Benjamin Goertzel & Pei Wang (eds.) - forthcoming - IOS Press: Amsterdam.
Efficient projection algorithms onto the weighted ℓ1 ball.Guillaume Perez, Sebastian Ament, Carla Gomes & Michel Barlaud - 2022 - Artificial Intelligence 306 (C):103683.
Approximability and efficient algorithms for constrained fixed-horizon POMDPs with durative actions.Majid Khonji - 2023 - Artificial Intelligence 323 (C):103968.
Simple and efficient bi-objective search algorithms via fast dominance checks.Carlos Hernández, William Yeoh, Jorge A. Baier, Han Zhang, Luis Suazo, Sven Koenig & Oren Salzman - 2023 - Artificial Intelligence 314 (C):103807.
Algorithms for searching explicit AND/OR graphs and their applications to problem reduction search.P. P. Chakrabarti - 1994 - Artificial Intelligence 65 (2):329-345.
Point algebras for temporal reasoning: Algorithms and complexity.Mathias Broxvall & Peter Jonsson - 2003 - Artificial Intelligence 149 (2):179-220.

Analytics

Added to PP
2020-12-22

Downloads
15 (#1,278,503)

6 months
5 (#702,808)

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

A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
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