First International Summer School in Computational Logic ISCL 2000 (org: Sandro Etalle and Maurizio Gabbrielli) [BNVKI newsletter 17 (6), Dec. 2000, p. 14]
Theory-based resolution and automated set reasoning
By Andrea Formisano Università di Roma La Sapienza (consorzio Roma-L’Aquila) March 24, 2000. COMPLETE THESIS IN PDF Abstract Recently, several authors introduced various theory-based extensions of basic inference procedures (the resolution procedure and the connection method, among others). A common…
Proceedings Joint Conference on Declarative Programming – APPIA-GULP-PRODE 1999
The proceedings (unique file of 14MB) are the following: AGP1999
XIV. VI APPIA-GULP-PRODE (1999), L’Aquila (Italy)
L’Aquila, Italy 6-9 September, 1999 Program chairs: Maria Chiara Meo, Manuel Vilares Ferro Accepted papers (from DBLP): XIV. VI APPIA-GULP-PRODE (1999) Maurizio Martelli, Viviana Mascardi, Floriano Zini. Specification and Simulation of Multi-Agent Systems in CaseLP. pages 13-28 Floriano Zini, Leon Sterling.…
XIII. V APPIA-GULP-PRODE (1998), La Coruña (Spain)
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…
Proceedings Joint Conference on Declarative Programming – APPIA-GULP-PRODE 1998
Conference proceedings, split by paper, are available from here
Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction
By Enrico Denti Dottorato di Ricerca in Ingegneria Elettronica e Informatica Alma Mater Studiorum Università di Bologna. Febbraio 1998 Abstract Component technology is radically altering the way software systems are designed: today, most systems are designed by combining and integrating…
XII. IV APPIA-GULP-PRODE (1997),Grado (Italy)
XII. IV APPIA-GULP-PRODE (1997) Joint Conference on Declarative Programming Grado (Italy), June 16-19 1997. OPAC number (OPAC) and DBLP Link Program Chairs: Moreno Falaschi, Marisa Navarro and Alberto Policriti. Organized by Dipartimento di Matematica e Informatica, Università di Udine Gruppo…
Proceedings Joint Conference on Declarative Programming – APPIA-GULP-PRODE 1997
The preface and all the papers are available from http://www.programmazionelogica.it/1997/06/xii-iv-appia-gulp-prode-1997-opacgrado-italy/
Int’l Summer School 1996
INTERNATIONAL SUMMER SCHOOL ON ADVANCES IN LOGIC PROGRAMMING ALGHERO (Sardegna), June 24-29,1996
XI. III APPIA-GULP-PRODE (1996), San Sebastian (Spain)
Donostia-San Sebastian, Spain 15-18 July 1996 Program chairs: Paqui Lucio, Maurizio Martelli, Marisa Navarro Accepted papers (from DBLP): XI. III APPIA-GULP-PRODE (1996) Pedro Barahona. Constraint Logic Programming: Theory, Domain and Applications. pages 3-12 Fernando Orejas. Algebraic Methods for the Study…
Proceedings Joint Conference on Declarative Programming – APPIA-GULP-PRODE 1996
Editors: Paqui Lucio, Maurizio Martelli, Marisa Navarro
Computable Set Theory and Logic Programming
By AGOSTINO DOVIER Università di Pisa (consorzio Pisa-Genova-Udine) Marzo 1996 Abstract Computable Set Theory investigates the satisfiability problem for fragments of set theory; the CLP scheme allows to automatically obtain logic programming languages dealing with constraints, namely first order…
GULP Book: 1985-1995 Ten Years of Logic Programming in Italy
The first GULP book. 1985-1995 Ten Years of Logic Programming in Italy. Maria Sessa ed. Link alla pagina web dell’editore.
Proceedings Joint Conference on Declarative Programming – GULP-PRODE 1995
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