504 search results - page 59 / 101 » Reasoning about local properties in modal logic |
108
Voted
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
128
click to vote
CSL
2001
Springer
15 years 6 months ago
2001
Springer
We introduce the calculus of structures: it is more general than the sequent calculus and it allows for cut elimination and the subformula property. We show a simple extension of m...
105
click to vote
TARK
2007
Springer
15 years 8 months ago
2007
Springer
We introduce ATLES – a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences o...
108
click to vote
KBSE
2006
IEEE
15 years 7 months ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
144
click to vote
ECOOP
1993
Springer
15 years 6 months ago
1993
Springer
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...