Abstract is missing.
- Artificial Intelligence in EuropeWolfgang Bibel. 3-10
- Artificial Intelligence and Computer Simulation of Scientific DiscoveriesBoris Petkoff. 19-34
- Unified Theory of Knowledge RepresentationBrian H. Mayoh. 35-46
- Program Synthesis By Analogy- A Two-Phased ApproachKlaus P. Jantke. 67-75
- Towards a Theory of Knowledge Representation SystemsUlrich Furbach, Gerhard Dirlich, Christian Freksa. 77-84
- From Logic to Logic ProgrammingMichel de Rougemont. 85-92
- FP2: Functional Parallel Programming Based on Term SubstitutionPhilippe Jorrand. 95-112
- Program Synthesis Through Problem Splitting: A Method for Subproblem CharacterizationRamon Brena, Ricardo Caferra, Bertram Fronhöfer, Christian Gresse, Philippe Jacquet, Marie-Laure Potet. 113-120
- An Implementation of a Theorem Prover Based on the Connection MethodElmar Eder. 121-128
- INTEXP- A Domain-Independent Expert SystemIoan Georgescu, A. Hotaran, R. Predescu, M. Vlasiu, F. Petrescu, D. Nicolaita, A. Nagy. 129-135
- DIGS: A Domain Independent Expert System for Technical Diagnostics Vassil Stoyanov Sgurev, Danail Dochev, Christo Dichev, Genadi Agre, Zdravko Markov. 137-144
- Posoh- The Instrumental Expert System of NL-Modules Design and ImplementationVladimir F. Khoroshevsky. 145-152
- New Empirical Results of User Studies with a Domain Independent Natural Language Query SystemMatthias Jarke, Jürgen Krause. 153-159
- Syntax and Semantics for Natuarl Language ProcessingGiovanni Adorni, Amedeo Cappelli, Giacomo Ferrari, Lorenzo Moretti, Irina Prodanof. 161-168
- On Experimental Linguistic Processors for Man-Computer Dialogue in BulgarianRadoslav Pavlov, Galia Angelova, Elena Paskaleva. 169-174
- IURES: A Human Engineering Approach to Natuarl LanguageDan Tufis, Dan Cristea. 177-184
- On an Implementation of the ATNL-LanguageIrina Nenova. 185-189
- Space Representation and Object Positioning in Natural Language Driven Image GenerationMauro Di Manzo, Fausto Giunchiglia, Ernesto Pino. 207-214
- 3-D Object Recognition - Preprocessing of Structurally Illuminated Scenes and Interpretation with Location ConstraintsG. Stanke, P. Florath. 215-222
- Sculptor-2: Representing, Generating and Editing Smooth Planar ShapesLina Massone, Pietro Morasso. 223-229
- Logic Programming on Reduction/Dataflow MachinesSalvatore Gaglio, Giuseppe Marino, Renato Zaccaria. 231-239
- Architecture and Applications of Parallel Computer for Artificial IntelligenceDimiter R. Avresky, S. Marinov, N. Patchev, S. Ovcharov, G. Slavov. 241-247