83 search results - page 6 / 17 » An Algebraic Prolog for Reasoning about Possible Worlds |
AIPS
2004
14 years 11 months ago
2004
Conformant planning is the task of generating plans given uncertainty about the initial state and action effects, and without any sensing capabilities during plan execution. The p...
FLAIRS
2001
14 years 11 months ago
2001
The World Wide Webprovides new opportunities for collecting information from distributed, multiple, and heterogeneous data sources. Information brokering can bc used to provide co...
JELIA
2004
Springer
15 years 3 months ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
120
click to vote
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
89
Voted
CC
2006
Springer
15 years 1 months ago
2006
Springer
The polyhedral model is known to be a powerful framework to reason about high level loop transformations. Recent developments in optimizing compilers broke some generally accepted ...