3446 search results - page 210 / 690 » A Reasoning Algorithm for pD* |
122
click to vote
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
Problems arising from the revision of propositional knowledge bases have been intensively studied for two decades. Many different approaches to revision have thus been suggested, w...
152
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
121
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
It is challenging to design general robot soccer coordination behaviors that address individual states. We have successfully followed a case-based approach to define behaviors fo...
133
click to vote
KBSE
2006
IEEE
15 years 10 months ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
157
click to vote
ASP
2005
Springer
15 years 10 months ago
2005
Springer
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input pr...