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

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

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