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
- Yorick Wilks, Afzal Ballim:
Shifting the Belief Engine into Higher Gear.
11-20
- Mark H. Burstein, Allan M. Collins:
Modeling a Theory of Human Plausible Reasoning.
21-28
- Miroslaw Dabrowski, Maciej Michalewicz, Slawomir T. Wierzchon:
Creative Data Analysis: Rules Generation Based on ID3 Philosophy.
29-36
- Ivan Popchev, Neli Zlatareva:
A Formal Treatment of Non-Monotonic Reasoning.
37-42
- Andrzej Urbanski:
Formalizing Non-Monotonic Truth Maintenance Systems.
43-50
- Boicho N. Kokinov:
Associate Memory-Based Reasoning: How to Represent and Retrieve Cases.
51-58
- Jacques Nicholas:
Constructive Proofs for Concept Learning.
59-66
- Chris Thornton:
A Computational Model for the Data Compression Metaphor.
67-74
- Marc Ayel:
A Conceptual Model for Consistency of Knowledge Bases.
75-82
- Ramon Brena:
Parallelizing a Natural Deduction System.
83-92
- Manny Rayner, Åsa Hugosson, Annika Wærn:
Proving Correctness of Plans Considered as Procedural Programs.
93-102
- Christer Bäckström:
Action Structures with Implicit Coordination.
103-110
- Jean-Paul Arcangeli, Christian Pomian:
Plasma Pattern Compilation: a Formal Model and Some Examples.
111-120
- Cristiano Castelfranchi:
Daniela D'Aloisi, O. Stock, A. Tuozzi: Propositions in a Hybrid Knowledge Representation System.
121-127
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
- Jean-Michel Hufflen:
Parallelizing Recursive Programs.
139-148
- Mariá-Blanca Ibáñez-Espiga:
Parallel Inferencing in First Order Logic Based on the Connection Method.
149-157
- Rene Quiniou, Laurent Trilling:
Collective Predicates: Expressing Control of OR-Parallelism in Prolog.
159-167
- Bertram Fronhöfer:
Plan Schemes in PLANLOG.
169-176
- Rémy Bulot, Henri Meloni:
Processing Acoustic and Phonetic Knowledge in Prolog.
177-185
- Zdravko Markov, Th. Risse:
Prolog Based Graph Representation of Polyhedra.
187-194
- Ilia Iv. Dimitrov, O. Panev:
Object Semantics in INEX.
195-202
- Giovanni Adorni, Marco Boero, Lina Massone:
Knowledge-Based Simulation: Some Issues and a Case Study.
206-210
AI Architectures and Systems
Natural Language Processing
- Eva Hajicová:
Natural Language Processing for Expert Systems.
275-281
- Patrick Saint-Dizier:
On the Expression of Government and Binding Principles by Contextual Discontinuous Grammars.
283-290
- L. Sinapova:
Domain and Linguistic Knowledge Representation Based on Feature-value Structures.
291-297
- Per Kreuger:
A Higher Order Logic Parser for Natural Language Implemented in Lambda Prolog.
299-306
- F. Tcheou, Shunchu Qian:
An Experiment in French to Chinese Machine Translation.
307-312
- Subramanian Raman, Narayanan Alwar:
Studies on Phrase-Level Semantics as Applied to Machine Translation in Indian Languages.
313-318
- Wolfgang Menzel:
Diagnosing Grammatical Faults - A Deep-Modelled Approach.
319-326
AI Applications
- Christo Dichev, Benedict du Boulay:
A Data Tracing System for Prolog Novices.
329-336
- Ludmyl Dakowsky, Haralamby Vassilev, Ivan Momchev, Plamen Trampov, Botyo Filipov:
A Legal Model for Business Processes.
337-340
- Vassil Stoyanov Sgurev, Danail Dochev, Christo Dichev, Genadi Agre, Zdravko Markov:
Problems of Diagnostic Knowledge Processing.
341-346
- János Demetrovics, Gy. Gyepesi, László Hannák, Tibor Remzsö, F. Urbánszki:
LATOR - a Database Management System for Local Networks.
347-354
- 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
- Valery A. Tzanov, Slavka G. Trifonova:
Real-time Diagnosis in Distributed Information System.
367-372
- Alessandra Fanni, Alessandro Giua, M. G. Manca:
Automated Diagnosis for Digital Circuits.
373-379
- Boris Bekjarov, Antony Popov, Ognyan Katov:
Collision-Free Movement Planning for Robot Manipulators.
381-388
- Eugène Chouraqui, Carlo Ingilterra, Jean Véronis:
ARCHIMEDES: An Intelligent Geometry Tutoring System.
389-396
- George I. Sharkov, Dimiter S. Dimitrov:
Knowledge-Based Systems in Biophysics: Applications to Research in Neurobiology of Aging and Medicine.
397-404
- Jana Dudová, Miroslav Galbavý, Lubomír Harach, Frantisek Zboray:
The Object Oriented Expert System - URBANEX.
405-413
- Roar A. Fjellheim, Per-Olav Opdahl:
An Expert System for Quality Control in Paper Production.
415-423
- Odd Jarl Borch, Gunnar Hartvigsen:
STRATEX - A Knowledge-Based System for Export of Fish and Fish Products.
425-432
- Ivan Plander:
The Complex Scientific Project Knowledge Processing Systems within the Context of Artificial Intelligence Theory and New Generation Computer Systems Projects.
433-441
Copyright © Mon Nov 9 23:07:13 2009
by Michael Ley (ley@uni-trier.de)
