11436 search results - page 1 / 2288 » Modeling Real Reasoning |
MPC
1998
Springer
13 years 9 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
MUENCHENWILER
2009
Springer
13 years 11 months ago
2009
Springer
DAGSTUHL
2003
13 years 6 months ago
2003
DLOG
2009
13 years 2 months ago
2009
I will provide an overview of many of the use cases that we looked at to apply OWL ABox reasoning in the real world. The fields we covered included (a) healthcare, and life science...
AUSAI
2004
Springer
13 years 10 months ago
2004
Springer
The Belief-Desire-Intention (BDI) model of agency is an architecture based on Bratman’s theory of practical reasoning. Hierarchical Task Network (HTN) decomposition on the other ...