Logic List Mailing Archive

Final Call for Papers & Deadline Extension: AISB Symposium on "Logic and the Simulation of Interaction and Reasoning"

FINAL CALL FOR PAPERS

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

http://www.illc.uva.nl/GLoRiClass/index.php?page=8_1
http://www.aisb.org.uk/convention/aisb08/index.html

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

    http://www.easychair.org/conferences/?conf=AISB2008-LSIR

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

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

Publication.

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

AISB Student Travel Awards

http://www.aisb.org.uk/treasurer/travelawards.shtml