Electronic Transactions on Artificial Intelligence

Volume 4 - 2000

Section B: Selected Articles from the Machine Intelligence 17 Workshop

ETAI Editor: Erik Sandewall
Section Editor:Stephen Muggleton
ETAI ISSN:1403-3534 (Printed version)
 1403-3526 (Electronic version)
ETAI webpage: http://www.etaij.org/

The contents of this issue are presently in the final phase of checkout, and some details may possibly be incorrect (non-matching page numbers, details in the publication history, numbering of figures, etc). Observations about bugs would be gratefully received.

Article Pages Text in postscript Publication Record Review Discussion
Cover page. Color printer recommended.   Picture    
Front matter, including table of contents.   Text    
Donald Michie: It Takes Two (At Least) to Tango.
Refereed article. Official citation
1-3 Preamble Cover Page Interaction Page
Further links
4-19 Body
John Lloyd: Predicate Construction in Higher-order Logic.
Refereed article. Official citation
21-22 Preamble Cover Page Interaction Page
Further links
23-51 Body
Makoto Haraguchi, Yoshiaki Okubo, and Tokuyasu Kakuta: A Logical Foundation of Metaphoric Search Based on Abstraction Approach.
Refereed article. Official citation
53-54 Preamble Cover Page Interaction Page
Further links
55-81 Body
Ken Ueno, Koichi Furukawa, and Michael Bain: Motor Skill as Dynamic Constraint Satisfaction.
Refereed article. Official citation
83-84 Preamble Cover Page Interaction Page
Further links
85-96 Body
Simon Colton: An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming.
Refereed article. Official citation
97-98 Preamble Cover Page Interaction Page
Further links
99-117 Body
Marcel Turcotte, Stephen H. Muggleton, and Michael J. E. Sternberg: Use of Inductive Logic Programming to Learn Principles of Protein Structure.
Refereed article. Official citation
119-120 Preamble Cover Page Interaction Page
Further links
121-124 Body
Dorian Suc and Ivan Bratko: Qualitative Trees Applied to Bicycle Riding.
Refereed article. Official citation
125-126 Preamble Cover Page Interaction Page
Further links
127-140 Body
Stephen Muggleton: Learning Stochastic Logic Programs.
Refereed article. Official citation
141-142 Preamble Cover Page Interaction Page
Further links
143-153 Body
Simon White and Derek Sleeman: A Constraint-Based Approach to the Description and Detection of Fitness-for-Purpose.
Refereed article. Official citation
155-156 Preamble Cover Page Interaction Page
Further links
157-183 Body
Back matter, with statement of journal policies.   Text    

Explanation of some of the links

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. The combined contents in the column headed "Text in postscript" constitute exactly the contents of the present section of the journal.

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.

Linköping University Electronic Press: [Webpage]   [E-mail to Editor-in-chief]   [E-mail to Webmaster]
Latest update: 5.5.2002