Abstract is missing.
- Hybrid Knowledge Bases for Intelligent Reasoning SystemsV. S. Subrahmanian. 3-20
- A Unification-Free Introduction to Logic ProgrammingR. Di Meglio, Vladimiro Sassone. 21-38
- Chemical Logic Programming?Alessio Guglielmi, G. Levi. 39-54
- Che Genere di Insiemi/Multi-insiemi/Iper-insiemi Incorporare nella Programazione Logica?Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi. 55-70
- Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLPAgostino Dovier, Gianfranco Rossi. 71-86
- Adding Set Terms to Ordered Logic ProgramsNicola Leone, Pasquale Rullo. 87-100
- A General Framework to Deal with Sets of One-Dimensional IntervalsRoberto Giaccio, Maurizio Talamo. 101-110
- CLP(B): Do it YourselfMarc-Michel Corsini, Antoine Rauzy. 111-125
- Using Narrowing Approximations to Optimize Equational Logic ProgramsMaría Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal. 127-142
- An Implementation of Equational Constructive NegationJ. Piris, María José Ramírez. 143-156
- A Prototype Compiler for Prolog with Boolean ConstraintsGiovanna M. Dore, Philippe Codognet. 157-172
- Language Issues and Programming Techniques in BinPrologPaul Tarau. 173-188
- A WAM Estesa per la Composizione di Programi LogiciA. Chiarelli, V. Mazzotta, Chiara Renso. 189-202
- A WAM Implementation for the Logic Meta Programming Language LogIliano Cervesato, Gianfranco Rossi. 203-214
- A Prolog-like Paradigm for Reasoning in First-Order TheoriesHendrik Decker, Juan Carlos Casamayor. 217-236
- Parlog Programs Nontermination AnalysisMaría-del-Mar Gallardo, José M. Troya. 237-250
- Comparison and design of abstract domains for sharing analysisAgostino Cortesi, Gilberto Filé. 251-266
- Abstract Interpretation of Concurrent Languages based on Linear LogicJean-Marc Andreoli, Tiziana Castagnetti, Remo Pareschi. 267-284
- Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective PrologD. Concari, Stefania Costantini, Gaetano Aurelio Lanzarone. 285-300
- A Completeness Result for SLDNF-ResolutionBruno Bertolino, M. Mowbray. 301-308
- Amalgamating NAF with NAIAlessandra Di Pierro. 309-324
- Static Analysis of Prolog with CutGilberto Filé, Sabina Rossi. 325-340
- La Terminazione di Prolog Modellata in un Linguaggio Logico con VincoliRoberto Barbuti, E. Bellugi, Mauro Gaspari, Roberto Giacobazzi. 341-358
- Intensional Negation in Constraint Logic ProgramsPaola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo. 359-374
- Computing in the CompletionAlberto Bottoni, Giorgio Levi. 375-392
- Logic Programming by ExamplesFrancesco Bergadano, Daniele Gunetti. 393-405
- Reasoning about discrete processes in a logic programming frameworkL. Chitaro, Angelo Montanari. 407-422
- Defeasible Arguments in a Logic Programming ModelGiovanni Sartor. 423-440
- Expressive Power of Query LanguagesSerge Abiteboul, Victor Vianu. 441-468
- Calcolo del Modello Well-Founded di Programmi DatalogFrancesco Scarcello. 469-484
- Deduccion del Conjunto de Condiciones Independiente de la Transaccion que Violan las Restricciones de Integridad de una Base de datos DeductivaSalvador Villena, Emilia Ruiz, Cecilia Delgado, Buenaventura Clares Rodríguez. 485-500
- Formalizzazione e Ottimizzazione di Transazioni di modifica in CLP(AD)Elisa Bertino, Barbara Catania, Giovanna Guerrini, Maurizio Martelli, Danilo Montesi. 501-518
- Safeguarding the Venice Lagoon: Ann Aplication of a Knowledge-Based DSSKees Schuerman, André Véron. 519-534
- Exploiting Logic Programming in Robot ApplicationsAntonio Natali, Andrea Omicini, Francesco Zanichelli. 535-548
- Abductive Proof Procedures for Fault DiagnosisF. Levi, C. Menchini. 549-568
- A Correctness Proof for Warren s HO into FO TranslationJuan Carlos González Moreno. 569-584
- Gondor: Godel on AndorraA. Domenici. 585-600
- Completeness of some Transformation Strategies for Avoiding Unncecessary Logical VariablesMaurizio Proietti, Alberto Pettorossi. 601-616
- A New Fixpoint Semantics for PrologAnnalisa Bossi, Michele Bugliesi, Massimo Fabris. 617-632
- An Operational Semantics for CHIPGilberto Filé, Giuseppe Nardiello, Adriano Tirabosco. 633-648
- A Note on Logic Programming Fixed-Point SemanticsVladimiro Sassone. 649-662
- Modular Logic Programs on Finite DomainsMaurizio Gabbrielli, Roberto Giacobazzi, Danilo Montesi. 663-678