81 search results - page 2 / 17 » A Basic Logic for Reasoning about Connector Reconfiguration |
143
Voted
JAIR
1998
15 years 1 months ago
1998
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true whil...
118
click to vote
ISOLA
2010
Springer
15 years 8 days ago
2010
Springer
Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing due to the technology-dependent nature of solutions. The Connect ...
135
Voted
JAIR
2010
15 years 7 days ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
113
Voted
AAAI
2008
15 years 2 months ago
2008
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to...
173
click to vote
PSSE
2004
Springer
15 years 7 months ago
2004
Springer
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...