Proceedings, split paper per paper, are the following: Preface by Francesco Buccafurri. agp2003-000_Buccafurri Domenico Cantone, Calogero G. Zarba: A Decision Procedure for Monotone Functions over Lattices. APPIA-GULP-PRODE 2003: 1-12 agp2003-001_Cantone Elvira Albert, Josep Silva, Germán Vidal: Time Equations for Lazy Functional (Logic) Languages. APPIA-GULP-PRODE…
Introduction and Index agp02_intro A Functional Logic Language with Finite Domain Constraints. Antonio J. Fernández, Teresa Hortalá-González and Fernando Sáenz-Pérez agp02_07 Combining Crisp and Fuzzy Logic in a Prolog Compiler. Susana Muñoz, Claudio Vaucheret and Sergio Guadarrama agp02_23…
Accepted papers Semantics of normal logic programs with embedded implications. F. Orejas, E. Pasarella, E. Pino Proving modal and temporal properties of rewriting logic programs. I. Pita, N. Martí-Oliet Reusable Monadic Semantics of Logic Programs with Arithmetic Predicates. J. Labra…
Informal proceedings with program and abstracts: AGP2000-program Post proceedings are published in ENTCS VOL 48, 2001
XIII. V APPIA-GULP-PRODE (1998), La Coruña (Spain) 20-23 Luglio 1998 Program chairs: José Luis Freire-Nistal, Moreno Falaschi, Manuel Vilares Ferro Conference Proceedings: Invited Speakers Xavier Leroy (INRIA, France) Jaume Augustì (CSIC, Spain) Veronica Dahl (Simon Fraser University, Canada) Josè Luis…
The preface and all the papers are available from http://www.programmazionelogica.it/1997/06/xii-iv-appia-gulp-prode-1997-opacgrado-italy/
Table of contents can be retrieved from DBLP LINK The proceedings in pdf, split in files of at most 7MB are the following: 1995-Gulp-Prode-VIETRI-01-p001-p057 1995-Gulp-Prode-VIETRI-02-p058-p115 1995-Gulp-Prode-VIETRI-03-p116-p169 1995-Gulp-Prode-VIETRI-04-p170-p239 1995-Gulp-Prode-VIETRI-05-p240-p301 1995-Gulp-Prode-VIETRI-06-p302-p359 1995-Gulp-Prode-VIETRI-07-p360-p427 1995-Gulp-Prode-VIETRI-08-p428-p499 1995-Gulp-Prode-VIETRI-09-p500-p565 1995-Gulp-Prode-VIETRI-10-p566-p619 1995-Gulp-Prode-VIETRI-11-p620-p654
