4595 search results - page 70 / 919 » Reasoning about Plans |
155
click to vote
CP
2009
Springer
15 years 11 months ago
2009
Springer
The problem of finding a collection of solutions to a combinatorial problem that is optimal in terms of an inter-solution objective function exists in many application settings. F...
ICEIS
2009
IEEE
15 years 11 months ago
2009
IEEE
155
click to vote
WOLLIC
2009
Springer
15 years 11 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...
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
114
Voted
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer