447 search results - page 5 / 90 » A Probabilistic Calculus of Actions |
129
Voted
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
110
click to vote
ICTAC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In higher-order process calculi the values exchanged in communications may contain processes. There are only two capabilities for received processes: execution and forwar...
157
Voted
FOSSACS
1999
Springer
15 years 7 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...
111
Voted
DLOG
2006
15 years 5 months ago
2006
We recently proposed action formalisms based on description logics (DLs) as decidable fragments of well-established action theories such as the Situation Calculus and the Fluent C...
117
Voted
ENTCS
2007
15 years 3 months ago
2007
We develop a general testing scenario for probabilistic processes, giving rise to two theories: probabilistic may testing and probabilistic must testing. These are applied to a si...