Moderated by Erik Sandewall.

Eyal Amir Object-Oriented First-Order Logic

The article mentioned above has been submitted to the Electronic Transactions on Artificial Intelligence, and the present page contains the review discussion. Click here for more explanations and for the webpage of theauthors: Eyal Amir. Overview of interactions N:o Question Answer(s) Continued discussion 1 5.12  Anonymous Referee 1     2 5.12  Anonymous Referee 2       Q1. Anonymous Referee 1 (5.12): are the results of the article, as specified in the summary, of significant interest for researchers in our area? The results are relevant for all areas using logic for modelling domains. Reasoning about action is one potential application area among many. does the full text substantiate the claims made in the summary? Yes is the text intelligible and concise? Yes, although not always easy to read do you know of any previous publication of the same result? No are there any other considerations that may affect the decision? An interesting paper. The real value of the contribution can only be determined after further modelling experience using the approach. Q2. Anonymous Referee 2 (5.12): are the results of the article, as specified in the summary, of significant interest for researchers in our area? This paper provides a semantics for a so called "object-oriented" first = order language, and a nonmonotonic semantics for an extension of the = language. The paper is interesting because it attempts to bring software = engineering principles to bear on first order logic.=20 does the full text substantiate the claims made in the summary? Yes, the paper delivers on its promises. is the text intelligible and concise? The paper is well written and convincing. Proofs of the results are = included. do you know of any previous publication of the same result? As far as I know this work is novel. are there any other considerations that may affect the decision? The author explains the representation and sematics well, however more = attention could be given to specific reasoning mechanisms and their = complexity. The author might also consider providing more illustrative = examples.   Background: Review Protocol Pages and the ETAI This Review Protocol Page (RPP) is a part of the webpage structure for the Electronic Transactions on Artificial Intelligence, or ETAI. The ETAI is an electronic journal that uses the Internet medium not merely for distributing the articles, but also for a novel, two-stage review procedure. The first review phase is open and allows the peer community to ask questions to the author and to create a discussion about the contribution. The second phase - called refereeing in the ETAI - is like conventional journal refereeing except that the major part of the required feedback is supposed to have occurred already in the first, review phase. The referees make a recommendation whether the article is to be accepted or declined, as usual. The article and the discussion remain on-line regardless of whether the article was accepted or not. Additional questions and discussion after the acceptance decision are welcomed. The Review Protocol Page is used as a working structure for the entire reviewing process. During the first (review) phase it accumulates the successive debate contributions. If the referees make specific comments about the article in the refereeing phase, then those comments are posted on the RPP as well, but without indicating the identity of the referee. (In many cases the referees may return simply an " accept" or " decline" recommendation, namely if sufficient feedback has been obtained already in the review phase).