Nothing Special   »   [go: up one dir, main page]
You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

AI Communications - Volume 9, issue 4

Purchase individual online access for 1 year to this journal.

Price: EUR 140.00
IS SN 0921 -7126 (P) 
ISSN 1875-8452 (E)

Impact Factor 2024: 1.4

AI Communications is a journal on Artificial Intelligence (AI) which has a close relationship to ECCAI (the European Coordinating Committee for Artificial Intelligence). It covers the whole AI community: scientific institutions as well as commercial and industrial companies.

AI Communications aims to enhance contacts and information exchange between AI researchers and developers, and to provide supranational information to those concerned with AI and advanced information processing. AI Communications publishes refereed articles concerning scientific and technical AI procedures, provided they are of sufficient interest to a large readership of both scientific and practical background. In addition it contains high-level background material, both at the technical level as well as the level of opinions, policies and news. The Editorial and Advisory Board is appointed by the Editor-in-Chief.

ILPNET repositories on WWW: Inductive Logic Programming systems, datasets and bibliography

Authors: Lavrač, Nada | Weber, Irene | Zupanič, Darko | Kazakov, Dimitar | Štěpánková, Olga | Džeroski, Sašo

Article Type: Research Article

Abstract: European research in Inductive Logic Programming (ILP) has been mainly conducted within two ESPRIT research projects, ILP (1992–95) and ILP2 (1996–98), whereas the European Inductive Logic Programming Scientific Network ILPNET (1993–96) provided the infrastructure support for ILP research. The main results of ILPNET are outlined in this paper. Particular emphasis is given on the description of ILPNET repositories of ILP systems, datasets and bibliography, which have been made publicly available on WWW at http://www-ai.ijs.si/ilpnet.html.

DOI: 10.3233/AIC-1996-9401

Citation: AI Communications, vol. 9, no. 4, pp. 157-206, 1996

Price: EUR 27.50

Slalom tree computing – a tree computing theory for artificial intelligence

Authors: Nourani, Cyrus F.

Article Type: Research Article

Abstract: A basis for a parallel tree computing theory with intelligent languages and intelligent algebraic tree rewriting is presented. We present intelligent syntax and put forth slalom tree rewriting. The formulation leads to theoretical results that provide the basis for parallel algebraic tree rewrite computing with intelligent trees. Tree completion theorems are presented, and techniques for generating initial intelligent models for slalom computing are developed. We also have soundness and completeness theorems for slalom tree computing logic and its preliminary model theory, and theorems relating Reason Slalom to slalom tree computing.

Keywords: Intelligent tree computing, artificial intelligence soundness and completeness, model theory and intelligent models, computing theory for artificial intelligence

DOI: 10.3233/AIC-1996-9402

Citation: AI Communications, vol. 9, no. 4, pp. 207-213, 1996

Price: EUR 27.50

Towards the validation of high-level action descriptions from their low-level definitions

Authors: Sandewall, Erik

Article Type: Research Article

Abstract: We address the problem of formally proving high-level effect descriptions of actions from low-level operational definitions. Both descriptions are expressed in a logic of actions and change, with extensions for characterizing continuous change, discontinuities, the distinction between true and estimated values of state variables, and the distinction between success and failure of an action. Both descriptions also require the use of nonmonotonicity in the logic in question. The transition from operational definition to effect description furthermore involves the creation of a closure with respect to the set of possible ways that the action can fail. We outline, by means … Show more

DOI: 10.3233/AIC-1996-9403

Citation: AI Communications, vol. 9, no. 4, pp. 214-224, 1996

Price: EUR 27.50

Theses

Article Type: Other

DOI: 10.3233/AIC-1996-9404

Citation: AI Communications, vol. 9, no. 4, pp. 225-228, 1996

Price: EUR 27.50

Calendar

Article Type: Other

DOI: 10.3233/AIC-1996-9405

Citation: AI Communications, vol. 9, no. 4, pp. 229-231, 1996

Price: EUR 27.50
Show more