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

Fritz Wysotzki: Program Synthesis by Hierarchical Planning. 3-11
Herve Perdrix: Program Synthesis from Specification. 13-20
Stefan Bayerl, M. Breu, S. Heilmeier, K. Lichtenwalder: An Implemented Simulation of a Parallel Theorem Prover. 21-28
Stefan Bayerl, Elmar Eder, Franz J. Kurfess, Reinhold Letz, Johann Schumann: An Implementation of a PROLOG-like Theorem Prover based on the Connection Method. 29-36

AI Programming and Architectures

Marie-Claude Gaudel: Logic Programming and Automatization of Software Test Strategies. 39-45
Zdravko Markov, Danail Dochev, Christo Dichev, Genadi Agre: An Approach to Compiling PROLOG Programs. 47-53
Claudio Arbib, Gianna Cioni: Meta-Reasoning and Data Structuring for Improving PROLOG Programming Style. 55-61
Krassimir Yalumov: The Nesy Prolog. 63-68
Elio Giovannetti, Corrado Moiso: Some Aspects of the Integration between Logic Programming and Fiunctional Programming. 69-79
Maurice Bruynooghe: Is Logic Programming ``Real'' Programming? 81-91
Vincenzo Ambriola, Giuliano Pacini, Franco Turini: The Sharing of Partial Results in Nondeterministic Computations. 93-103
Pier Giorgio Bosco, Elio Giovannetti: A Prolog-Compiled Higher-Order Functional and Logic Language. 105-116
François-Xavier Testard-Vaillant: Exceptions and Interpreters. 117-124
Ljubomir Stoitschev, Anatoly Antonov: Description of Structure and Behavior of Systems with Concurrency- A Rule-Based Approach. 125-132
Alexander S. Narin'yani: Parallelism vs Knowledge Processing. 133-139
Ioan Gergescu: An Inference Processor Based on Reactive Memory. 141-148
Alexander S. Narin'yani, Vitaly Telerman, V. E. Dmitriev: Virtual Data-Flow Machine as Vehicle of Inference/Computations in Knowledge Bases. 149-154
Krastu St. Arabadjisky: Data Flow Computation Model and Analysis of its Asynchrony. 155-162

Reasoning Systems And Applications

Roberto Barbuti, C. D'Ascanio, Franco Turini: Cooperating Logic Theories. 165-172
Willem Rosiers, Maurice Bruynooghe: Empirical Study of some Constraints Satisfaction Algorithms. 173-180
George Gargov, Slavian Radev: Expert Logics. 181-188
Vasil Vasilev: Application of Intensional Logic to the Conceptual Design of Expert Problem Solvers. 189-196
Mihai Barbuceanu, Stefan Trausan-Matu: XRL: An Evolutionary Multi-Paradigm Environment for AI Programming. 197-205
Vladimir F. Khoroshevsky: Computer Aided Design of Expert Systems- An Instrumental Approach. 207-213
Miroslaw Dabrowski, Maciej Michalewicz: Statistical and Expert Approach to Computer Data Analysis. 215-218
Dimiter S. Dimitrov, Valentin Tomov, George I. Sharkov, M. Angelova: Liposome Production and Protoplast Electrofusion Expert Systems. 219-226
Ilia Iv. Dimitrov, V. I. Velkov, S. N. Icherenski: Expert Systems for Mechanical Parts Design. 227-234
Valentin Tomov, Margarita Tacheva, Alexander Grigorov: ESIT- An Expert System for Analysis of Antique Historical-Geographical Texts about Ancient Thrace. 235-242

Knowledge Representation and Acquisition

Michel de Rougemont: On the Quantification of Knowledge. 245-253
Dimiter Vakarelov: Abstract Characterization of some Knowledge Representation Systems and the Logic NIL of Nondeterministic Information. 255-260
Vesselin I. Kirov: Conceptual Modelling Based Knowledge Representation Language. 261-270
Nur Erol, Christian Freksa: An Approach to Structuring and Formalizing Knowledge for a Design Support System. 271-279
Vassil Stoyanov Sgurev, Danail Dochev, Genadi Agre, Christo Dichev, Zdravko Markov: Knowledge Acquisition and Man-Machine Interface in the Digs Expert System. 281-287
Werner Konrad: BERGSON - toward a Knowledge Modelling Tool. 289-300
Vlad G. Dabija, Tatiana Dabija: A Parameterized Learning Environment for Implementing Expert Systems. 301-308

Natural Language Processing

Eva Hajicová: Focussing- A Meeting Point Linguistics and Artificial Intelligence. 311-321
Irina Kononenko: The Cognitive Context of Language Interaction. 323-327
S. P. Trapeznikov: The System for the Development of Linguistic Processor. 329-333
Irina Nenova: Language-Based Environment for Developing ATN-Grammars. 335-340
Lydia Sinapova, Genadi Agre: An Approach to Building a Linguistic Processor for Bulgarian Texts. 341-348
Massimo Marino, Antonella Spiezio, Giacomo Ferrari, Irina Prodanof: SAIL: A Natural Language Interface for the Building of and the Interacting with Knowledge Bases. 349-356
Heinz Marburger: A Strategy for Producing Cooperative nl Reactions in a Database Interface. 357-365
Hans-Joachim Novak, Bernd Neumann: Text Generation Based on Visual Data: Descriptions of Traffic Scenes. 367-374
Elisabeth André, Guido Bosch, Gerd Herzog, Thomas Rist: Coping with the Intrinsic and Deictic Uses of Spatial Prepositions. 375-382

Computer Vision And Robotics

Bernd Neumann: Towards Computer Aided Vision System Configuration. 385-393
Giovanni Adorni, Lina Massone: Coding Patterns. 395-402

Last update Tue May 22 03:55:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page