Abstract is missing.
- Temporal Token Calculus: a Temporal Reasoning Approach for Knowledge-BasedLluís Vila, Gonzalo Escalada-Imaz.
- Extending Explanation-Based Generalization with Metalogic ProgrammingS. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone. 16-31
- Sustained Models and Sustained Answers in First-Order DatabasesHendrik Decker, Juan Carlos Casamayor. 32-46
- Abductive Update of Deductive DatabasesGiuseppe Plagenza. 47-59
- D2: A Model for Datalog Parallel EvaluationJosé Francisco Aldana Montes, Enrique Alba, José M. Troya. 60-74
- Restricciones de integridad dinamicas en bases de datos deductivas: una aproximacion basada en logica temporalMatilde Celma, Carlos García, María Angeles Pastor. 75-87
- IDEA: Intelligent Data Retrieval in PrologCristina Ruggieri, Mirko Sancassani. 88-101
- Optimal Management of a Large Computer Network with CHIPM. Fabris, Adriano Tirabosco, C. Chiopris. 102-116
- A Debugging Model for Lazy Functional Logic LanguagesPuri Arenas-Sánchez, Ana Gil-Luezas. 117-131
- Everything buT AssignmentVincenzo Ambriola, Giovanni A. Cignoni, Laura Semini. 132-146
- Comunicacion entre objetos mediante la unificacion de canales logicosF. J. Duran, Ernesto Pimentel, José M. Troya. 147-160
- A Logic for Encapsulation in Object-Oriented LanguagesMichele Bugliesi, Hasan M. Jamil. 161-175
- Una formalizacion algebraica de la notacion objectcharts : validacion y verificacion de especificaciones orientadas a objetos de sistemas reactivosB. Grima, José Ambrosio Toval Álvarez. 176-190
- Implementation of A Term Rewriting System for Solving Process Queries in an Object-Oriented EnvironmentJaume Devesa, Jose Cuevas, Isidro Ramos. 191-205
- A Bottom-Up Interpreter for a Database Language with Updates and TransactionsElisa Bertino, Barbara Catania, Giovanna Guerrini, Maurizio Martelli, Danilo Montesi. 206-220
- Expressiveness of the Abstract Logic Programming Language Forum in Planning and ConcurrencyPaola Bruscoli, Alessio Guglielmi. 221-237
- A Babel Parallel System: VHDL Modelling for Performance MeasurementFernando Sáenz, Werner Hans, José J. Ruz, Stephan Winkler. 238-252
- On the parallel implementation of the higher order logic language lambda PrologFrancesca Arcelli Fontana, Ferrante Formato, Giulio Iannello. 253-267
- Datalog GrammarsVerónica Dahl, Paul Tarau, Yan-Nong Huang. 268-282
- Tratamiento de la ambiguedad de origen preposicional a traves de la logicaLidia Moreno, Manuel Palomar. 283-295
- Dealing with Explicit Exceptions in PrologLuigi Liquori, Maria Luisa Sapino. 296-308
- A Temporal Logic for Program SpecificationManuel Enciso, Inman P. de Guzmán, Carlos Rossi. 309-323
- A Modal Extension of Logic ProgrammingMatteo Baldoni, Laura Giordano, Alberto Martelli. 324-335
- What the Event Calculus actually does, and how to do it efficientlyIliano Cervesato, Luca Chittaro, Angelo Montanari. 336-350
- Utilizacion de la programacion funcional para la construccion de servidores en entornos heterogeneosJosé Luis Freire, Víctor M. Gulías, J. M. Molinelli. 351-365
- The IDEA User Interface: the Power of Logic Programming in GUI ImplementationsMirko Sancassani, G. Dore, Ugo Manfredi. 366-378
- A Sleeper-based Prolog Interpreter with Loop ChecksFilomena Ferrucci, Vincenzo Loia, Giuliano Pacini, Maria I. Sessa. 379-392
- Non Homomorphic Reductions of Data StructuresLuis A. Galán, Manuel Núñez, Cristóbal Pareja, Ricardo Pena. 393-407
- Amalgamating Language and Meta-language for Composing Logic ProgramsAntonio Brogi, Chiara Renso, Franco Turini. 408-422
- Generic Classes Parameterized by Data StructuresS. Clerici, R. Peña. 423-437
- TAS-D++ vs tablas semanticasGabriel Aguilera, J. L. Galan, Inman P. de Guzmán, Manuel Ojeda-Aciego. 438-439
- Gedblog: a Multi-Theories Deductive Environment to Specify Graphical InterfacesDomenico Aquilino, Patrizia Asirelli, Paola Inverardi. 440-441
- LogicSQL: Augmenting SQL with LogicUgo Manfredi, Mirko Sancassani. 442-443
- A Type Checking Tool for a Formal Specification LanguageNikos Mylonakis, J. Perez Campo. 444-445
- OASIS 2.0: An Object Definition Language for Object Oriented DatabasesOscar Pastor, Isidro Ramos, Jose Cuevas, Jaume Devesa. 446-447
- LANM, SRA y ContradiccionG. Ramos. 448-449
- Especificacion orientada a objetos desde un enfoque algebraicoJosé A. Troyano, Jesús Torres, Miguel Toro. 450-451
- Combining depth-first and breadth-first search in Prolog executionJordi Tubella, Antonio González. 452-453