579 search results - page 14 / 116 » On a Temporal Logic for Object-Based Systems |
120
Voted
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
95
Voted
DAGSTUHL
1998
15 years 5 months ago
1998
93
Voted
MLQ
2010
15 years 2 months ago
2010
52
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
147
Voted
KR
2010
Springer
15 years 7 months ago
2010
Springer
We investigate a class of first-order temporal epistemic logics for the specification of multi-agent systems. We consider well-known properties of multi-agent systems including ...