AISB Convention 2016

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 2016 Convention will be held at the Uni...


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

2nd CALL FOR PAPERS: Strategies for Learning, Belief Revision and Preference Change", 13-17 Aug 2012, Opole, POLAND


We invite submissions to the workshop "Strategies for Learning, Belief Revision and Preference 
Change", at European Summer School for Logic, Language and Information (ESSLLI) 2012 in Opole, 
Poland (website:

The classical approach to belief-revision has been extensively studied within the so-called AGM 
framework (Alchourron et al., 1985) and provides us with an axiomatic setting that casts the 
rationality constraints for single-agent belief revision. In the last decades, a very promising 
direction of combining this belief-revision framework with modal logics of knowledge and belief has given us a way to investigate revisions in a more linguistically-detached way and in a multiagent context. Among the several modal logic approaches that are used for this investigation, the framework of dynamic epistemic logic comprises a family of logics of explicit informational actions and corresponding knowledge and belief changes in agents. One of the sources of this approach is natural language and communication, but others include epistemology, and theories of agency in computer science (see, e.g., Gerbrandy, 1999; Baltag et al., 1998). Dynamic epistemic logic can be viewed as a general theory of social information and preference-driven agency, which has led to growing links with temporal logics, game theory, and other formal theories of interaction (see Van Benthem, 2010). Interestingly, knowledge update and belief upgrades of dynamic epistemic logic have been recently linked to the topic of preference change in social choice theory (see Liu, 2008) and to formal learning theory (see Gierasimczuk, 2010). The combined effort of all mentioned disciplines provides a quickly growing body of research on iterated knowledge and belief change, adding to our understanding of the epistemic, logical and computational aspects of various strategies for learning.

The workshop's goal is to bring together researchers using formal methods to model and reason about
belief revision, knowledge update, preference change and strategies for learning. With this 
workshop we reach out to the logicians working in the domains of social choice theory and formal 
learning theory.

Invited talks will be given by:
Thomas gotnes (University of Bergen)
Alexandru Baltag (University of Amsterdam) Barbara Dunin-K?plicz (University of Warsaw) Davide 
Grossi (University of Liverpool) Vincent F. Hendricks (University of Copenhagen, Columbia 
University) (tbc)

Programme Committee:
Nina Gierasimczuk (co-chair)
Kevin Kelly
Jrme Lang
Hannes Leitgeb
Fenrong Liu
Daniel Osherson
Sonja Smets (co-chair)
Frank Veltman
Rineke Verbrugge
Thomas Zeugmann

Submissions Details:
Please send your submission in PDF format, from 5 to 8 pages (including bibliography). If needed, 
technical material such as proofs may be added in an appendix. The PDF files should be uploaded 
online by March 2nd, 2012 via easychair system:

The author notification date is May 1st, 2012. Please note that the speakers automatically agree to
their papers being published at Workshop's website and in ESSLLI 2012 internal proceedings. 
Moreover, all workshop participants have to register to ESSLLI 2012.

Contact: lbp2012(at)

Important Dates:
Submission Deadline: March 2nd, 2012
Notification of Acceptance: May 1st, 2012 Workshop dates: August 13-17, 2012

Workshop organizers: Nina Gierasimczuk and Sonja Smets

Sponsors: VIDI research grant no 639.072.904 financed by the Netherlands Organisation for 
Scientific Research.