Optimal compression of propositional Horn knowledge bases: complexity and approximation

&
Artificial Intelligence 64 (1):131-145 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(93)90062-g

Links

PhilArchive



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

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

On the emergence of reasons in inductive logic.J. Paris & M. Wafy - 2001 - Logic Journal of the IGPL 9 (2):207-216.
Inter-Definability of Horn Contraction and Horn Revision.Zhiqiang Zhuang, Maurice Pagnucco & Yan Zhang - 2017 - Journal of Philosophical Logic 46 (3):299-332.
Proof Compression and NP Versus PSPACE.L. Gordeev & E. H. Haeusler - 2019 - Studia Logica 107 (1):53-83.
An approximate approach to belief revision.Shangmin Luan, Guozhong Dai & Lorenzo Magnani - 2012 - Logic Journal of the IGPL 20 (2):486-496.
Understanding what was said.Guy Longworth - 2018 - Synthese 195 (2):815-834.
On meta complexity of propositional formulas and propositional proofs.Pavel Naumov - 2008 - Archive for Mathematical Logic 47 (1):35-52.
On the Computational Complexity of Best L1-approximation.Paulo Oliva - 2002 - Mathematical Logic Quarterly 48 (S1):66-77.
Propositional proof compressions and DNF logic.L. Gordeev, E. Haeusler & L. Pereira - 2011 - Logic Journal of the IGPL 19 (1):62-86.
Bounded arithmetic, propositional logic, and complexity theory.Jan Krajíček - 1995 - New York, NY, USA: Cambridge University Press.
Approximation to measurable functions and its relation to probabilistic computation.Ker-I. Ko - 1986 - Annals of Pure and Applied Logic 30 (2):173-200.
The complexity of propositional proofs.Alasdair Urquhart - 1995 - Bulletin of Symbolic Logic 1 (4):425-467.
The complexity of propositional proofs.Nathan Segerlind - 2007 - Bulletin of Symbolic Logic 13 (4):417-481.
Indywidualny wymiar wiedzy a jej wartość.Marek Pepliński - 2013 - Filo-Sofija 13 (23):219-230.
Methods, minds, memory, and kinds.Alison Springle - 2019 - Philosophical Psychology 32 (5):635-661.
Dispositional Knowledge-how versus Propositional Knowledge-that.Gregor Damschen - 2009 - In Gregor Damschen, Robert Schnepf & Karsten Stueber (eds.), Debating Dispositions. Issues in Metaphysics, Epistemology and Philosophy of Mind. Berlin/New York: de Gruyter. pp. 278-295.

Analytics

Added to PP
2020-12-22

Downloads
9 (#1,254,275)

6 months
6 (#520,776)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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.
Redundancy in logic III: Non-monotonic reasoning.Paolo Liberatore - 2008 - Artificial Intelligence 172 (11):1317-1359.

Add more citations

References found in this work

Structure identification in relational data.Rina Dechter & Judea Pearl - 1992 - Artificial Intelligence 58 (1-3):237-270.

Add more references