Minimal sets on propositional formulae. Problems and reductions

, &
Artificial Intelligence 252 (C):22-50 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2017.07.005

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,297

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

Redundancy in logic I: CNF propositional formulae.Paolo Liberatore - 2005 - Artificial Intelligence 163 (2):203-232.
Redundancy in logic II: 2CNF and Horn propositional formulae.Paolo Liberatore - 2008 - Artificial Intelligence 172 (2-3):265-299.
Textual note considerações sobre a edição Das bemerkungen úber die farben joão Carlos Salles Pires da Silva.Ba Salvador - 1999 - Manuscrito 22:291.
Propositional belief base update and minimal change.Andreas Herzig & Omar Rifi - 1999 - Artificial Intelligence 115 (1):107-138.
Propositional knowledge base revision and minimal change.Hirofumi Katsuno & Alberto O. Mendelzon - 1991 - Artificial Intelligence 52 (3):263-294.
On the query complexity of selecting minimal sets for monotone predicates.Mikoláš Janota & Joao Marques-Silva - 2016 - Artificial Intelligence 233 (C):73-83.
Review of Carlos Montemayor's "The Prospect of a Humanitarian Artificial Intelligence: Agency and Value Alignment". London, 2023. Bloomsbury Academic, Bloomsbury Publishing. [REVIEW]Diego Morales - 2023 - Journal of Applied Philosophy 40 (4):766-768.
Encoding deductive argumentation in quantified Boolean formulae.Philippe Besnard, Anthony Hunter & Stefan Woltran - 2009 - Artificial Intelligence 173 (15):1406-1423.
An interpretation of a certain fragment of arithmetic in some propositional calculus.Zdzislaw Dywan - 1984 - Bulletin of the Section of Logic 13 (2):99-103.
Logics in Artificial Intelligence (JELIA 2004).Jose Alferes & Joao Leite (eds.) - 2004 - Springer.

Analytics

Added to PP
2020-12-22

Downloads
15 (#1,104,030)

6 months
10 (#592,147)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

A theory of diagnosis from first principles.Raymond Reiter - 1987 - Artificial Intelligence 32 (1):57-95.
SAT-based MaxSAT algorithms.Carlos Ansótegui, Maria Luisa Bonet & Jordi Levy - 2013 - Artificial Intelligence 196 (C):77-105.
Redundancy in logic I: CNF propositional formulae.Paolo Liberatore - 2005 - Artificial Intelligence 163 (2):203-232.
Optimizing with minimum satisfiability.Chu Min Li, Zhu Zhu, Felip Manyà & Laurent Simon - 2012 - Artificial Intelligence 190 (C):32-44.

View all 11 references / Add more references