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…

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…

Proceedings Joint Conference on Declarative Programming – GULP-PRODE 1995

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  

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

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…

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…

Proceedings Joint Conference on Declarative Programming – GULP-PRODE 1994

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…

VIII.GULP (1993), Gizzeria (Italy)

Gizzeria, Italy  15-18 June 1993 Program chair: Domenico Saccà Conference proceedings: https://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…

VII. GULP (1992), Tremezzo (Italy)

Tremezzo (Lago di Como) 17-19 Giugno 1992 Program Chair: Stefania Costantini Conference Proceedings [OPAC]: https://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.…

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…