3081 search results - page 383 / 617 » A Formal Ontology of Properties |
260
click to vote
LORI
2009
Springer
16 years 1 months ago
2009
Springer
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...
184
click to vote
SCCC
2008
IEEE
16 years 1 months ago
2008
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In this work an automatic meth...
112
click to vote
ICRA
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— We consider trajectory planning within the frameworks of optimal control and harmonic control. We present a formal evidence, in the continuous domain and in a standard ...
154
click to vote
IEEEIAS
2007
IEEE
16 years 28 days ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. The model interprets protocol specifications as strategies over a game tree that represents the type ...
172
click to vote
ATAL
2007
Springer
16 years 25 days ago
2007
Springer
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator defined on the intersection between epistemic and temporal rela...