5243 search results - page 304 / 1049 » Reasoning About Strategies |
185
click to vote
ESAW
2009
Springer
16 years 1 months ago
2009
Springer
Organizational notions such as roles, norms (e.g., obligations and permissions), and services are increasingly viewed as natural concepts to manage the complexity of software devel...
199
click to vote
TIME
2007
IEEE
16 years 1 months ago
2007
IEEE
It is known that for temporal languages, such as firstorder LT L, reasoning about constant (time-independent) relations is almost always undecidable. This applies to temporal des...
196
click to vote
CAV
2007
Springer
16 years 29 days ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
166
click to vote
GEOS
2005
Springer
16 years 9 days ago
2005
Springer
Continuously moving objects are prevalent in many domains. Although there have been attempts to combine both spatial and temporal relationships from a reasoning, a database, as wel...
178
click to vote
AMAI
2004
Springer
16 years 5 days ago
2004
Springer
The framework of algorithmic knowledge assumes that agents use algorithms to compute the facts they explicitly know. In many cases of interest, a logical theory, rather than a par...