CALL FOR PAPERS - DEON 2014
12th International Conference on Deontic logic
12-15 July 2014, Ghent, Belgium
http://www.deon2014.ugent.be<http://www.deon2014.ugent.be/>
[co-located with TiL 2014]
The biennial DEON conferences are designed to promote interdisciplinary
cooperation amongst scholars interested in linking the formal-logical study of
normative concepts and normative systems with computer science, artificial
intelligence, philosophy, organization theory and law.
In addition to these general themes, DEON 2014 will encourage a special focus
on the topic:
Deontic modalities in natural language
There have been ten previous DEON conferences: Amsterdam, December 1991; Oslo,
January 1994; Sesimbra, January 1996; Bologna, January 1998; Toulouse, January
2000; London, May 2002; Madeira, May 2004; Utrecht, July 2006, Luxembourg, July
2008, Fiesole July 2010, Bergen, July 2012.
This DEON will be colocated with the 2014 edition of TiL (Trends in Logic), 8
July - 11 July, same venue:
http://entiaetnomina.blogspot.be/p/trends-in-logic-xiv.html
------------
General Themes
------------
The Program Committee invites papers concerned with the following topics:
• the logical study of normative reasoning, including formal systems of deontic
logic, defeasible normative reasoning, logics of action, logics of time, and
other related areas of logic
• the formal analysis of normative concepts and normative systems
• the formal specification of aspects of norm-governed multi-agent systems and
autonomous agents, including (but not limited to) the representation of rights,
authorization, delegation, power, responsibility and liability
• the normative aspects of protocols for communication, negotiation and
multi-agent decision making
• the formal representation of legal knowledge
• the formal specification of normative systems for the management of
bureaucratic processes in public or private administration
• applications of normative logic to the specification of database integrity
constraints
-----------
Special Theme
-----------
DEON 2014’s special focus is “Deontic modalities in natural language”. Deontic
or normative modality is a subject of common interest for researchers in
several fields, including moral philosophy, meta-ethics, linguistic semantics,
and deontic logic.
Over the past, the deontic modalities have been extensively studied on the
logic side. Comparatively, much less attention has been paid to them from a
natural language perspective, at least in DEON.
There has been a growing interest from linguists in the study of the deontic
modalities, mostly in the US, under the influence of Angelika Kratzer’s work. A
Deontic Modality Workshop was held in Los Angeles on May 20-22, 2013.
We encourage submission of papers describing problems from a natural language
perspective that can be a challenge for deontic logic.
Topics of interest in this special theme include, but are not limited to:
• Challenges from natural language for deontic logic
• Relationship between deontic and other types of modality: epistemic modality,
imperatives, supererogatory, etc
• New insights on the deontic paradoxes
• Modeling values
• Game theoretic aspects of deontic reasoning
• Emergence of norms
• Norms from a conversational point of view
• Norms and argumentation
We welcome theoretical work (formal models, representations, logics,
specifications, verification), implementation-oriented work (programming
languages, design models, simulations, prototype systems) and empirically
driven work (linguistics) on these specific topics.
Invited Speakers
-------------
Sven Ove Hansson (Royal Institute of Technology, Stockholm)
Magdalena Kaufmann (University of Connecticut)
Paul McNamara (University of New Hampshire)
Krister Segerberg (Uppsala University)
Bryan Skyrms (University of California, Irvine)
Submission Details
---------------
Authors are invited to submit an original, previously unpublished, research
paper pertaining to any of these topics. The paper should be in English, and
should be no longer than 15 pages when formatted according the LNCS
specifications. The first page should contain the full name and contact
information for at least one of the authors, and it should contain an abstract
of no more than ten lines. Authors should submit their papers electronically
using easychair:
https://www.easychair.org/conferences/?conf=deon2014
Each submitted paper will be carefully peer-reviewed by a panel of PC member
based on originality, significance, technical soundness, and clarity of
exposition and relevance for the conference.
For each accepted paper, at least one author is required to register for the
conference and should plan to present the paper.
Publication
---------
Copies of the workshop proceedings will be provided to all
participants. The proceedings will be published with Springer in their
LNCS/LNAI series. During the conference, Springer will also provide
temporary free access to the online version of the proceedings on
SpringerLink.
In addition, we anticipate that revised versions of selected papers
from the workshop will subsequently be published in a special issue of
the deontic corner of the Journal of Logic and Computation.
Important Dates
-------------
Abstract Submission Deadline: March 1, 2014
Paper Submission Deadline: March 8, 2014
Notification: April 22, 2014
Camera Ready: May 1, 2014
Program Chairs
------------
Fabrizio Cariani, Northwestern University
Davide Grossi, University of Liverpool
Joke Meheus, Ghent University
Xavier Parent, University of Luxembourg
Chairs of the Local Organizing Committee
---------------------------------------
Christian Straßer (Ghent University)
Erik Weber (Ghent University)
_______________________________________________
uai mailing list
[email protected]
https://secure.engr.oregonstate.edu/mailman/listinfo/uai
