4573 search results - page 225 / 915 » Automated Reasoning |
186
Voted
LPNMR
2005
Springer
16 years 2 days ago
2005
Springer
FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of th...
165
click to vote
ICCBR
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper describes an innovative usage of Case-Based Reasoning to reduce the high computing cost derived from running large interactive simulation scenarios within the ...
168
click to vote
AUSAI
2004
Springer
16 years 1 hour ago
2004
Springer
This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can b...
163
click to vote
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
We present a formal framework where the action description language C+ is used to provide multiple robots with high-level reasoning in the style of cognitive robotics. We show the ...
149
click to vote
ICCBR
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This paper presents extensions and improvements of previous work, where we defined a CBR system for action selection in the robot soccer domain. We show empirical result...