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...

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...

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...

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...

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 ...

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...

Notice

AISB event Bulletin Item

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, DEON2012 will encourage a special focus on the topic:
Deontic Logic and Social Choice
There have been nine 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 2010.
Selected papers from the conference will be published in a special issues of Journal of Logic
and Computation, and/or the Journal of Applied Logic
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
- 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
Deontic Logic and Social Choice
===============================
DEON2012's special theme is "Deontic Logic and Social Choice". Topics of interest in this special
theme include, but are not limited to:
- Normative system selection and optimization
- Merging and aggregation of norms
- Compliance and enforcement strategies for norms
- Game theoretic aspects of deontic reasoning
- Norms, culture and and shared values
- Violation detection and norm creation mechanisms
- Simulation of dynamics in normative systems
- Emergence of norms
- Norm change
We welcome both theoretical work (formal models, representations, logics, specifications,
verification) and implementation-oriented work (archi- tectures, programming languages, design
models, simulations, prototype
systems) on these specific topics.
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 (http://www.springer.de/comp/lncs/authors.html). 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 the submission system at
http://www.easychair.org/conferences/?conf=deon2012
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
===========
The selected papers will be published in book form in the Springer Lecture Notes in Computer
Science (LNCS) series (approval pending). Copies of the conference proceedings, will be provided
to all participants.
Important Dates
===============
Abstract Submission Deadline: February 27, 2012
Paper Submission Deadline: March 5, 2012
Notification: April 9, 2012
Camera Ready: April 23, 2012
Program Chairs
==============
Thomas Agotnes, University of Bergen
Jan Broersen, Utrecht University
Dag Elgesem, University of Bergen