AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


Read More...

AISB convention 2017

  In the run up to AISB2017 convention (http://aisb2017.cs.bath.ac.uk/index.html), I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Read More...

Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Read More...

Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Read More...

Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Read More...

Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


Read More...
012345

Notice

AISB event Bulletin Item

CALL FOR PAPERS: Deontic Logic, 12-15 Jul 2014, Gent, BELGIUM

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 Straer (Ghent University)
 Erik Weber (Ghent University)