Abstract is missing.
- Knowledge, Belief and User ModellingJohn A. Self. 3-9
- Modeling a Theory of Human Plausible ReasoningMark H. Burstein, Allan M. Collins. 21-28
- Creative Data Analysis: Rules Generation Based on ID3 PhilosophyMiroslaw Dabrowski, Maciej Michalewicz, Slawomir T. Wierzchon. 29-36
- Associate Memory-Based Reasoning: How to Represent and Retrieve CasesBoicho N. Kokinov. 51-58
- A Conceptual Model for Consistency of Knowledge BasesMarc Ayel. 75-82
- Parallelizing a Natural Deduction SystemRamon Brena. 83-92
- Proving Correctness of Plans Considered as Procedural ProgramsManny Rayner, Åsa Hugosson, Annika Wærn. 93-102
- Action Structures with Implicit CoordinationChrister Bäckström. 103-110
- Plasma Pattern Compilation: a Formal Model and Some ExamplesJean-Paul Arcangeli, Christian Pomian. 111-120
- Daniela D Aloisi, O. Stock, A. Tuozzi: Propositions in a Hybrid Knowledge Representation SystemCristiano Castelfranchi. 121-127
- Parallelizing Recursive ProgramsJean-Michel Hufflen. 139-148
- Parallel Inferencing in First Order Logic Based on the Connection MethodMariá-Blanca Ibáñez-Espiga. 149-157
- Collective Predicates: Expressing Control of OR-Parallelism in PrologRene Quiniou, Laurent Trilling. 159-167
- Processing Acoustic and Phonetic Knowledge in PrologRémy Bulot, Henri Meloni. 177-185
- Prolog Based Graph Representation of PolyhedraZdravko Markov, Th. Risse. 187-194
- Knowledge-Based Simulation: Some Issues and a Case StudyGiovanni Adorni, Marco Boero, Lina Massone. 206-210
- A Multiprocessor Architecture for Inference Systems: Design and EvaluationP. Arratibel, Marie Pierre Gleizes, Pierre Glize, Christian Percebois. 213-221
- ACCORD: A Metamodel for the II Generation Expert SystemsBoris Petkoff. 229-238
- A supervision System in Computer Integrated ManufacturingJacqueline Ayel. 239-246
- An Architecture of Coupling Logic Programming Systems with Relational Database SystemsAtanas I. Terziev, Borislav K. Slavov. 247-253
- Improvement of Pattern-Matching Net Efficiency through working Memory Organization and Join NodesHerve Philippe. 255-264
- Natural Language Processing for Expert SystemsEva Hajicová. 275-281
- On the Expression of Government and Binding Principles by Contextual Discontinuous GrammarsPatrick Saint-Dizier. 283-290
- A Higher Order Logic Parser for Natural Language Implemented in Lambda PrologPer Kreuger. 299-306
- Diagnosing Grammatical Faults - A Deep-Modelled ApproachWolfgang Menzel. 319-326
- A Data Tracing System for Prolog NovicesChristo Dichev, Benedict du Boulay. 329-336
- Problems of Diagnostic Knowledge ProcessingVassil Stoyanov Sgurev, Danail Dochev, Christo Dichev, Genadi Agre, Zdravko Markov. 341-346
- LATOR - a Database Management System for Local NetworksJános Demetrovics, Gy. Gyepesi, László Hannák, Tibor Remzsö, F. Urbánszki. 347-354
- An Intelligent Information System or the Cooperation of a Natural Language Full Text Retrieval System and a Decision Support SystemC. Soulé-Dupuy. 355-365
- Automated Diagnosis for Digital CircuitsAlessandra Fanni, Alessandro Giua, M. G. Manca. 373-379
- ARCHIMEDES: An Intelligent Geometry Tutoring SystemEugène Chouraqui, Carlo Ingilterra, Jean Véronis. 389-396
- Knowledge-Based Systems in Biophysics: Applications to Research in Neurobiology of Aging and MedicineGeorge I. Sharkov, Dimiter S. Dimitrov. 397-404
- STRATEX - A Knowledge-Based System for Export of Fish and Fish ProductsOdd Jarl Borch, Gunnar Hartvigsen. 425-432