DEON 2010 Preliminary Program

Wednesday, July 7, 2010

Preferences and Contrary to Duties
14:00-15:00 Invited Speaker: Marek Sergot
Norms, Action and Agency in Multi-Agent Systems
15:00-15:40 Guillaume Piolle
A Dyadic Operator for the Gradation of Desirability
15:40-16:00 Coffee Break
16:00-16:40 Johan van Benthem, Davide Grossi, Fenrong Liu
Deontics = Betterness + Priority
16:40-17:20 Mark Reynolds, John McCabe-Dansted, Tim French
Axioms for Obligation and Robustness in Temporal Logic
17:30 Reception

Thursday, July 8, 2010

Input-ouput logic and norm change
9:00-10:00 Invited speaker: Leendert van der Torre
Deontic Redundancy: A Fundamental Challenge for Deontic Logic
10:00-10:40 Xavier Parent
Moral Particularism and Deontic Logic
10:40-11:00 Coffee Break
11:00-11:40 Audun Stolpe
The Connection Between Relevance, Derogation and Permission: A Case for a Normal Code for Codes of Norms
11:40-12:20 Antonino Rotolo
Retroactive Legal Changes and Theory Revision in Defeasible Logic
Analyses of Deontic Notions
14:00-14:40 Robert Trypuz, Piotr Kulicki}
Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
14:40-15:20 Joke Meheus, Mathieu Beirlaen, Frederik Van De Putte
Avoiding Deontic Explosion by Contextually Restricting Aggregation
15:20-16:00 Dov M. Gabbay, Michael Abraham, Uri Schild
Obligations and Prohibitions in Talmudic Deontic
16:00-16:20 Coffee Break
16:20-17:00 Richard Evans
Introducing Exclusion Logic as a Deontic Logic
17:00-17:40 Guillaume Aucher, Guido Boella, Leon van der Torre
Dynamic Epistemic Deontic Logic

Friday, July 9, 2010

Deontic logic and Argumentation
9:30-10:30 Invited Speaker: Michele Taruffo
Towards a Logical Analysis of the Judgment on Facts
10:30-11:10 Brigitte Burgemeestre, Joris Hulstijn, Yao-Hua Tan
Value-based Argumentation for Justifying Compliance
11:10-11:30 Coffee Break
11:30-12:10 Phan Minh Dung, Giovanni Sartor
The Logic of Private International Law: Modular Argumentation Between Legal Systems
12:10-12:40 GJC Lokhorst
Where Did Mally Go Wrong?
Agents, Institutions and Deontic Logic
14:00-15:00 Invited Speaker: Rosaria Conte
From Norm Adoption To Norm Internalization
15:00-15:40 Robert Demolombe
Relationships Between Actions Performed by Institutional Agents, Human Agents or Software Agents
15:40-16:00 Coffee Break
16:00-16:40 Rosja Mastop
Characterising Responsibility in Organisational Structures
16:40-17:20 Emiliano Lorini
A Logical Analysis of Commitment Dynamics
17:20-18:00 Paolo Turrini, Davide Grossi, Jan Broersen, John-Jules Meyer
Forbidding Undesirable Agreements