111 search results - page 13 / 23 » Compiling Reasoning with and about Preferences into Default ... |
142
click to vote
DEON
2008
Springer
15 years 7 months ago
2008
Springer
The paper a discusses the interaction properties between preference and choice of coalitions in a strategic interaction. A language is presented to talk about the conflict between...
177
click to vote
FLAIRS
2007
15 years 8 months ago
2007
Reasoning about preferences is a major issue in many decision making problems. Recently, a new logic for handling preferences, called Qualitative Choice Logic (QCL), was presented...
167
click to vote
PPDP
2007
Springer
15 years 12 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
179
click to vote
ENTCS
2006
15 years 5 months ago
2006
The advent of proof-carrying code has generated significant interest in reasoning about low-level languages. It is widely believed that low-level languages with jumps must be diff...
169
click to vote
KI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Modal logics see a wide variety of applications in artificial intelligence, e.g. in reasoning about knowledge, belief, uncertainty, agency, defaults, and relevance. From ...