2. AIMSA 1986:
Varna,
Bulgaria
Philippe Jorrand,
Vasil Sgurev (Eds.):
Artificial Intelligence II:
Methodology,
Systems,
Applications - Proceedings of the Second International Conference on Artificial Intelligence:
Methodology,
Systems,
Applications (AIMSA '86),
Varna,
Bulgaria,
16-19 September,
1986. North-Holland,
1987,
ISBN 0-444-70205-9
Fundamentals Of Artificial Intellegence
AI Programming and Architectures
- Marie-Claude Gaudel:
Logic Programming and Automatization of Software Test Strategies.
39-45 BibTeX
- Zdravko Markov, Danail Dochev, Christo Dichev, Genadi Agre:
An Approach to Compiling PROLOG Programs.
47-53 BibTeX
- Claudio Arbib, Gianna Cioni:
Meta-Reasoning and Data Structuring for Improving PROLOG Programming Style.
55-61 BibTeX
- Krassimir Yalumov:
The Nesy Prolog.
63-68 BibTeX
- Elio Giovannetti, Corrado Moiso:
Some Aspects of the Integration between Logic Programming and Fiunctional Programming.
69-79 BibTeX
- Maurice Bruynooghe:
Is Logic Programming ``Real'' Programming?
81-91 BibTeX
- Vincenzo Ambriola, Giuliano Pacini, Franco Turini:
The Sharing of Partial Results in Nondeterministic Computations.
93-103 BibTeX
- Pier Giorgio Bosco, Elio Giovannetti:
A Prolog-Compiled Higher-Order Functional and Logic Language.
105-116 BibTeX
- François-Xavier Testard-Vaillant:
Exceptions and Interpreters.
117-124 BibTeX
- Ljubomir Stoitschev, Anatoly Antonov:
Description of Structure and Behavior of Systems with Concurrency- A Rule-Based Approach.
125-132 BibTeX
- Alexander S. Narin'yani:
Parallelism vs Knowledge Processing.
133-139 BibTeX
- Ioan Gergescu:
An Inference Processor Based on Reactive Memory.
141-148 BibTeX
- Alexander S. Narin'yani, Vitaly Telerman, V. E. Dmitriev:
Virtual Data-Flow Machine as Vehicle of Inference/Computations in Knowledge Bases.
149-154 BibTeX
- Krastu St. Arabadjisky:
Data Flow Computation Model and Analysis of its Asynchrony.
155-162 BibTeX
Reasoning Systems And Applications
- Roberto Barbuti, C. D'Ascanio, Franco Turini:
Cooperating Logic Theories.
165-172 BibTeX
- Willem Rosiers, Maurice Bruynooghe:
Empirical Study of some Constraints Satisfaction Algorithms.
173-180 BibTeX
- George Gargov, Slavian Radev:
Expert Logics.
181-188 BibTeX
- Vasil Vasilev:
Application of Intensional Logic to the Conceptual Design of Expert Problem Solvers.
189-196 BibTeX
- Mihai Barbuceanu, Stefan Trausan-Matu:
XRL: An Evolutionary Multi-Paradigm Environment for AI Programming.
197-205 BibTeX
- Vladimir F. Khoroshevsky:
Computer Aided Design of Expert Systems- An Instrumental Approach.
207-213 BibTeX
- Miroslaw Dabrowski, Maciej Michalewicz:
Statistical and Expert Approach to Computer Data Analysis.
215-218 BibTeX
- Dimiter S. Dimitrov, Valentin Tomov, George I. Sharkov, M. Angelova:
Liposome Production and Protoplast Electrofusion Expert Systems.
219-226 BibTeX
- Ilia Iv. Dimitrov, V. I. Velkov, S. N. Icherenski:
Expert Systems for Mechanical Parts Design.
227-234 BibTeX
- Valentin Tomov, Margarita Tacheva, Alexander Grigorov:
ESIT- An Expert System for Analysis of Antique Historical-Geographical Texts about Ancient Thrace.
235-242 BibTeX
Knowledge Representation and Acquisition
Natural Language Processing
Computer Vision And Robotics
Copyright © Sat May 16 22:57:18 2009
by Michael Ley (ley@uni-trier.de)
