674 search results - page 113 / 135 » Preferences in Game Logics |
188
click to vote
ICAIL
2009
ACM
15 years 3 months ago
2009
ACM
In this paper we discuss how recent developments in argumentation frameworks, most notably Extended Argumentation Frameworks, can inform the representation of a body of case law u...
195
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Modeling the behavior of imperfect agents from a small number of observations is a difficult, but important task. In the singleagent decision-theoretic setting, inverse optimal co...
155
click to vote
TLCA
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
203
click to vote
CONCUR
1991
Springer
15 years 9 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
136
click to vote
COMMA
2006
15 years 7 months ago
2006
This paper offers a logical formalisation of an argument-based account of reasoning about action, taking seriously the abductive nature of this form of reasoning. The particular qu...