1. AIMSA 1984: Varna, Bulgaria

Wolfgang Bibel, B. Petkoff (Eds.): Artificial Intelligence: Methodology, Systems, Applications - Proceedings of the International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA '84), Varna, Bulgaria, 17-20 September, 1984. North-Holland, 1985, ISBN 0-444-87743-6

Methodology

Wolfgang Bibel: Artificial Intelligence in Europe. 3-10
A. Polikarov: Methodological Problems and Approaches in Artificial Intelligence. 11-17
Boris Petkoff: Artificial Intelligence and Computer Simulation of Scientific Discoveries. 19-34
Brian H. Mayoh: Unified Theory of Knowledge Representation. 35-46
Ioan Georgescu: The Hypernets Method For Representing Knowledge. 47-58
Erik Tengvald: Reducing Design Complexity, or: Why Does AI Work? 59-66
Klaus P. Jantke: Program Synthesis By Analogy- A Two-Phased Approach. 67-75
Ulrich Furbach, Gerhard Dirlich, Christian Freksa: Towards a Theory of Knowledge Representation Systems. 77-84
Michel de Rougemont: From Logic to Logic Programming. 85-92

Systems

Philippe Jorrand: FP2: Functional Parallel Programming Based on Term Substitution. 95-112
Ramon Brena, Ricardo Caferra, Bertram Fronhöfer, Christian Gresse, Philippe Jacquet, Marie-Laure Potet: Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization. 113-120
Elmar Eder: An Implementation of a Theorem Prover Based on the Connection Method. 121-128
Ioan Georgescu, A. Hotaran, R. Predescu, M. Vlasiu, F. Petrescu, D. Nicolaita, A. Nagy: INTEXP- A Domain-Independent Expert System. 129-135
Vassil Stoyanov Sgurev, Danail Dochev, Christo Dichev, Genadi Agre, Zdravko Markov: DIGS: A Domain Independent Expert System for Technical Diagnostics . 137-144
Vladimir F. Khoroshevsky: Posoh- The Instrumental Expert System of NL-Modules Design and Implementation. 145-152
Matthias Jarke, Jürgen Krause: New Empirical Results of User Studies with a Domain Independent Natural Language Query System. 153-159
Giovanni Adorni, Amedeo Cappelli, Giacomo Ferrari, Lorenzo Moretti, Irina Prodanof: Syntax and Semantics for Natuarl Language Processing. 161-168
Radoslav Pavlov, Galia Angelova, Elena Paskaleva: On Experimental Linguistic Processors for Man-Computer Dialogue in Bulgarian. 169-174

Applications

Dan Tufis, Dan Cristea: IURES: A Human Engineering Approach to Natuarl Language. 177-184
Irina Nenova: On an Implementation of the ATNL-Language. 185-189
Valentin Tomov, Stephen Sahno: Experimental System for Recognition and Classification of Archaelogical Ceramics. 191-198
Ivan Popchev, Neli Zlatareva: An Expert System in Reliability- Structure and Knowledge Representation. 199-205
Mauro Di Manzo, Fausto Giunchiglia, Ernesto Pino: Space Representation and Object Positioning in Natural Language Driven Image Generation. 207-214
G. Stanke, P. Florath: 3-D Object Recognition - Preprocessing of Structurally Illuminated Scenes and Interpretation with Location Constraints. 215-222
Lina Massone, Pietro Morasso: Sculptor-2: Representing, Generating and Editing Smooth Planar Shapes. 223-229
Salvatore Gaglio, Giuseppe Marino, Renato Zaccaria: Logic Programming on Reduction/Dataflow Machines. 231-239
Dimiter R. Avresky, S. Marinov, N. Patchev, S. Ovcharov, G. Slavov: Architecture and Applications of Parallel Computer for Artificial Intelligence. 241-247