Our journal has published the following article:
Iliano Cervesato, Massimo Franceschet, and Angelo Montanari:
The Complexity of Model Checking in Modal Event Calculi with Quantifiers.
Electronic Transactions on Artificial Intelligence, Vol. 2 (1998), Issue 1-2, pp. 1-23.
Citation: Please cite the article as specified above. The
URL stated above is the persistent URL of the present webpage;
it will be maintained for the foreseeable future.
Full text: The article consists of the two parts obtained by selecting "Preamble" and "Body" in succession. For access to the full journal issue where the present article was included, please refer to the ETAI webpage.
Reviewing and Quality Assurance: The ETAI normally uses a combination of open discussion ("review") and confidential pass-fail acceptance decisions ("refereeing") to provide feedback to the authors and assurance of the scientific quality of published articles. The table item "Interaction Page" shown above links to a page containing the open discussion session for this article, which preceded its acceptance to the ETAI Journal. - Conventional peer review is used if the discussion should not commence.
For additional details about ETAI's innovative reviewing scheme and other facts about the journal, please refer to the webpage for the ETAI.
Priority: This article was posted officially on the Internet and published by the Linköping University Electronic Press as part of the open reviewing process. The pre-reviewing publication dates mark the first presentation of the results to the peer community, and are claimed for the purpose of priority.
The table item "Cover page" contains a link to a page showing the abstract as well as the full publication history of the article.