3891 search results - page 213 / 779 » A logic for strategic reasoning |
177
click to vote
GIS
2008
ACM
15 years 6 months ago
2008
ACM
Spatially enabled government requires the development of effective SDIs that will support the vast majority of society, who are not spatially aware, in a transparent manner. This ...
172
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...
169
click to vote
TIME
2008
IEEE
16 years 27 days ago
2008
IEEE
We tackle the issue of representing infinite sets of realvalued vectors. This paper introduces an operator for combining integer and real sets. Using this operator, we decompose ...
167
click to vote
LICS
2006
IEEE
16 years 16 days ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
163
click to vote
TIME
2005
IEEE
16 years 3 days ago
2005
IEEE
A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...