3446 search results - page 279 / 690 » A Reasoning Algorithm for pD* |
154
click to vote
LPAR
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
153
click to vote
PACT
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. The hotspot seriously degrades the performance of a parallel algorithm but there have not been many methods proposed for this problem. Without modification of mesh topolo...
145
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
This work is about the metatheory of actions, and here we address the problem of what a good domain description for reasoning about actions should look like. We state some postulat...
149
click to vote
EWCBR
2004
Springer
15 years 12 months ago
2004
Springer
The definition of similarity measures—one core component of every CBR application—leads to a serious knowledge acquisition problem if domain and application specific requirem...
174
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
When mining frequent Datalog queries, many queries will be equivalent in the light of an implicit or explicit background knowledge. To alleviate the problem, we introduce various t...