660 search results - page 10 / 132 » Reasoning about Dynamic Policies |
IVC
2008
13 years 8 months ago
2008
A framework for the logical and statistical analysis and annotation of dynamic scenes containing occlusion and other uncertainties is presented. This framework consists of three e...
ICTAI
2008
IEEE
14 years 2 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
TASE
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
IJCAI
1997
13 years 9 months ago
1997
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...