3446 search results - page 67 / 690 » A Reasoning Algorithm for pD* |
131
click to vote
DLOG
2009
14 years 11 months ago
2009
Abstract. I will begin by explaining an optimal tableau-based algorithm for checking ALC-satisfiability which uses "global caching" and which appears to work well in prac...
119
click to vote
ECSQARU
2009
Springer
14 years 11 months ago
2009
Springer
We claim that divisible residuated lattices (DRLs) can act as a unifying evaluation framework for soft constraint satisfaction problems (soft CSPs). DRLs form the algebraic semanti...
122
click to vote
CADE
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. Methods exploiting problem symmetries have been very successful in several areas including constraint programming and SAT solving. We here recast a technique to enhance t...
116
click to vote
FMSD
2008
15 years 1 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
131
click to vote
ICDE
2011
IEEE
14 years 5 months ago
2011
IEEE
Abstract—MapReduce is emerging as a generic parallel programming paradigm for large clusters of machines. This trend combined with the growing need to run machine learning (ML) a...