GULP-PRODE 1995: Marina di Vietri, Salerno, Italy

• Krzysztof R. Apt: Arrays, Bounded Quantification and Iteration in Logic and Constraint Logic Programming. 19-36 BibTeX
• Patrick Cousot: Completeness in Abstract Interpretation. 37-38 BibTeX
• Robert A. Kowalski: Logical Foundations for Multi-agent Systems. 39-40 BibTeX
• Giorgio Levi, Marco Comini, Giuliana Vitiello: On the Abstract Diagnosis of Logic Programs. 41-60 BibTeX
• Dale Miller: Observations about Using Logic as a Specification Language. 61-70 BibTeX
• Luís Moniz Pereira: Parallel Logic Programming with Extensions. 71-88 BibTeX
• Enea Zaffanella: Domain Independent Ask Approximation in CCP. 89-100 BibTeX
• Frank S. de Boer, Maurizio Gabbrielli: Modeling Real-Time in Concurrent Constraint Programming. 101-112 BibTeX
• José Luis Freire, Basilio B. Fraguela, Víctor M. Gulías: Extending CAML Light to Perform Distributed Computation. 113-124 BibTeX
• Paolo Ciancarini, Daniela Fogli, Mauro Gaspari: A Logic Language Based on GAMMA-Like Multiset Rewriting. 125-138 BibTeX
• Kave Eshghi, M. Mowbray: Side Effect Analysis for Logic-Based Planning. 139-147 BibTeX
• Floriana Esposito, Nicola Fanizzi, Donato Malerba, Giovanni Semeraro: Downward Refinement of Hierarchical Datalog Theories. 148-159 BibTeX
• Danilo Montesi, Franco Turini: Integrity Constraints Evolution in Deductive Databases. 160-168 BibTeX
• Marilisa E. Carboni, V. Foddai, Fosca Giannotti, Dino Pedreschi: Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach. 169-182 BibTeX
• Alberto Momigliano, Mario Ornaghi: An Introduction to Regular Search Spaces. 183-194 BibTeX
• J. Humet: A Framework for a Transformational Approach to Negation. 195-206 BibTeX
• Francesco Buccafurri: Ordered Logic and its Relationships to other Logic Programming Formalisms. 207-218 BibTeX
• Alberto Bottoni: Analysis of SLDNF for Local CLP. 219-230 BibTeX
• Francesca Toni: A Semantics for the Kakas-Mancarella Procedure for Abductive Logic Programming. 231-244 BibTeX
• Francesca Arcelli Fontana, Ferrante Formato: Implementing Higher-Order Term-Rewriting for Program Transformation in lambdaProlog. 245-256 BibTeX
• Walter Dosch: The Undefined Function Differs from the Pointwise Undefined Function. 257-270 BibTeX
• Paolo Mancarella, Alessandra Raffaetà, Franco Turini: LOO: An Object Oriented Logic Programming Language. 271-282 BibTeX
• Giorgio Delzanno, Maurizio Martelli: Forum Objects. 283-294 BibTeX
• Piero A. Bonatti, Laura Giordano: Three-Valued Semantics for Extended Logic Programs. 295-306 BibTeX
• Jørgen Fischer Nilsson, Andreas Hamfelt: Constructing Logic Programs with Higher-Order Predicates. 307-312 BibTeX
• Iliano Cervesato: Petri Nets and Linear Logic: a Case Study for Logic Programming. 313-320 BibTeX
• A. Moreno, J. M. Goni: GRAMPAL: A Morphological Processor for Spanish Implemented in Prolog. 321-331 BibTeX
• Domenico Aquilino, D. Apuzzo, Patrizia Asirelli: A Declarative Approach to the Design and Realization of Graphic Interfaces. 332-346 BibTeX
• Anna Ciampolini, Evelina Lamma, Paola Mello: Improving the Efficiency of Dynamic Modular Logic Languages. 347-358 BibTeX
• Eva Ullán: Lazy Narrowing on an Abstract Machine by Means of Examples. 359-370 BibTeX
• Werner Hans, Stephan Winkler, Fernando Sáenz: Exploiting Expression- and Or-Parallelism for a Functional Logic Language. 371-382 BibTeX
• Pedro Palao, Manuel Núñez: An Effective Algorithm for Compiling Pattern Matching Keeping Laziness. 383-394 BibTeX
• Alberto Artosi, Paola Cattabriga, Guido Governatori: A Prolog Implementation of Kem. 395-400 BibTeX
• Patrick Bellot, Olivier Camp, Christophe Matiachoff: Explicit Implementation of a Constraint Solving Mechanism in a Relational Programming System. 401-408 BibTeX
• Paola Bruscoli, Alessio Guglielmi: A Linear Logic Programming Language with Parallel and Sequential Conjunction. 409-420 BibTeX
• Giuseppe Manco, Franco Turini: A Structural (Meta-Logical) Semantics for Linear Objects. 421-434 BibTeX
• Salvador Lucas: Computational Properties in Context-Sensitive Rewriting. 435-446 BibTeX
• Puri Arenas-Sánchez, Agostino Dovier: Minimal Set Unification. 447-458 BibTeX
• Cristian Papp: A Model Tree Computation of the Strong Well-Founded Semantics. 459-470 BibTeX
• José E. Gallardo, P. Guerrero, Blas C. Ruiz: Monadas para la Comunicacion de Objetos Funcionales. 471-476 BibTeX
• Carlos Gregorio-Rodríguez, M. Nunez Garcia, Pedro Palao-Gostanza: La Potencia Expresiva de los Catamorfismos. 477-484 BibTeX
• Cristóbal Pareja, Ricardo Pena, J. Ángel Velázquez-Iturbide: A Tabulation Transformation Tactic Using Haskell Arrays. 485-496 BibTeX
• Francisco José Galán Morillo, M. Toro Bonilla: Sintesis de Programas Logicos: Marco Constructivo. 497-510 BibTeX
• Pierpaolo Degano, Corrado Priami: A Transitional Semantics of Full Prolog. 511-520 BibTeX
• Giorgio Levi, Daniele Micciancio: Analysis of Pure PROLOG Programs. 521-532 BibTeX
• Marco Comini, Giorgio Levi, Maria Chiara Meo: Compositionality in SLD-derivations and their Abstractions. 533-544 BibTeX
• Francesco Scarcello, Nicola Leone, Luigi Palopoli: Curbing Theories: Fixpoint Semantics and Complexity Issues. 545-556 BibTeX
• Livio Colussi, Elena Marchiori, Massimo Marchiori: A Dataflow Semantics for Constraint Logic Programs. 557-568 BibTeX
• Ruiz-Andino Illera, J. J. Ruz Ortiz: Labeling in CLP(FD) with Evolutionary Programming. 569-580 BibTeX
• Roberto Bagnara: Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages. 581-592 BibTeX
• Juan José Moreno-Navarro, Julio García-Martín, A. del Pozo-Pietro: Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. 593-606 BibTeX
• Marco Comini, Giorgio Levi, Giuliana Vitiello: Declarative Diagnosis Revisited. 607-618 BibTeX
• Roberto Giacobazzi: Optimal Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics. 619-630 BibTeX
• Giorgio Levi, Francesca Scozzari: Contributions to a Theory of Existential Termination for Definite Logic Programs. 631-642 BibTeX
• Dino Pedreschi, Salvatore Ruggieri: A Case Study in Logic Program Verification: the Vanilla Metainterpreter. 643-654 BibTeX