AISB Convention 2015

Call for Symposium Proposals: 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 Con...


Read More...

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


Read More...

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


Read More...

AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...


Read More...

Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video  


Read More...
01234

Notice

AISB event Bulletin Item

Announcement: Logic and the Simulation of Interaction and Reasoning LSIR2


 FIRST ANNOUNCEMENT
2nd Workshop on Logic and the Simulation of Interaction and Reasoning
(LSIR-2)
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
http://www.easychair.org/conferences/?conf=lsir2. 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)
nl.

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. http://www.illc.uva.nl/GLoRiClass/index.php?page=8_2

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