2432 search results - page 95 / 487 » Cryptographic logical relations |
131
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
136
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
146
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
107
click to vote
JANCL
2006
15 years 4 months ago
2006
We present an overview of linear-time temporal logics with Presburger constraints whose models are sequences of tuples of integers. Such formal specification languages are welldesi...
112
click to vote
JUCS
2002
15 years 4 months ago
2002
: Our work is concerned with the design of a knowledge-based system for recognizing agricultural landscape models on land-use maps. Landscape models are defined as sets of spatial ...