XX. II CILC (2005), Rome (Italy) Program chair: Alberto Pettorossi Atti della conferenza: http://www.programmazionelogica.it/2005/06/atti-del-cilc-2005/ Relazioni invitate: Robotica Cognitiva D. Nardi (U. di Roma “La Sapienza”) Tutorial: Answer Set Programming and Data Integration Systems S. Costantini (U. L’Aquila) Tutorial: Un approccio…
Atti del CILC 2004
Editors: Elio Panegai e Gianfranco Rossi Atti del convegno (PDF) 16 Novembre 2004
XIX. I CILC (2004), Parma (Italy)
XIX. I CILC (2004), Parma (Italy) 16/17 Giugno 2014 Program chair: Gianfranco Rossi Atti del convegno: http://www.programmazionelogica.it/2004/11/atti-del-cilc-2004/ Relazioni invitate P. Torroni Introduzione ai sistemi multi-agente basati su logica computazionale A. Dovier Il problema del Protein Folding e i relativi approcci…
Proceedings Joint Conference on Declarative Programming – APPIA-GULP-PRODE 2003
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…
GULP Workshop 2003 , Venice (Italy)
Giornata GULP 2003 in concomitanza con la riunione del Direttivo e l’Assemblea dei soci 19 dicembre 2003, Venezia La giornata GULP si terrà presso il Dipartimento di Informatica dell’Università “Ca’ Foscari” di Venezia Via Torino 155, Mestre Programma della Giornata…
XVIII. X APPIA-GULP-PRODE (2003), Reggio Calabria (Italy)
XVIII. X APPIA-GULP-PRODE (2003), Reggio Calabria (Italy)
Proceedings Joint Conference on Declarative Programming – APPIA-GULP-PRODE 2002
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…
Int’l Summer School 2002
Second International Summer School in Computational Logic ISCL 2002 (org: Roberto Bagnara and Patricia Hill)
GULP Workshop 2002, Bologna (Italy)
Giornata GULP 2002 in concomitanza con la riunione del Direttivo e l’Assemblea dei soci Venerdì 25 ottobre 2002, Bologna La giornata GULP si terrà presso il Dipartimento di Scienze dell’Informazione dell’Università di Bologna, Mura Anteo Zamboni, 7 – Bologna (vedi…
XVII. IX APPIA-GULP-PRODE (2002), Madrid (Spain)
XVII. IX APPIA-GULP-PRODE (2002), Madrid (Spain) Monday 16 10:00-11:00 Invited talk Whatever Happened to Meta-Programming? John Gallagher 11:00-11:30 Coffe break 11:30-13:00 Extensions I A Functional Logic Language with Finite Domain Constraints Antionio J. Fernández, Teresa Hortalá-González and Fernando Sáenz-Pérez A Logic…
Interactive Constraint Satisfaction Problems for Artificial Vision
by Marco Gavanelli Università degli Studi di Ferrara 2002 Abstract Artificial Vision is an important field of Artificial Intelligence: the human brain is able to derive various types of information about the outer world from vision. However, the semantic interpretation…
Proceedings Joint Conference on Declarative Programming – APPIA-GULP-PRODE 2001
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…
XVI. VIII APPIA-GULP-PRODE (2001), Évora (Portugal)
2001 JOINT CONFERENCE ON DECLARATIVE PROGRAMMING Évora (Portugal) September 26-28, 2001. Web page: APPIA-GULP-PRODE 2001 Program chairs: Luís Moniz Pereira and Paulo Quaresma AGP 2001 proceedings
Electronic Notes in Theoretical Computer Science – Special Issue on AGP 2000
The Special Issue on the APPIA, GULP, and PRODE Conference AGP 2000, has been published as Vol 48, June 2001 of Electronic Notes in Theoretical Computer Science. Read the preface.
XV. VII APPIA-GULP-PRODE (2000), La Habana (Cuba)
XV. VII APPIA-GULP-PRODE (2000), La Habana (Cuba) December 4-7 2000 Invited Speakers Maurice Bruynooghe Katholieke Universiteit Leuven (Belgium) Thomas Eiter Technische Universitaet Wien (Austria) Jim Lipton Wesleyan University (USA) Program Chairs. Luciano Garcia Universidad de La Habana (Cu) Maria Chiara…