Call for Papers
Special Issue of Studia Logica
on Reasoning about Action and Change
An intelligent agent needs to be equipped with certain high-level cognitive capabilities in order to meet the challenges of a rich, dynamic environment. Among these capabilities, Reasoning about Action and rational Belief Change, are considered two of the most fundamental.
Research in these areas has made significant progress during the last three decades. In Reasoning about Actions, much of the research has focused on the design of appropriate logics for dealing effectively with the frame, ramification, and qualification problems in progressively richer domains. In Belief Change, formal models have been introduced (and studied extensively) that capture the process by which a rational agent modifies her beliefs in the light of new information. The two areas are closely connected, especially when the agent changes her beliefs in response to changes in the external world (belief update), or when reasoning about action is based on observations from noisy sensors.
As the various formalisms in Reasoning about Action and Belief Change are reaching a satisfactory level of stability and effectiveness in dealing with the conceptual problems, the research community is diverting part of its effort in tackling computational considerations as well as applying the theoretical work in domains like the Semantic Web and Cognitive Robotics.
This special issue of Studia Logica will be devoted to papers on Belief Change, Reasoning about Action, and their inter-relations. Four of its papers will be invited ones while the rest will be selected based on peer reviewing.
The special issue will contain the following invited contributions:
- James Delgrande, Abhaya Nayak, Maurice Pagnucco, "Conservative Belief Change: A Gricean Approach",
- Richard Booth, Samir Chopra, Aditya Ghose, Thomas Meyer, "Belief Liberation (and Retraction)",
- Chitta Baral, Nam Tran, "Representation and reasoning about evolution of the world in the context of reasoning about actions",
- Graciela Gonzalez, Chitta Baral, Michael Gelfond, "Alan: An Action Language for Modelling Multimedia Presentations Using Non-Markovian Domains"
Submission of Papers
Submitted papers should not exceed 20 pages (including bibliography), formatted according to the Studia Logica LaTeX style (see Information for Authors). Only electronic submissions will be accepted. The authors should send an email with subject Logica Submission to both guest editors (see below), with the file of the paper as an attachment (in postscript or pdf format), and the following information in the body of the email in plain text:
- Paper title.
- Author names.
- Surface mail, email address, and phone number of the contact author.
- A short abstract and up to five keywords.
Important Dates
- Deadline for Submission: May 15, 2004
- Notification of Acceptance: July 15, 2004
- Camera Ready Copy Due: September 15, 2004
Guest Editors
Gerhard Brewka
Computer Science Institute
University of Leipzig, Augustusplatz 10-11
04109 Leipzig, Germany
Email: brewka@informatik.uni-leipzig.de
Tel: +49 341 9 73 22 35
Fax: +49 341 9 73 22 99
Pavlos Peppas
Dept of Business Administration
University of Patras
Patras 265 00, Greece
Email: ppeppas@otenet.gr
Tel: +30 6974 399 683
last modfied 18.04.2004; designer and webmaster: Krzysztof Pszczola
