69 search results - page 12 / 14 » igpl 2006 |
IGPL
1998
13 years 9 months ago
1998
Calculi of explicit substitutions have almost always been presented using de Bruijn indices with the aim of avoiding -conversion and being as close to machines as possible. De Bru...
IGPL
2010
13 years 8 months ago
2010
: Popper s suggestion of taking methodological norms as conventions is examined from the point of view of game theory. The game of research is interpreted as a game of persuasion, ...
IGPL
2010
13 years 8 months ago
2010
Although normative systems, or social laws, have proved to be a highly influential approach to coordination in multi-agent systems, the issue of compliance to such normative syste...
IGPL
2010
13 years 8 months ago
2010
In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in simi...
IGPL
2010
13 years 8 months ago
2010
This paper is a contribution to the formalisation of Thagard’s coherence theory. The term coherence is defined as the quality or the state of cohering, especially a logical, ord...