Sciweavers

ICTAI
2009
IEEE
13 years 8 months ago
Merging Conflicting Propositional Knowledge by Similarity
The paper discusses a new approach to merging conflicting propositional knowledge bases which builds on the idea that consistency can often be restored by interpreting proposition...
Steven Schockaert, Henri Prade
JAIR
2007
75views more  JAIR 2007»
13 years 10 months ago
The Language of Search
This paper is concerned with a class of algorithms that perform exhaustive search on propositional knowledge bases. We show that each of these algorithms defines and generates a ...
Jinbo Huang, Adnan Darwiche
IJCAI
1997
14 years 7 days ago
Tractable Cover Compilations
Tractable covers are introduced as a new ap­ proach to equivalence-preserving compilation of propositional knowledge bases. First, a gen­ eral framework is presented. Then, two ...
Yacine Boufkhad, Éric Grégoire, Pier...
LPNMR
2009
Springer
14 years 5 months ago
Belief Revision with Bounded Treewidth
Problems arising from the revision of propositional knowledge bases have been intensively studied for two decades. Many different approaches to revision have thus been suggested, w...
Reinhard Pichler, Stefan Rümmele, Stefan Wolt...