Abstract is missing.
- Program Synthesis by Hierarchical PlanningFritz Wysotzki. 3-11
- Program Synthesis from SpecificationHerve Perdrix. 13-20
- An Implemented Simulation of a Parallel Theorem ProverStefan Bayerl, M. Breu, S. Heilmeier, K. Lichtenwalder. 21-28
- An Implementation of a PROLOG-like Theorem Prover based on the Connection MethodStefan Bayerl, Elmar Eder, Franz J. Kurfess, Reinhold Letz, Johann Schumann. 29-36
- Logic Programming and Automatization of Software Test StrategiesMarie-Claude Gaudel. 39-45
- An Approach to Compiling PROLOG ProgramsZdravko Markov, Danail Dochev, Christo Dichev, Genadi Agre. 47-53
- Meta-Reasoning and Data Structuring for Improving PROLOG Programming StyleClaudio Arbib, Gianna Cioni. 55-61
- Some Aspects of the Integration between Logic Programming and Fiunctional ProgrammingElio Giovannetti, Corrado Moiso. 69-79
- Is Logic Programming Real Programming?Maurice Bruynooghe. 81-91
- The Sharing of Partial Results in Nondeterministic ComputationsVincenzo Ambriola, Giuliano Pacini, Franco Turini. 93-103
- A Prolog-Compiled Higher-Order Functional and Logic LanguagePier Giorgio Bosco, Elio Giovannetti. 105-116
- Exceptions and InterpretersFrançois-Xavier Testard-Vaillant. 117-124
- Description of Structure and Behavior of Systems with Concurrency- A Rule-Based ApproachLjubomir Stoitschev, Anatoly Antonov. 125-132
- Parallelism vs Knowledge ProcessingAlexander S. Narin yani. 133-139
- Virtual Data-Flow Machine as Vehicle of Inference/Computations in Knowledge BasesAlexander S. Narin yani, Vitaly Telerman, V. E. Dmitriev. 149-154
- Data Flow Computation Model and Analysis of its AsynchronyKrastu St. Arabadjisky. 155-162
- Cooperating Logic TheoriesRoberto Barbuti, C. D Ascanio, Franco Turini. 165-172
- Empirical Study of some Constraints Satisfaction AlgorithmsWillem Rosiers, Maurice Bruynooghe. 173-180
- Application of Intensional Logic to the Conceptual Design of Expert Problem SolversVasil Vasilev. 189-196
- XRL: An Evolutionary Multi-Paradigm Environment for AI ProgrammingMihai Barbuceanu, Stefan Trausan-Matu. 197-205
- Computer Aided Design of Expert Systems- An Instrumental ApproachVladimir F. Khoroshevsky. 207-213
- Statistical and Expert Approach to Computer Data AnalysisMiroslaw Dabrowski, Maciej Michalewicz. 215-218
- Liposome Production and Protoplast Electrofusion Expert SystemsDimiter S. Dimitrov, Valentin Tomov, George I. Sharkov, M. Angelova. 219-226
- Expert Systems for Mechanical Parts DesignIlia Iv. Dimitrov, V. I. Velkov, S. N. Icherenski. 227-234
- ESIT- An Expert System for Analysis of Antique Historical-Geographical Texts about Ancient ThraceValentin Tomov, Margarita Tacheva, Alexander Grigorov. 235-242
- On the Quantification of KnowledgeMichel de Rougemont. 245-253
- Abstract Characterization of some Knowledge Representation Systems and the Logic NIL of Nondeterministic InformationDimiter Vakarelov. 255-260
- Conceptual Modelling Based Knowledge Representation LanguageVesselin I. Kirov. 261-270
- An Approach to Structuring and Formalizing Knowledge for a Design Support SystemNur Erol, Christian Freksa. 271-279
- Knowledge Acquisition and Man-Machine Interface in the Digs Expert SystemVassil Stoyanov Sgurev, Danail Dochev, Genadi Agre, Christo Dichev, Zdravko Markov. 281-287
- BERGSON - toward a Knowledge Modelling ToolWerner Konrad. 289-300
- A Parameterized Learning Environment for Implementing Expert SystemsVlad G. Dabija, Tatiana Dabija. 301-308
- Focussing- A Meeting Point Linguistics and Artificial IntelligenceEva Hajicová. 311-321
- The System for the Development of Linguistic ProcessorS. P. Trapeznikov. 329-333
- Language-Based Environment for Developing ATN-GrammarsIrina Nenova. 335-340
- An Approach to Building a Linguistic Processor for Bulgarian TextsLydia Sinapova, Genadi Agre. 341-348
- SAIL: A Natural Language Interface for the Building of and the Interacting with Knowledge BasesMassimo Marino, Antonella Spiezio, Giacomo Ferrari, Irina Prodanof. 349-356
- A Strategy for Producing Cooperative nl Reactions in a Database InterfaceHeinz Marburger. 357-365
- Text Generation Based on Visual Data: Descriptions of Traffic ScenesHans-Joachim Novak, Bernd Neumann. 367-374
- Coping with the Intrinsic and Deictic Uses of Spatial PrepositionsElisabeth André, Guido Bosch, Gerd Herzog, Thomas Rist. 375-382
- Towards Computer Aided Vision System ConfigurationBernd Neumann. 385-393
- Coding PatternsGiovanni Adorni, Lina Massone. 395-402