This paper studies intentional action in stit logic. The formal logic study of intentional action
appears to be new, since most logical studies of intention concern intention as a static mental …

Roughly, we can distinguish two types of researchers involved in logic related research: the
ones that are interested in applying logic and the ones that are interested in proving …

A Stit Logic of Responsibility Page 1 A Stit Logic of Responsibility Extended Abstract Aldo Iván
Ramírez Abarca Utrecht University Utrecht, The Netherlands airamirezabarca@gmail.com Jan …

The original BOID [5] is a cognitive architecture that unifies Belief, Obligation, Intention and
Desire rules to calculate which actions should an agent undertake next. In the current paper, …

We show how the logical modelling of puzzles concerning epistemic oughts, such as those
put forward by Horty & Pacuit, are solved without introducing action types. We accomplish …

We define an extension of stit logic that encompasses subjective probabilities representing
beliefs about simultaneous choice exertion of other agents. This semantics enables us to …

We address the question of how to lift an ordering over rules to an ordering over arguments (sets
of rules) that is well-behaved. It has been shown that so-called elitist lifting may lead to …

Violation handling is a crucial problem in many applications. therefore its paradoxes have
been studied in, amongst others, artificial intelligence, agent theory and computer science. …

This volume presents the refereed proceedings of the 11th International Conference on
Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 …

What an Agent Ought To Do Page 1 What an Agent Ought To Do A Review of John Horty’s ‘Agency
and Deontic Logic’ Jan Broersen1 and Leendert van der Torre2 1 Department of Information …