261 search results - page 10 / 53 » Branching Continuous Time and the Semantics of Continuous Ac... |
MICAI
2010
Springer
13 years 7 months ago
2010
Springer
The full deployment of service robots in daily activities will require the robot to adapt to the needs of non-expert users, particularly, to learn how to perform new tasks from “...
CSL
1995
Springer
14 years 5 days ago
1995
Springer
We give an evolving algebra solution for the well-known railroad crossing problem and use the occasion to experiment with agents that perform instantaneous actions in continuous t...
BIRTHDAY
2000
Springer
14 years 29 days ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
ENTCS
2006
13 years 8 months ago
2006
We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store. We give a...
LPNMR
1999
Springer
14 years 26 days ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...