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

Systems

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

Applications

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