| Editor: | Erik Sandewall |
| ETAI ISSN: | 1403-3534 (Printed version) |
| 1403-3526 (Electronic version) | |
| ETAI webpage: | http://www.etaij.org/ |
| Article | Pages | Text in postscript | Publication Record | Review Discussion |
|---|---|---|---|---|
| Issue 1-2: January - June |
||||
| Cover page. Color printer recommended. | Picture | |||
| Front matter, including table of contents. | Text | |||
| Iliano Cervesato, Massimo Franceschet, and Angelo Montanari:
The Complexity of Model Checking in Modal Event Calculi with Quantifiers. Official citation | 1-4 | Preamble | Cover Page |
Interaction Page Further links |
| 5-23 | Body | |||
| Marc Denecker, Daniele Theseider Dupré, and Kristof Van Belleghem:
An Inductive Definition Approach to Ramifications. Official citation | 25-28 | Preamble | Cover Page |
Interaction Page Further links |
| 29-67 | Body | |||
| Murray Shanahan:
A Logical Account of the Common Sense Informatic Situation for a Mobile Robot. Official citation | 69-70 | Preamble | Cover Page |
Interaction Page Further links |
| 71-104 | Body | |||
| David Poole:
Decision Theory, the Situation Calculus and Conditional Plans. Official citation | 105-108 | Preamble | Cover Page |
Interaction Page Further links |
| 109-158 | Body | |||
| Back matter, with statement of journal policies. | Text | |||
| Issue 3-4: July - December |
||||
| Cover page. Color printer recommended. | Picture | |||
| Front matter, including table of contents. | Text | |||
| Hector Levesque, Fiora Pirri, and Ray Reiter:
Foundations for the Situation Calculus. Official citation | 159-160 | Preamble | Cover Page |
Interaction Page Further links |
| 161-178 | Body | |||
| Michael Thielscher:
Introduction to the Fluent Calculus. Official citation | 179-180 | Preamble | Cover Page |
Interaction Page Further links |
| 181-192 | Body | |||
| Michael Gelfond and Vladimir Lifschitz:
Action Languages. Official citation | 193-194 | Preamble | Cover Page |
Interaction Page Further links |
| 195-210 | Body | |||
| Chitta Baral and Son Cao Tran:
Relating Theories of Actions and Reactive Control. Official citation | 211-212 | Preamble | Cover Page |
Interaction Page Further links |
| 213-271 | Body | |||
| Patrick Doherty, Joakim Gustafsson, Lars Karlsson, and Jonas Kvarnström:
TAL: Temporal Action Logics Language Specification and Tutorial. Official citation | 273-274 | Preamble | Cover Page |
Interaction Page Further links |
| 275-306 | Body | |||
| Erik Sandewall:
Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited. Official citation | 307-308 | Preamble | Cover Page |
Interaction Page Further links |
| 309-329 | Body | |||
| Back matter, with statement of journal policies. | Text | |||
The link labelled "Official citation" leads to a webpage that is recommended to use when citing the article in question, e.g., in the bibliography of another research article.
The link labelled "Cover Page" leads to the early version(s) of the article that were published by the present E-Press in order to make the open review discussion possible. The cover page also contains the record of successive revisions of the article, if applicable. (In some cases the cover page only contains the final version of the article and not the preliminary one). The body of the article for the purpose of the ETAI issue has been obtained from the E-Press publication by removing its initial pages.
The link labelled "Interaction Page" leads to a page containing the record of ETAI's review discussion for the article. Additional questions or comments about an article are always welcome, also after its acceptance to the ETAI.
The links labelled "Preamble" and "Body" lead to the final version of the article, as published in the present Journal.