
The first GULP book. 1985-1995 Ten Years of Logic Programming in Italy. Maria Sessa ed. Link alla pagina web dell’editore.
The first GULP book. 1985-1995 Ten Years of Logic Programming in Italy. Maria Sessa ed. Link alla pagina web dell’editore.
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
X.II GULP-PRODE (1995),Vietri (Italy) Marina di Vietri, Italy, September 11-14, 1995 Program chairs: María Alpuente and Maria I. Sessa Conference Proceedings ( [OPAC]—see also DBLP): https://www.programmazionelogica.it/1995/09/proceedings-joint-conference-on-declarative-programming-gulp-prode-1995/ Invited Lectures: Krzysztof R. Apt: Arrays, Bounded Quantification and Iteration in Logic and Constraint…
By Andrea Omicini, Dottorato di Ricerca in Ingegneria Elettronica e Informatica Alma Mater Studiorum Università di Bologna. Febbraio1995 Abstract Lo scopo di questa tesi è definire un unico modello computazionale basato sulla logica del prim’ordine, che sia in grado di…