Redundancy in logic I: CNF propositional formulae

Artificial Intelligence 163 (2):203-232 (2005)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2004.11.002

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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 II: 2CNF and Horn propositional formulae.Paolo Liberatore - 2008 - Artificial Intelligence 172 (2-3):265-299.
Minimal sets on propositional formulae. Problems and reductions.Joao Marques-Silva, Mikoláš Janota & Carlos Mencía - 2017 - Artificial Intelligence 252 (C):22-50.
Redundancy in logic III: Non-monotonic reasoning.Paolo Liberatore - 2008 - Artificial Intelligence 172 (11):1317-1359.
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.
Data reductions, fixed parameter tractability, and random weighted d-CNF satisfiability.Yong Gao - 2009 - Artificial Intelligence 173 (14):1343-1366.
Conditional independence in propositional logic.Jérôme Lang, Paolo Liberatore & Pierre Marquis - 2002 - Artificial Intelligence 141 (1-2):79-121.
On the logic of cooperation and propositional control.Wiebe van der Hoek & Michael Wooldridge - 2005 - Artificial Intelligence 164 (1-2):81-119.
PTL: A propositional typicality logic.Richard Booth, Thomas Meyer & Ivan Varzinczak - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 107--119.
On rational entailment for Propositional Typicality Logic.Richard Booth, Giovanni Casini, Thomas Meyer & Ivan Varzinczak - 2019 - Artificial Intelligence 277 (C):103178.
Fixed points in the propositional nonmonotonic logic.Grigory F. Shvarts - 1989 - Artificial Intelligence 38 (2):199-206.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,562,340)

6 months
3 (#1,208,233)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The ghosts of forgotten things: A study on size after forgetting.Paolo Liberatore - 2024 - Annals of Pure and Applied Logic 175 (8):103456.
Redundancy in logic II: 2CNF and Horn propositional formulae.Paolo Liberatore - 2008 - Artificial Intelligence 172 (2-3):265-299.

View all 8 citations / Add more citations

References found in this work

Theory contraction through base contraction.André Fuhrmann - 1991 - Journal of Philosophical Logic 20 (2):175 - 203.
Counterfactuals.Matthew L. Ginsberg - 1986 - Artificial Intelligence 30 (1):35-79.
Removing redundancy from a clause.Georg Gottlob & Christian G. Fermüller - 1993 - Artificial Intelligence 61 (2):263-289.

Add more references