528 search results - page 60 / 106 » Transition Logic Revisited |
155
click to vote
AI
2011
Springer
14 years 9 months ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
135
click to vote
SYNTHESE
2008
15 years 1 months ago
2008
Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DE...
198
click to vote
ICDE
2005
IEEE
16 years 3 months ago
2005
IEEE
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into...
105
click to vote
DAC
2006
ACM
16 years 2 months ago
2006
ACM
Traces Kuntal Nanshi, Fabio Somenzi University of Colorado at Boulder ne abstraction refinement and simulation to provide a more efficient approach to checking invariant properti...
107
click to vote
CALCO
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of mea...