468 search results - page 5 / 94 » Reasoning about action and cooperation |
68
Voted
LPNMR
2005
Springer
15 years 5 months ago
2005
Springer
105
click to vote
WOLLIC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
NMR
2004
Springer
15 years 5 months ago
2004
Springer
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
61
Voted
AGP
1996
IEEE
15 years 3 months ago
1996
IEEE
