- Roberto Sebastiani, Adolfo Villafiorita:
SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework. AIMSA 1998: 377-388 - Evgueni N. Smirnov, Peter J. Braspenning:
Version Space Retraction with Instance-Based Boundary Sets. AIMSA 1998: 389-402 - Igor Stéphan:
A New Abstract Logic Programming Language and Its Quantifier Elimination Method for Disjunctive Logic Programming. AIMSA 1998: 403-416 - Tarkan Tahseen, Duncan Fyfe Gillies:
A New Approach to Learning Bayesian Network Classifiers from Data: Using Observed Statistical Frequencies. AIMSA 1998: 417-426 - Adolfo Villafiorita:
Abstraction as a Form of Elaboration Tolerance. AIMSA 1998: 427-437 - Ioannis P. Vlahavas, Nick Bassiliades, Ilias Sakellariou, Martín Molina, Sascha Ossowski, Ivan Futó, Zoltán Pásztor, János Szeredi, Igor Velbitskiy, Sergey Yershov, Sergey Golub, Igor Netesin:
System Architecture of a Distributed Expert System for the Management of a National Data Network. AIMSA 1998: 438-451 - Andreas Wolf:
Strategy Selection for Automated Theorem Proving. AIMSA 1998: 452-465 - Qiang Yang, Irène Abi-Zeid, Luc Lamontagne:
An Agent for Intelligent Situation Assessment. AIMSA 1998: 466-474 - Yiming Ye, John K. Tsotsos:
Knowledge Granularity and Action Selection. AIMSA 1998: 475-488 - Zhong Zhang, Qiang Yang:
Towards Lifetime Maintenance of Case Based Indexes for Continual Case Based Reasoning. AIMSA 1998: 489-500 - Fausto Giunchiglia:
Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings. Lecture Notes in Computer Science 1480, Springer 1998, ISBN 3-540-64993-X [contents]