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 al-Rifaie ( Tu...


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


Computerised Minds. ...

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


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



AISB event Bulletin Item

Deadline Extension: Symposium "Logic and the Simulation of Interaction and Reasoning"


Due to a large number of e-mail requests for an extension of the
submission deadline, and due to the fact that the organizers of the AISB
convention pushed back the notification date, we are able to offer a
deadline extension until

    30 January 2008

for those who wished to submit something but couldn't find the time due to
the holidays. Note that a submission can be very short (at least two
pages) and exploratory or programmatic. Our workshop is meant to be a
meeting of communities, and it is very important that people with
different views will show up in Aberdeen.

Logic and the Simulation of Interaction and Reasoning
Symposium at the AISB 2008 Convention "Communication, Interaction and
Social Intelligence"
Aberdeen, Scotland; 3-4 April 2008

Invited Speakers.

Rafael Bordini, Durham, England:
        "Simulating Rational Goal-Directed Behaviour Using a Logic-Based
        Programming Language for Multi-Agent Systems"
Frank Dignum, Utrecht, The Netherlands:
        "Theory and practice of social reasoning: experiences with the
        artificial pet i-Cat"
Steffen Huck, London, England (TENTATIVE)
Mateja Jamnik, Cambridge, England:
        "How can machines reason with diagrams?"
David Ethan Kennerly, Los Angeles CA, United States of America:
        "Open Problems in Simulation and Story Design"
Eric Pacuit, Stanford CA, United States of America:
        "A survey of social software"

In the past years, logicians have become more and more interested in the
phenomenon of interaction. The area "logic and 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. A
number of conferences and workshops have been dealing with logic in game
and decision theory and dynamic logics with announcement and action
operations. Fruitful technical advances have led to deep insights into the
nature of communicative interaction and behaviour by logicians.

While these interactive aspects are relatively new to logicians, on a
rather different level, modelling intelligent interaction has been an
aspect of the practical work of computer game designers, researchers in
artificial intelligence, robotics, and human-machine interaction for a
long time. The practical aspects of simulating interaction and behaviour
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.
Our symposium will explore the possibilities of joining the theoretical
approach to interaction and communication with the practical approach to
simulating behaviour. We would like to include purely logical aspects,
cognitive and psychological aspects (including empirical testing of formal
models), and pragmatic aspects.

All researchers from logic, artificial intelligence, computer science,
cognitive science, computer gaming, psychology, empirical game theory, and
many other fields are cordially invited to submit abstracts of two to
eight pages in PDF format through our EasyChair page

Programme Committee.
Stefania Bandini, Milan, Italy
Johan van Benthem, Amsterdam, The Netherlands & Stanford CA, U.S.A.
Cristiano Castelfranchi, Rome, Italy
Bruce Edmonds, Manchester, England
Jaap van den Herik, Maastricht, The Netherlands
Wiebe van der Hoek, Liverpool, England
Benedikt Loewe, Amsterdam, The Netherlands (Chair)
Yoav Shoham, Stanford CA, U.S.A.
Keith Stenning, Edinburgh, Scotland
Rineke Verbrugge, Groningen, The Netherlands

Marie Curie Research Training Site GLoRiClass (MEST-CT-2005-020841).

Important dates.

30 January 2008          Deadline for submissions of papers
22 February 2008        Notification
1 March 2008            Deadline for final versions
3-4 April 2008          Workshop

Best Student Paper Award.

The AISB gives an award of  250 for the best student paper. More details
can be found on the webpage of the convention.


All papers presented at this workshop will be published in the proceedings
of the AISB Convention.

AISB Student Travel Awards