3. AIMSA 1988:
Varna,
Bulgaria
Tim O'Shea,
Vasil Sgurev (Eds.):
Artificial Intelligence III:
Methodology,
Systems,
Applications - Proceedings of the Third International Conference on Artificial Intelligence:
Methodology,
Systems,
Applications (AIMSA '88),
Varna,
Bulgaria,
20-23,
September,
1988. North-Holland,
1988,
ISBN 0-444-70508-2
Automatic Reasoning and Knowledge Representation
- John A. Self:
Knowledge, Belief and User Modelling.
3-9 BibTeX
- Yorick Wilks, Afzal Ballim:
Shifting the Belief Engine into Higher Gear.
11-20 BibTeX
- Mark H. Burstein, Allan M. Collins:
Modeling a Theory of Human Plausible Reasoning.
21-28 BibTeX
- Miroslaw Dabrowski, Maciej Michalewicz, Slawomir T. Wierzchon:
Creative Data Analysis: Rules Generation Based on ID3 Philosophy.
29-36 BibTeX
- Ivan Popchev, Neli Zlatareva:
A Formal Treatment of Non-Monotonic Reasoning.
37-42 BibTeX
- Andrzej Urbanski:
Formalizing Non-Monotonic Truth Maintenance Systems.
43-50 BibTeX
- Boicho N. Kokinov:
Associate Memory-Based Reasoning: How to Represent and Retrieve Cases.
51-58 BibTeX
- Jacques Nicholas:
Constructive Proofs for Concept Learning.
59-66 BibTeX
- Chris Thornton:
A Computational Model for the Data Compression Metaphor.
67-74 BibTeX
- Marc Ayel:
A Conceptual Model for Consistency of Knowledge Bases.
75-82 BibTeX
- Ramon Brena:
Parallelizing a Natural Deduction System.
83-92 BibTeX
- Manny Rayner, Åsa Hugosson, Annika Wærn:
Proving Correctness of Plans Considered as Procedural Programs.
93-102 BibTeX
- Christer Bäckström:
Action Structures with Implicit Coordination.
103-110 BibTeX
- Jean-Paul Arcangeli, Christian Pomian:
Plasma Pattern Compilation: a Formal Model and Some Examples.
111-120 BibTeX
- Cristiano Castelfranchi:
Daniela D'Aloisi, O. Stock, A. Tuozzi: Propositions in a Hybrid Knowledge Representation System.
121-127 BibTeX
Logic and Object-Oriented Programming
- Ivan Popchev, I. Popov, Vasil Vasilev, V. Tadjer, G. Simov, Vesselin Bontchev:
EXTRACT: Integration of Factual and Procedural Descriptions through Object-Oriented Programming.
131-138 BibTeX
- Jean-Michel Hufflen:
Parallelizing Recursive Programs.
139-148 BibTeX
- Mariá-Blanca Ibáñez-Espiga:
Parallel Inferencing in First Order Logic Based on the Connection Method.
149-157 BibTeX
- Rene Quiniou, Laurent Trilling:
Collective Predicates: Expressing Control of OR-Parallelism in Prolog.
159-167 BibTeX
- Bertram Fronhöfer:
Plan Schemes in PLANLOG.
169-176 BibTeX
- Rémy Bulot, Henri Meloni:
Processing Acoustic and Phonetic Knowledge in Prolog.
177-185 BibTeX
- Zdravko Markov, Th. Risse:
Prolog Based Graph Representation of Polyhedra.
187-194 BibTeX
- Ilia Iv. Dimitrov, O. Panev:
Object Semantics in INEX.
195-202 BibTeX
- Giovanni Adorni, Marco Boero, Lina Massone:
Knowledge-Based Simulation: Some Issues and a Case Study.
206-210 BibTeX
AI Architectures and Systems
Natural Language Processing
AI Applications
- Christo Dichev, Benedict du Boulay:
A Data Tracing System for Prolog Novices.
329-336 BibTeX
- Ludmyl Dakowsky, Haralamby Vassilev, Ivan Momchev, Plamen Trampov, Botyo Filipov:
A Legal Model for Business Processes.
337-340 BibTeX
- Vassil Stoyanov Sgurev, Danail Dochev, Christo Dichev, Genadi Agre, Zdravko Markov:
Problems of Diagnostic Knowledge Processing.
341-346 BibTeX
- János Demetrovics, Gy. Gyepesi, László Hannák, Tibor Remzsö, F. Urbánszki:
LATOR - a Database Management System for Local Networks.
347-354 BibTeX
- C. Soulé-Dupuy:
An Intelligent Information System or the Cooperation of a Natural Language Full Text Retrieval System and a Decision Support System.
355-365 BibTeX
- Valery A. Tzanov, Slavka G. Trifonova:
Real-time Diagnosis in Distributed Information System.
367-372 BibTeX
- Alessandra Fanni, Alessandro Giua, M. G. Manca:
Automated Diagnosis for Digital Circuits.
373-379 BibTeX
- Boris Bekjarov, Antony Popov, Ognyan Katov:
Collision-Free Movement Planning for Robot Manipulators.
381-388 BibTeX
- Eugène Chouraqui, Carlo Ingilterra, Jean Véronis:
ARCHIMEDES: An Intelligent Geometry Tutoring System.
389-396 BibTeX
- George I. Sharkov, Dimiter S. Dimitrov:
Knowledge-Based Systems in Biophysics: Applications to Research in Neurobiology of Aging and Medicine.
397-404 BibTeX
- Jana Dudová, Miroslav Galbavý, Lubomír Harach, Frantisek Zboray:
The Object Oriented Expert System - URBANEX.
405-413 BibTeX
- Roar A. Fjellheim, Per-Olav Opdahl:
An Expert System for Quality Control in Paper Production.
415-423 BibTeX
- Odd Jarl Borch, Gunnar Hartvigsen:
STRATEX - A Knowledge-Based System for Export of Fish and Fish Products.
425-432 BibTeX
- Ivan Plander:
The Complex Scientific Project Knowledge Processing Systems within the Context of Artificial Intelligence Theory and New Generation Computer Systems Projects.
433-441 BibTeX
Copyright © Sat May 16 22:57:18 2009
by Michael Ley (ley@uni-trier.de)
