Research area of

Reasoning about Actions and Change

Research Articles Received for "Actions and Change"

The following articles have been received for the ETAI area "Reasoning about Actions and Change". Questions and comments about these articles are invited, similarly to the question period at the end of a paper presentation at a conference. Please click the word [interactions] to see the current interactions about the article, or to send your own debate contribution.

Each article goes through the following steps:

Article is announced in the Newsletter and News Journal. This starts a three month period of review discussion.
Author decides whether he or she wishes to have the article refereed for the ETAI, or not.
If yes, the article is sent to confidential referees.
The article is either accepted or not accepted for the ETAI.

The present list contains all articles that have been received and announced, under different headings depending on where they are in the review procedure. Contributions to the discussion are invited during all those stages.

Articles presently in the review discussion

2000-12-05

Sergio Brandano
On the meta-theoretic approach to non-monotonic reasoning, its extension to the continuum case and relation with classical Newtonian Mechanics.
f-cis.linep.se-97-042 [interactions]

2000-09-06

John Bell
Primary and Secondary Events.
f-cis.linep.se-97-012 [interactions]

1999-12-21

Giuseppe De Giacomo and Riccardo Rosati
Minimal Knowledge Approach to Reasoning about Actions and Sensing.
f-cis.linep.se-97-043 [interactions]

1999-12-21

Fiora Pirri and Alberto Finzi
An Approach to Perception in Theory of Actions: Part I.
f-cis.linep.se-97-041 [interactions]

1999-12-21

Enrico Giunchiglia and Vladimir Lifschitz
Action Languages, Temporal Action Logics and the Situation Calculus.
f-cis.linep.se-97-040 [interactions]

1999-12-21

Mikhail Prokopenko and Marc Butler
Tactical Reasoning in Synthetic Multi-Agent Systems: a Case Study.
f-cis.linep.se-97-039 [interactions]

1999-12-21

Maria R. Cravo, João P. Cachopo, Ana C. Cachopo, and João P. Martins
Permissive Belief Revision (preliminary report).
f-cis.linep.se-97-038 [interactions]

Articles presently being refereed

The following articles have been submitted to refereeing, after having been publicly reviewed for at least three months, and are awaiting the referee reports.

1999-09-25

Rob Miller and Murray Shanahan
The Event Calculus in Classical Logic - Alternative Axiomatisations.
f-cis.linep.se-99-016 [interactions]

1999-08-16

Tom Costello and John McCarthy
Useful Counterfactuals.
f-cis.linep.se-99-012 [interactions]

1999-08-16

Michael Thielscher
Fluent Calculus Planning with Continuous Change.
f-cis.linep.se-99-011 [summary]
[interactions]

Previously reviewed but not refereed articles

The following articles have previously been reviewed and within the area "Reasoning about Actions and Change", but the authors decided not to send the article to refereeing in the ETAI. (Typically, the article has then been submitted to some other journal). The review discussion will continue to be available, and additional contributions are still welcome. Please click the word [interactions] to see or to participate in the discussion.

1997-NIL

Murray Shanahan
The Event Calculus Revisited.
f-cis.linep.se-97-003 [interactions]

1997-12-12

José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, and Teodor Przymusinski
Dynamic Logic Programming.
f-cis.linep.se-97-018 [interactions]

Previously refereed articles

The following articles have previously been reviewed and refereed within the area "Reasoning about Actions and Change". The second date, if present, indicates the date when the article was accepted to the ETAI. The review discussion will continue to be available, and additional contributions are still welcome. Please click the word [interactions] to see or participate in the discussion.

1999-12-20 1900-12-05

Eyal Amir
Object-Oriented First-Order Logic.
f-cis.linep.se-97-042 [interactions]

1999-05-21 1900-07-26

Camilla Schwind
Causality in Action Theories.
f-cis.linep.se-99-004 [summary]
[interactions]

1998-11-23 1999-05-05

Hector Levesque, Fiora Pirri, and Ray Reiter
Foundations for the Situation Calculus.
f-cis.linep.se-98-018 [interactions]

1998-10-11 1999-06-12

Erik Sandewall
Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited.
f-cis.linep.se-98-017 [interactions]

1998-10-11 1999-05-06

Michael Gelfond and Vladimir Lifschitz
Action Languages.
f-cis.linep.se-98-016 [interactions]

1998-10-01 1999-06-12

Patrick Doherty, Joakim Gustafsson, Lars Karlsson, and Jonas Kvarnström
TAL: Temporal Action Logics Language <> Specification and Tutorial.
f-cis.linep.se-98-015 [interactions]

1998-09-30 1999-05-06

Michael Thielscher
Introduction to the Fluent Calculus.
f-cis.linep.se-98-014 [interactions]

1998-09-21

Graham White
Simulation, Ramification, and Linear Logic.
f-cis.linep.se-98-011 [interactions]

1998-07-23 1999-03-30

Chitta Baral and Son Cao Tran
Relating Theories of Actions and Reactive Control.
f-cis.linep.se-98-009 [interactions]

1997-06-29 1999-03-30

Murray Shanahan
A Logical Account of the Common Sense Informatic Situation for a Mobile Robot.
f-cis.linep.se-97-005 [interactions]

1998-06-24 1999-03-08

Marc Denecker, Daniele Theseider Dupré, and Kristof Van Belleghem
An Inductive Definition Approach to Ramifications.
f-cis.linep.se-98-007 [summary]
[interactions]

1998-06-14 1999-06-12

David Poole
Decision Theory, the Situation Calculus and Conditional Plans.
f-cis.linep.se-98-008 [summary]
[interactions]

1998-05-08 1998-12-22

Iliano Cervesato, Massimo Franceschet, and Angelo Montanari
The Complexity of Model Checking in Modal Event Calculi with Quantifiers.
f-cis.linep.se-98-021 [summary]
[interactions]

1997-12-19 1998-07-13

Erik Sandewall
Logic-Based Modelling of Goal-Directed Behavior.
f-cis.linep.se-97-019 [summary]
[interactions]

1997-10-31 1998-07-29

Paolo Liberatore
Compilability of Domain Descriptions in the Language A.
f-cis.linep.se-97-13 [interactions]

1997-10-16 1998-04-23

Antonis Kakas and Rob Miller
Reasoning about Actions, Narratives and Ramification.
f-cis.linep.se-97-012 [summary]
[interactions]

1997-10-07 1998-05-03

Michael Thielscher
A Theory of Dynamic Diagnosis.
f-cis.linep.se-97-011 [summary]
[interactions]

1997-07-04 1997-11-21

Paolo Liberatore
The Complexity of the Language A.
f-cis.linep.se-97-006 [summary]
[interactions]

Articles received for other ETAI areas

The following articles have been received by other ETAI areas, but may be of interest also for "Reasoning about Actions and Change". Feel welcome to contribute to the discussion, which will be moderated by the area editor for the area where the article was received.

1997-08-21 (received for "Planning and Scheduling")

Austin Tate:
Representing Plans as a Set of Constraints - The < I-N-OVA > Model.

[interactions]

Notation

Clicking [summary] leads to a concrete description of the article's contents (an "informative abstract" rather than an "indicative abstract"). Clicking an author name leads to her/his home page; clicking the name of the article leads to a cover page for the full text and abstract of the article.

Each item also specifies the date when the article was received, given in standard European format (dd.mm.yyyy). The code (f-...) indicates where the article was published (First Publication Archive, year, and serial number of the article).