Abstract is missing.
- Constraint Logic Programming: Theory, Domain and ApplicationsPedro Barahona. 3-12
- Algebraic Methods for the Study of Module Constructs in Logic ProgrammingFernando Orejas. 13-16
- Call-By Name Partial Evaluation of Functional Logic ProgramsMaría Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal. 17-28
- Sharing Analysis for Logic Programs using Set Logic ProgramsMichael Codish, Vitaly Lagoon, Francisco Bueno. 29-40
- Layered ModesSandro Etalle, Maurizio Gabbrielli. 41-52
- Optimization of Disjunctive Abstract InterpretationsRoberto Giacobazzi, Francesco Ranzato. 53-66
- Implementing Distributed Concurrent Constraint Execution in the CIAO SystemDaniel Cabeza, Manuel V. Hermenegildo. 67-78
- An LALR Extension for DCGs in Dynamic ProgrammingManuel Vilares Ferro, Miguel Angel Alonso Pardo. 79-88
- An Implementation Kernel for Theorem Proving with Equality ClausesRobert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo. 89-104
- The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP SystemsManuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla. 105-110
- Equational Logic and Theories of ActionSteffen Hölldobler. 111-126
- Recursively Defined Term OrdersM. C. F. Ferreira. 127-138
- Semantic Tableaux for a Logic with Preorders and Dynamic SortsPedro J. Martín, Antonio Gavilanes. 139-154
- Proofs as Computations in Linear LogicGiorgio Delzanno, Maurizio Martelli. 155-166
- Inclusional Theories in Declarative ProgrammingW. Marco Schorlemmer, Jaume Agustí-Cullell. 167-178
- On Quantified Negatives QueriesAlessandra Di Pierro, Wlodzimierz Drabent. 179-190
- On Extended Logic Languages supporting Program StructuringR. Arruabarrena, Marisa Navarro. 191-206
- Comsumption-based Distributed UnificationEvelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck. 207-218
- Towards High-Order Distribution in Functional LanguagesVíctor M. Gulías, Juan J. Quintela, José Luis Freire. 219-232
- Efficient Producer/Consumer Parallelism in Logic ProgrammingRamiro Varela, Camino R. Vela, Jorge Puente. 233-244
- Functional Skeletons Generate Process Topologies in EdenLuis A. Galán, Cristóbal Pareja, Ricardo Pena. 245-258
- A Denotational Semantics for Needed NarrowingMichael Hanus, Salvador Lucas. 259-270
- Unfounded Sets and Partial Stable Models for Disjuntive Deductive DatabasesThomas Eiter, Nicola Leone, Domenico Saccà. 271-282
- Computing Disjunctive Ordered LogicFrancesco Buccafurri, Nicola Leone, Pasquale Rullo. 283-294
- Analyzing and Animating Declarative SpecificationsStelvio Cimato, Cecilia Mascolo. 295-308
- Calculi of Explicit Substitutions: New ResultsPierre Lescanne. 309-328
- Extending Datalog with Choice and Weak ConstraintsSergio Greco. 329-340
- Implementation of Chain Logic QueriesSergio Greco, Eugenio Spadafora. 341-354
- The And-compositionality of CLP Computed Answer ConstraintsRoberto Bagnara, Marco Comini, Francesca Scozzari, Enea Zaffanella. 355-366
- Modular Analysis of Suspension Free cc ProgramsEnea Zaffanella. 367-378
- Declarative Incorrectness Diagnosis in Constraint Logic ProgrammingF. Le Berre, Alexandre Tessier. 379-390
- On Termination of Constraint Logic ProgramsSalvatore Ruggieri. 391-406
- Programming by CalculationRob R. Hoogerwoord. 407-426
- Adding Type Classes to Functional-Logic LanguagesJuan José Moreno-Navarro, Julio Mariño, A. del Pozo-Pietro, Ángel Herranz-Nieva, Julio García-Martín. 427-438
- Type Inference and Checking for POS-typed Funtional Logic ProgramsJesús Manuel Almendros-Jiménez. 439-450
- Real Constraints within a Functional Logic LanguagePuri Arenas-Sánchez, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Eva Ullán. 451-464
- Abstract Interpretation for Uniform Proof SystemsPaolo Volpe. 465-480
- Accurate Analysis of Prolog with cutGiorgio Levi, Fausto Spoto. 481-492
- Straight ROBDDs are not the Best for PosRoberto Bagnara. 493-498
- Modules and SpecificationsVasco Pedro, Luís Monteiro. 499-510
- Handling Calls to Missing PredicatesJ. Baptista, Luís Monteiro. 511-522
- Enhancing Constraint Logic Programming through Meta ProgrammingEvelina Lamma, Paola Mello, Michela Milano. 523-534
- Specialising Meta-level Compositions of Logic ProgramsAntonio Brogi, Simone Contiero. 535-548
- Reasoning about Concurrent Actions and ObservationsRenwei Li, Luís Moniz Pereira. 549-560
- Executing Intensional Logic with the TAS ToolManuel Enciso, J. F. Moncada, Inman P. de Guzmán, Manuel Ojeda-Aciego. 561-566
- Modeling Object Dynamics in Object-Oriented Logic ProgrammingGiuseppe Manco, Alessandra Raffaetà, Franco Turini. 567-580
- Clasificacion de Objetos Funcionales en Entornos ConcurrentesBlas C. Ruiz, José E. Gallardo, P. Guerrero, Francisco Gutiérrez. 581-584