3446 search results - page 139 / 690 » A Reasoning Algorithm for pD* |
147
Voted
ICTAC
2010
Springer
15 years 1 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
110
click to vote
JAR
2007
15 years 3 months ago
2007
Abstract. In this paper we study the diagnosis and repair of incoherent terminologies. We define a number of new non-standard reasoning services to explain incoherence through pin...
121
click to vote
AIED
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we discuss how Artificial Intelligence (AI) techniques might be brought to bear in automatically recognizing “creative reasoning” in student e-discussions. An AI...
120
Voted
ALENEX
2009
15 years 5 months ago
2009
We experimentally compare the two algorithms A and B by Fredman and Khachiyan [FK96] for the problem Monet--given two monotone Boolean formulas in DNF and in CNF, decide whether ...
182
click to vote
SASO
2010
IEEE
15 years 1 months ago
2010
IEEE
Many large-scale distributed systems have been built with great complexity to run Internet services. Due to the heterogeneity and dynamics of complex systems, it is very difficult ...