Electronic Transactions on Artificial Intelligence

Volume 2 - 1998 -- Table of articles accepted so far

The following table contains links to successive files which constitute the beginning of the contents of ETAI for 1998. Additional articles are added immediately on the decision to accept them, and page numbers are assigned at that time. The present page therefore indicates the beginning of the forthcoming ETAI 1998 Volume.

As a matter of policy, articles are included in the issue and volume representing the date when they were submitted to the ETAI. A number of articles are in the review stage for the January-June issue, but the refereeing has not been completed yet. Articles submitted during 1997 went into the 1997 volume.

Please note that the full articles come in two parts, a preamble containing abstract, publication history, and summary, and a body containing the main part of the article. Thus, for example, the article by XXX runs over pages xx through xx. (The notes are in only one part).

The acceptance of articles to this Journal is decided after a process in several steps:

1. Publication (unrefereed) of the contribution as an E-Press article, in order to make it available for discussion, and posting it on the Internet.
2. Open review discussion during at least three months, as recorded in the interaction page.
3. Confidential refereeing by (usually) three qualified peers, leading a decision regarding acceptance.

Additional explanations are found at the end of the table.

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.	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.	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.	69-70	Preamble	Cover Page	Interaction Page   Further links
	71-104	Body
David Poole: Decision Theory, the Situation Calculus and Conditional Plans.	105-108	Preamble	Cover Page	Interaction Page   Further links
	109-154	Body
Back matter, with statement of journal policies.		Text
Issue 3-4: July - December
Hector Levesque, Fiora Pirri, and Ray Reiter: Foundations for a Calculus of Situations. Refereed Reference Article.	159-160	Preamble	Cover Page	Interaction Page   Further links
	161-178	Body
Michael Thielscher: Introduction to the Fluent Calculus. Refereed Reference Article.	179-180	Preamble	Cover Page	Interaction Page   Further links
	181-192	Body
Michael Gelfond and Vladimir Lifschitz: Action Languages. Refereed Reference Article.	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.	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. Refereed Reference Article.	273-274	Preamble	Cover Page	Interaction Page   Further links
	275-306	Body
Erik Sandewall: Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited. Refereed Reference Article.	307-308	Preamble	Cover Page	Interaction Page   Further links
	309-329	Body
Back matter, with statement of journal policies.		Text
Entire Year
Cover page. Color printer recommended.		Picture
Front matter, including table of contents.		Text
Contents: please use the articles as listed above for the separate issues.
Back matter, with statement of journal policies.		Text

Explanation of some of the links

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. If these links are missing, it means that the final formatting of the paper is still in progress. The paper can be obtained via the Cover Page link, however.