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  

Read more →

X.II GULP-PRODE (1995),Vietri (Italy)

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): http://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…

Read more →

Programmazione Logica Orientata agli Oggetti

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…

Read more →

IX. I GULP-PRODE (1994), Peñiscola (Spain)

GULP-PRODE ’94: 1994 Joint Conference on Declarative Programming Peñiscola (Spain). September 19-22, 1994 Program Chairs: María Alpuente, Roberto Barbuti and Isidro Ramos. Proceedings: Volume I – Volume II Papers: John W. Lloyd: Practical Advtanages of Declarative Programming. Michael Nitsche: Analysis…

Read more →

Proceedings Joint Conference on Declarative Programming – GULP-PRODE 1994

Table of contents from DBLP (Volume 1) and (Volume 2) Volume 1 GP1994-I-000-031 GP1994-I-032-061 GP1994-I-062-091 GP1994-I-092-125 GP1994-I-126-155 GP1994-I-156-187 GP1994-I-188-217 GP1994-I-218-251 GP1994-I-252-279 GP1994-I-280-325 GP1994-I-326-371 GP1994-I-372-402 GP1994-I-403-433 GP1994-I-434-480 Volume 2 GP1994-II-1-31 GP1994-II-32-59 GP1994-II-60-87 GP1994-II-88-117 GP1994-II-118-145 GP1994-II-146-175 GP1994-II-176-206 GP1994-II-206-237 GP1994-II-238-267 GP1994-II-268-281 GP1994-II-282-301 GP1994-II-308-335…

Read more →

VIII.GULP (1993), Gizzeria (Italy)

Gizzeria, Italy  15-18 June 1993 Program chair: Domenico Saccà Conference proceedings: http://www.programmazionelogica.it/1993/06/atti-dellottavo-convegno-sulla-programmazione-logica-gulp-1993/ Conference program (see also DBLP):  Invited talks V. S. Subrahmanian: Hybrid Knowledge Bases for Intelligent Reasoning Systems. 3-20 Hendrik Decker, Juan Carlos Casamayor: A Prolog-like Paradigm for Reasoning…

Read more →

VII. GULP (1992), Tremezzo (Italy)

Tremezzo (Lago di Como) 17-19 Giugno 1992 Program Chair: Stefania Costantini Conference Proceedings [OPAC]: http://www.programmazionelogica.it/1992/06/atti-del-settimo-convegno-nazionale-sulla-programmazione-logica/ Accepted Papers: Minimal Negation and Hereditarily Harrop Formulae A. Momigliano Higher Order Datalog F. Arcelli, M. Gaeta, A. Riva Fairness nei linguaggi logici STP M.…

Read more →

VI. GULP (1991), Pisa (Italy)

VI. GULP (1991), Pisa (Italy) Pisa, 12-14 Giugno 1991 Centro Studi della Cassa di Risparmio di Pisa P.za San Paolo a Ripa d’Arno Conference Proceedings: Atti del Sesto Convegno Nazionale sulla Programmazione Logica – GULP 1991 Organizzatore Patrizia Asirelli IEI-CNR-Pisa…

Read more →

V. GULP (1990), Padova (Italy)

V. GULP (1990)[OPAC], Padova (Italy) Quinto convegno sulla Programmazione Logica Padova, Italy 6-8 Giugno 1990 Coordinatrice: Annalisa Bossi (Università di Padova) Comitato di Programma: Pier Giorgio Bosco (CSELT, Torino) Alfredo Ferro (Università di Catania) Gilberto Filé (Università di Padova) Giorgio…

Read more →