4617 search results - page 242 / 924 » Automation of Diagrammatic Reasoning |
166
click to vote
AUSAI
2004
Springer
15 years 12 months 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...
161
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 ...
179
click to vote
DLOG
1997
15 years 7 months ago
1997
Abstract. In this short paper we describe the DFL hybrid knowledge base, that integrates descriptions with expressive object-oriented rules. The knowledge base manages a database o...
148
click to vote
ICCBR
2007
Springer
16 years 20 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...
159
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
Developing automatable methods for proving termination of term rewrite systems that resist traditional techniques based on simplification orders has become an active research area ...