3446 search results - page 13 / 690 » A Reasoning Algorithm for pD* |
TPHOL
2005
IEEE
15 years 5 months ago
2005
IEEE
KR
2004
Springer
15 years 5 months ago
2004
Springer
KR
2004
Springer
15 years 5 months ago
2004
Springer
105
click to vote
IJCAI
1997
15 years 1 months ago
1997
The class of algorithms for approximating reasoning tasks presented in this paper is based on approximating the general bucket elimination framework. The algorithms have adjustabl...
LPAR
2010
Springer
14 years 9 months ago
2010
Springer
In this paper we introduce an extension of propositional logic that allows clauses to be weighted with values from a generic semiring. The main interest of this extension is that ...