Information loss in knowledge compilation: A comparison of Boolean envelopes

, , &
Artificial Intelligence 174 (9-10):585-596 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2010.03.003

Links

PhilArchive



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

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

Disjunctive closures for knowledge compilation.Hélène Fargier & Pierre Marquis - 2014 - Artificial Intelligence 216 (C):129-162.
On the role of logical separability in knowledge compilation.Junming Qiu, Wenqing Li, Liangda Fang, Quanlong Guan, Zhanhao Xiao, Zhao-Rong Lai & Qian Dong - 2024 - Artificial Intelligence 328 (C):104077.
Clark Glymour, Richard Scheines, Peter Spirtes and Kevin Kelly, Discovering Causal Structure: Artificial Intelligence, Philosophy of Science and Statistical Modelling Reviewed by.Mike Oaksford - 1990 - Philosophy in Review 10 (1):19-21.
A Connectionist Realization Applying Knowledge-Compilation and Auto-Segmentation in a Symbolic Assignment Problem.Holger G. Ziegeler & Karl W. Kratky - 1990 - In G. Dorffner (ed.), Konnektionismus in Artificial Intelligence Und Kognitionsforschung. Berlin: Springer-Verlag. pp. 121--132.
Discovering Causal Structure: Artificial Intelligence, Philosophy of Science, and Statistical Modeling.Clark Glymour, Richard Scheines, Peter Spirtes & Kevin Kelly - 1987 - Academic Press.
Review of Bayesian artificial intelligence, by Kevin B. Korb, Ann E. Nicholson, Chapman & Hall/CRC, 2003. [REVIEW]Gerard A. W. Reviewer-Vreeswijk - 2003 - Artificial Intelligence and Law 11 (4):289-298.
Graphically structured value-function compilation.Ronen I. Brafman & Carmel Domshlak - 2008 - Artificial Intelligence 172 (2-3):325-349.
A program for timetable compilation by a look-ahead method.A. L. Cherniavsky - 1972 - Artificial Intelligence 3:61-76.
Learning Boolean specifications.U. Bubeck & H. Kleine Büning - 2015 - Artificial Intelligence 229:246-257.
Prolog technology for default reasoning: proof theory and compilation techniques.Torsten Schaub & Stefan Brüning - 1998 - Artificial Intelligence 106 (1):1-75.

Analytics

Added to PP
2020-12-22

Downloads
2 (#1,823,898)

6 months
2 (#1,446,842)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

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