Bishop and AI news

Stephen Hawking thinks computers may surpass human intelligence and take over the world. This view is based on the ideology that all aspects of human mentality will eventually be realised by a program running on a suitable compu...


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


Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


Rose wins the Loebne...

After 2 hours of judging at Bletchley Park, 'Rose' by Bruce Wilcox was declared the winner of the Loebner Prize 2014, held in conjunction with the AISB.  The event was well attended, film live by Sky News and the special guest jud...


AISB Convention 2015

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2015 Convention will be held at the Uni...


Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


AISB YouTube Channel

The AISB has launched a YouTube channel: ( The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...



AISB event Bulletin Item

CALL FOR PAPERS: Deontic Logic in Computer Science, 16-18 July 2012, Bergen, NORWAY

DEON 2012, University of Bergen

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

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


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.


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