4224 search results - page 58 / 845 » Reasoning about Choice |
SAC
2009
ACM
16 years 9 days ago
2009
ACM
165
Voted
CP
2009
Springer
16 years 9 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 5 days ago
2009
IEEE
168
click to vote
WOLLIC
2009
Springer
16 years 3 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 3 days ago
2009
Springer