Logic List Mailing Archive

3rd CfP & Extension of Deadline: LSIR-2 "Logic and the Simulation of Interaction and Reasoning"

12 July 2009
Pasadena CA, U.S.A.

THIRD CALL FOR PAPERS & EXTENSION OF DEADLINE

Second Workshop on Logic and the Simulation of Interaction and
Reasoning (LSIR-2)

held at IJCAI-09, Pasadena CA, U.S.A., 12 July 2009
http://www.illc.uva.nl/GLoRiClass/index.php?page=8_2

INVITED SPEAKERS.

Leora Morgenstern (Hawthorne NY, United States of America)
Lenhart Schubert (Rochester NY, United States of America)
R. Michael Young (Raleigh NC, United States of America)

SUBMISSION DEADLINE. 3 April 2009.

   *** Note the extended deadline. ***

DESCRIPTION OF WORKSHOP. 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.

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

SUBMISSION. The emphasis of the workshop is the exchange of ideas and
techniques between researchers in the various fields involved, rather than
the most recent technical advances. We therefore strongly encourage the
submission of announcements of survey, expository, and programmatic
presentations, as well as work-in-progress and presentations based on
published papers.

We invite all researchers in the relevant fields to submit extended
abstracts of one to four pages (in the AAAI style) via the EasyChair
submission page at http://www.easychair.org/conferences/?conf=lsir2.
Please use the AAAI style files for your submissions. For this, consult
http://www.aaai.org/Publications/Author/author.php. Longer submissions
(within reasonable bounds!) are acceptable, but will not be thoroughly
refereed.

Abstracts co-authored by members of the programme committee are allowed
(and will be reviewed and discussed strictly without involvement of the
relevant PC member). Abstracts reporting on submitted or published work
are also acceptable as long as there is a clear relation to the workshop
topic. In the latter case, the authors should notify the PC that the paper
is under consideration or has been published elsewhere. Accepted paper
will be printed in the Workshop informal "Working Notes".

IMPORTANT DATES.

   Submission Deadline: 3 April 2009.
   Notification. 17 April 2009.
   Final version due. 8 May 2009.
   Workshop. 12 July 2009.

PROGRAMME COMMITTEE.

Jan Broersen (Utrecht, The Netherlands)
Cristiano Castelfranchi (Rome, Italy)
Frank Dignum (Utrecht, The Netherlands)
Benedikt Lwe (Amsterdam, The Netherlands, chair)
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)
Rohit Parikh (New York NY, United States of America)
Jos Uiterwijk (Maastricht, The Netherlands)
Hans van Ditmarsch (Otago, New Zealand & Aberdeen, Scotland)

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