2638 search results - page 27 / 528 » Frameworks for Reasoning about Agent Based Systems |
AAAI
2008
14 years 10 months ago
2008
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to...
MICAI
2004
Springer
15 years 3 months ago
2004
Springer
IWFM
2000
14 years 11 months ago
2000
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
SBMF
2010
Springer
14 years 4 months ago
2010
Springer
This paper presents a framework to reason about the eects of assignments in recursive data structures. We dene an operational semantics for a core language based on Meyer's id...
101
click to vote
IHI
2010
14 years 4 months ago
2010
Medical practice is increasingly based on the best available evidence, but the volume of information requires many clinicians to rely on systematic reviews rather than the primary...