Information loss in knowledge compilation: a comparison of Boolean envelopes
type: Item
instance of: scholarly article
title: Information loss in knowledge compilation: a comparison of Boolean envelopes
zbMATH Open document ID: 1206.68291
author: Peter Schachte
author: Harald Søndergaard
author: Leigh Whiting
author: Kevin Henshall
published in: Artificial Intelligence
publication date: 2010-09-02T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T35
zbMATH DE Number: 5777562
zbMATH Keywords: Boolean approximation
zbMATH Keywords: co-clones
zbMATH Keywords: knowledge bases
zbMATH Keywords: tractable inference
MaRDI profile type: Publication
full work available at URL: j.artint.2010.03.003
OpenAlex ID: W2022883231
Wikidata QID: Q57665008
cites work: Graph-Based Algorithms for Boolean Function Manipulation
cites work: Structure identification in relational data
cites work: First order LUB approximations: characterization and algorithms
cites work: Q5721231
cites work: Q4268444
cites work: Q4354427
cites work: The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
cites work: Q5414587
cites work: The complexity of satisfiability problems
cites work: Knowledge compilation and theory approximation
cites work: Q4737597
DBLP publication ID: journals/ai/SchachteSWH10
DOI: 10.1016/J.ARTINT.2010.03.003
description: scientific article; zbMATH DE number 5777562