4224 search results - page 58 / 845 » Reasoning about Choice |
SAC
2009
ACM
16 years 11 hour ago
2009
ACM
159
click to vote
CP
2009
Springer
16 years 7 hour 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 12 months ago
2009
IEEE
164
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