Results 1 -
3 of
3
Abduction and the Dualization Problem
, 2003
"... Computing abductive explanations is an important problem, which has been studied extensively in Artificial Intelligence (AI) and related disciplines. ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
Computing abductive explanations is an important problem, which has been studied extensively in Artificial Intelligence (AI) and related disciplines.
Counting complexity of propositional abduction
- In Proc. 20th International Joint Conference on Artificial Intelligence (IJCAI’07
, 2007
"... Abduction is an important method of non-monotonic reasoning with many applications in AI and related topics. In this paper, we concentrate on propositional abduction, where the background knowledge is given by a propositional formula. Decision problems of great interest are the existence and the rel ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
Abduction is an important method of non-monotonic reasoning with many applications in AI and related topics. In this paper, we concentrate on propositional abduction, where the background knowledge is given by a propositional formula. Decision problems of great interest are the existence and the relevance problems. The complexity of these decision problems has been systematically studied while the counting complexity of propositional abduction has remained obscure. The goal of this work is to provide a comprehensive analysis of the counting complexity of propositional abduction in various classes of theories. 1
On the boolean connectivity problem for horn relations
- in Proc. 10 th Intl. Conference on Theory and Applications of Satisfiability Testing (SAT), 2007
"... The METR technical reports are published as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electron ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
The METR technical reports are published as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author’s copyright. These works may not be reposted without the explicit permission of the copyright holder.

