Sciweavers

2490 search results - page 164 / 498
» Complexity of Contextual Reasoning
Sort
View
KR
2010
Springer
15 years 9 months ago
From Preference Logics to Preference Languages, and Back
Preference logics and AI preference representation languages are both concerned with reasoning about preferences on combinatorial domains, yet so far these two streams of research...
Meghyn Bienvenu, Jérôme Lang, Nic Wil...
ICCBR
2009
Springer
15 years 9 months ago
Determining Root Causes of Drilling Problems by Combining Cases and General Knowledge
Oil well drilling is a complex process which frequently leads to operational problems. In order to deal with some of these problems, knowledge intensive case based reasoning (KiCBR...
Samad Valipour Shokouhi, Agnar Aamodt, Pål S...
IPPS
1998
IEEE
15 years 9 months ago
Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
Ruben Gamboa
EWCBR
2006
Springer
15 years 8 months ago
Retrieving and Reusing Game Plays for Robot Soccer
Abstract. The problem of defining robot behaviors to completely address a large and complex set of situations is very challenging. We present an approach for robot's action se...
Raquel Ros, Manuela M. Veloso, Ramon López ...
ICLP
2010
Springer
15 years 8 months ago
Communicating Answer Set Programs
Answer set programming is a form of declarative programming that has proven very successful in succinctly formulating and solving complex problems. Although mechanisms for represen...
Kim Bauters, Jeroen Janssen, Steven Schockaert, Di...