4595 search results - page 70 / 919 » Reasoning about Plans |
171
click to vote
CP
2009
Springer
16 years 28 days 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
16 years 24 days ago
2009
IEEE
178
click to vote
WOLLIC
2009
Springer
16 years 22 days 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
16 years 21 days ago
2009
Springer