1187 search results - page 63 / 238 » Graph-Based Procedural Abstraction |
ICALP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
116
click to vote
DALT
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming...
ISVC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Computer assisted procedures play a key role in the improvement of surgical operations. The current techniques in simulation potentially lead to more accuracy, more safet...
PROMAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present an approach to coordinate the behavior of a multiagent team using an HTN planning procedure. To coordinate teams, high level tasks have to be broken down into ...
101
click to vote
SEMWEB
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...