CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


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


AISB convention 2017

  In the run up to AISB2017 convention (, 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

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


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



AISB event Bulletin Item

Announcement: Logic and the Simulation of Interaction and Reasoning LSIR2

2nd Workshop on Logic and the Simulation of Interaction and Reasoning
held at IJCAI-09, Pasadena CA, U.S.A., July 2009

Description of workshop and Topics. In the past years, logicians have
become more and more interested in the phenomenon of interaction and the
formal modelling of social procedures and phenomena. The area Logic &
Games deals with the transition from the static logical paradigm of formal
proof and derivation to the dynamic world of intelligent interaction and
its logical models. Modelling intelligent interaction has been an aspect
of the practical work of computer game designers for a long time.
Pragmatic questions such as 'What makes a storyline interesting', 'What
makes an reaction natural', and 'What role do emotions play in game
decisions' have been tackled by practicing programmers. The practical
aspects of computer gaming reach out to a wide interdisciplinary field
including psychology and cognitive science. So far, there are only a few
cross-links between these two communities.

LSIR2 focuses on the relation between techniques of modern logic (such as
discourse representation theory or dynamic epistemic logic) and concrete
modelling problems in computer games (either as part of the story or game
design or as part of the design of the artificial agents). We aim
combining communities of logic, multi-agent systems, computer game design,
the story understanding community, and various parts of AI dealing with
the formal modelling of emotions and intentions, as well as the empirical
testing of these models; we invite all researchers in these and related
field to submit their abstracts of papers, in particular those that build
bridges between the communities.

Format of workshop. The workshop will have four invited keynote speakers,
covering the various communities of interest for our topic. In addition to
that, we will issue a Call for Papers and ask for submissions. These
submissions will be reviewed by the programme committee, and the best
eight to ten submissions will be selected for 30-minute presentations. In
case we get a large number of high-quality submissions, we will host a
poster session as well, accepting up to ten posters.

Attendance. In addition to the 12-14 speakers, we expect further
participants who will engage in the discussions. We estimate that the
workshop will have between 30 and 50 participants.

Submission requirements. We invite all researchers in the relevant fields
to submit extended abstracts of one to four pages of text via the
EasyChair submission page at The first Call for
Papers will be issued in December 2008.

Workshop Chair. Benedikt Lwe, Institute for Logic, Language and
Computation (ILLC), Universiteit van Amsterdam, Plantage Muidergracht 24,
1018 TV Amsterdam, The Netherlands; bloewe (at) science (dot) uva (dot)

LSIR-2 Programme Committee.
Jan Broersen (Utrecht, The Netherlands)
Cristiano Castelfranchi (Rome, Italy)
Frank Dignum (Utrecht, The Netherlands)
Benedikt Lwe (Amsterdam, The Netherlands)
Erik T. Mueller (Hawthorne NY, United States of America)
Amitabha Mukherjee (Kanpur, India)
Mark Overmars (Utrecht, The Netherlands)
Eric Pacuit (Stanford CA, United States of America)
Jos Uiterwijk (Maastricht, The Netherlands)
Hans van Ditmarsch (Otago, New Zealand & Aberdeen, Scotland)

Workshop URL.

The main financial sponsor of the workshop is the Marie Curie research
training site GLoRiClass.