Sciweavers

2 search results - page 1 / 1
» New Polynomial Classes for Logic-Based Abduction
Sort
View
CORR
2011
Springer
126views Education» more  CORR 2011»
12 years 8 months ago
New Polynomial Classes for Logic-Based Abduction
We address the problem of propositional logic-based abduction, i.e., the problem of searching for a best explanation for a given propositional observation according to a given pro...
Bruno Zanuttini
STACS
1993
Springer
13 years 8 months ago
The Complexity of Logic-Based Abduction
Abduction is an important form of nonmonotonic reasoning allowing one to find explanations for certain symptoms or manifestations. When the application domain is described by a l...
Thomas Eiter, Georg Gottlob