Abstract is missing.
- Efficient Processing of Declarative Rule-Based Languages for DatebasesCarlo Zaniolo. 1-16
- Has Dedicated Hardware for Prolog a Future?Michel Dorochevsky, Jacques Noyé, Oliver Thibault. 17-31
- Commercial Applications of Large Prolog Knowledge BasesChris Moss. 32-40
- Compiling Conceptual GraphsGerard Ellis. 41-55
- Subsumption in Knowledge GraphsMark Willems. 56-66
- A Terminological Knowledge Representation System with Complete Inference AlgorithmsFranz Baader, Bernhard Hollunder. 67-86
- An Introduction to Dynamic Concept SystemsHerbert Jaeger. 87-106
- Querying Concept-based Knowledge BasesMaurizio Lenzerini, Andrea Schaerf. 107-123
- Subsumption Computation on an Object-Oriented Data ModelAlessandro Artale, Francesca Cesarini, Giovanni Soda. 124-140
- A Concise Presentation of ITLNicola Guarino. 141-160
- Distributed Disjunctions for LIFERolf Backofen, Lutz Euler, Günther Görz. 161-170
- Reasoning with Maximal Time IntervalsCristina Ribeiro, António Porto. 171-178
- Nonclassical Models for Logic ProgramsValentinas Kriauciukas. 179-190
- Logical Operational Semantics of Parlog, Part I: And-ParallelismEgon Börger, Elvinia Riccobene. 191-198
- A Tool for Building Connectionist-like Networks Based on Term UnificationZdravko Markov. 199-213
- Providing Declarative Access to a Processing System for Satellite Image DataWolf-Fritz Riekert. 214-220
- Declarative Functionality Descriptions of Interactive Reasoning ModulesJan Treur. 221-236
- Rule-Aided Constraint Resolution in LAUREYves Caseau. 237-256
- Flang: A Functional-Logic LanguageAndrei Mantsivoda. 257-270
- Processing Functional Definitions as Declarative Knowledge: A Reduced Bytecode Implementation of a Functional Logic MachinePierre E. Bonzon. 271-278
- Reducing Scheduling Overheads for Concurrent Logic ProgramsAndy King, Paul Soper. 279-286
- A General Framework for Knowledge CompilationHenry A. Kautz, Bart Selman. 287-300
- Data-driven Transformation of Meta-interpreters: A SketchYannis Cosmadopoulos, Marek J. Sergot, Richard W. Southwick. 301-308
- Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized VersionsMaurice Bruynooghe, Veroniek Dumortier, Gerda Janssens. 309-317
- Parallelizing Prolog on Shared-Memory MultiprocessorsYaoqing Gao, Dingxing Wang, Qiu Xiaolin, Zhiyi Hwang, Shouren Hu. 318-335
- Processing Abductive Reasoning via Contextual Logic ProgrammingEvelina Lamma, Paola Mello. 336-343
- Efficient Implementation of Narrowing and RewritingMichael Hanus. 344-365
- TIM: The Toulouse Inference Machine for Non-Classical Logic ProgrammingPhilippe Balbiani, Andreas Herzig, Mamede Lima-Marques. 366-382
- Declarative and Procedural Paradigms - Do they Really Compete? (Panel)Harold Boley, Micha Meier, Chris Moss, Michael M. Richter, Andrei Voronkov. 383-398
- The GCLA II Programming LanguageMartin Aronsson, Lars-Henrik Eriksson. 399-401
- A Brief Description of the PROTOS-L SystemChristoph Beierle, Gregor Meyer, Heiner Semle. 402-404
- PCPL - PROLOG Constraint Processing Library Version 2.0Stefan Fricke, Manfred Hein. 405-407
- A Mini-Description of the ITL SystemNicola Guarino. 408-410
- TAXON: A Concept Language with Concrete DomainsPhilipp Hanschke, Andreas Abecker, Dennis Drollinger. 411-413
- The ALF System: An Efficient Implementation of a Functional Logic LanguageMichael Hanus. 414-416
- Transforming Horn Clauses for Forward ReasoningKnut Hinkelmann, Martin Harm, Thomas Labisch. 417-419
- Implementation of the Functional-Logic Language FlangAndrei Mantsivoda, Vyacheslav Petukhin. 420-421
- SEPIA 3: 0 - An Extensible Prolog SystemMicha Meier, Joachim Schimpf. 422-424
- FIDO: Exploring Finite Domain Consistency Techniques in Logic ProgrammingManfred Meyer, Jörg P. Müller, Stefan Schrödl. 425-427