546 search results - page 17 / 110 » An Action Semantics for MML |
112
Voted
AIPS
2009
15 years 3 months ago
2009
Planning based on propositional SAT(isfiability) is a powerful approach to computing step-optimal plans given a parallel execution semantics. In this setting: (i) a solution plan ...
141
click to vote
FMICS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
125
Voted
IICAI
2007
15 years 3 months ago
2007
Logics of action, for reasoning about the effects of state change, and logics of belief, accounting for belief revision and update, have much in common. Furthermore, we may underta...
108
click to vote
WECWIS
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we report our experience in the implementation of a module for creating user profiles of Web visitors by using Zones, Weights and Actions. The module is part of Gug...
140
click to vote
LOGCOM
2007
15 years 1 months ago
2007
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...