Compiling propositional weighted bases
type: Item
instance of: scholarly article
title: Compiling propositional weighted bases
zbMATH Open document ID: 1085.68166
author: Adnan Darwiche
author: Pierre Marquis
published in: Artificial Intelligence
publication date: 2006-02-07T00:00:00Z
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 5003963
zbMATH Keywords: Knowledge representation
zbMATH Keywords: Belief bases
zbMATH Keywords: Penalty logic
zbMATH Keywords: Knowledge compilation
MaRDI profile type: Publication
full work available at URL: j.artint.2004.04.005
OpenAlex ID: W2057299863
cites work: A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems
cites work: The size of a revised knowledge base
cites work: Q4506459
cites work: Preprocessing of intractable problems
cites work: Is intractability of nonmonotonic reasoning a real drawback?
cites work: On compact representations of propositional circumscription
cites work: Nonmonotonic reasoning: From complexity to algorithms
cites work: Decomposable negation normal form
cites work: On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision
cites work: Q4411139
cites work: Tree clustering for constraint networks
cites work: Default reasoning from conditional knowledge bases: Complexity and tractable cases
cites work: Algorithms for the maximum satisfiability problem
cites work: Computation in valuation algebras
cites work: Monotonic reductions, representative equivalence, and compilation of intractable problems
cites work: Reducing belief revision to circumscription (and vice versa)
cites work: Note about cardinality-based circumscription
cites work: Q4236365
cites work: Q4298260
cites work: Q4012254
cites work: Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge
cites work: A theory of diagnosis from first principles
cites work: Knowledge compilation and theory approximation
cites work: Q3762226
DOI: 10.1016/J.ARTINT.2004.04.005
description: scientific article; zbMATH DE number 5003963