Search dblp for Publications

export results for "toc:db/conf/agp/gulp-prode1995.bht:"

 download as .bib file

@inproceedings{DBLP:conf/agp/Apt95,
  author       = {Krzysztof R. Apt},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Arrays, Bounded Quantification and Iteration in Logic and Constraint
                  Logic Programming},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {19--36},
  year         = {1995},
  timestamp    = {Wed, 01 Dec 2004 15:33:44 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Apt95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/AquilinoAA95,
  author       = {Domenico Aquilino and
                  D. Apuzzo and
                  Patrizia Asirelli},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {A Declarative Approach to the Design and Realization of Graphic Interfaces},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {332--346},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/AquilinoAA95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/Arenas-SanchezD95,
  author       = {Puri Arenas{-}S{\'{a}}nchez and
                  Agostino Dovier},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Minimal Set Unification},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {447--458},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Arenas-SanchezD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/ArtosiCG95,
  author       = {Alberto Artosi and
                  Paola Cattabriga and
                  Guido Governatori},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {A Prolog Implementation of Kem},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {395--400},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/ArtosiCG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/Bagnara95,
  author       = {Roberto Bagnara},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Constraint Systems for Pattern Analysis of Constraint Logic-Based
                  Languages},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {581--592},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Bagnara95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/BellotCM95,
  author       = {Patrick Bellot and
                  Olivier Camp and
                  Christophe Matiachoff},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Explicit Implementation of a Constraint Solving Mechanism in a Relational
                  Programming System},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {401--408},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/BellotCM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/BoerG95,
  author       = {Frank S. de Boer and
                  Maurizio Gabbrielli},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Modeling Real-Time in Concurrent Constraint Programming},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {101--112},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/BoerG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/BonattiG95,
  author       = {Piero A. Bonatti and
                  Laura Giordano},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Three-Valued Semantics for Extended Logic Programs},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {295--306},
  year         = {1995},
  timestamp    = {Fri, 01 Apr 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/agp/BonattiG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/Bottoni95,
  author       = {Alberto Bottoni},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Analysis of {SLDNF} for Local {CLP}},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {219--230},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Bottoni95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/BruscoliG95,
  author       = {Paola Bruscoli and
                  Alessio Guglielmi},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {A Linear Logic Programming Language with Parallel and Sequential Conjunction},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {409--420},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/BruscoliG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/Buccafurri95,
  author       = {Francesco Buccafurri},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Ordered Logic and its Relationships to other Logic Programming Formalisms},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {207--218},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Buccafurri95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/CarboniFGP95,
  author       = {Marilisa E. Carboni and
                  V. Foddai and
                  Fosca Giannotti and
                  Dino Pedreschi},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Declarative Reconstruction of Updates in Logic Databases: a Compilative
                  Approach},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {169--182},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/CarboniFGP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/Cervesato95,
  author       = {Iliano Cervesato},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Petri Nets and Linear Logic: a Case Study for Logic Programming},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {313--320},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Cervesato95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/CiampoliniLM95,
  author       = {Anna Ciampolini and
                  Evelina Lamma and
                  Paola Mello},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Improving the Efficiency of Dynamic Modular Logic Languages},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {347--358},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/CiampoliniLM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/CiancariniFG95,
  author       = {Paolo Ciancarini and
                  Daniela Fogli and
                  Mauro Gaspari},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {A Logic Language Based on GAMMA-Like Multiset Rewriting},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {125--138},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/CiancariniFG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/ColussiMM95,
  author       = {Livio Colussi and
                  Elena Marchiori and
                  Massimo Marchiori},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {A Dataflow Semantics for Constraint Logic Programs},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {557--568},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/ColussiMM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/CominiLM95,
  author       = {Marco Comini and
                  Giorgio Levi and
                  Maria Chiara Meo},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Compositionality in SLD-derivations and their Abstractions},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {533--544},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/CominiLM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/CominiLV95,
  author       = {Marco Comini and
                  Giorgio Levi and
                  Giuliana Vitiello},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Declarative Diagnosis Revisited},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {607--618},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/CominiLV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/Cousot95,
  author       = {Patrick Cousot},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Completeness in Abstract Interpretation},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {37--38},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Cousot95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/DeganoP95,
  author       = {Pierpaolo Degano and
                  Corrado Priami},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {A Transitional Semantics of Full Prolog},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {511--520},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/DeganoP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/DelzannoM95,
  author       = {Giorgio Delzanno and
                  Maurizio Martelli},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Forum Objects},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {283--294},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/DelzannoM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/Dosch95,
  author       = {Walter Dosch},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {The Undefined Function Differs from the Pointwise Undefined Function},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {257--270},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Dosch95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/EshghiM95,
  author       = {Kave Eshghi and
                  M. Mowbray},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Side Effect Analysis for Logic-Based Planning},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {139--147},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/EshghiM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/EspositoFMS95,
  author       = {Floriana Esposito and
                  Nicola Fanizzi and
                  Donato Malerba and
                  Giovanni Semeraro},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Downward Refinement of Hierarchical Datalog Theories},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {148--159},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/EspositoFMS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/FontanaF95,
  author       = {Francesca Arcelli Fontana and
                  Ferrante Formato},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Implementing Higher-Order Term-Rewriting for Program Transformation
                  in lambdaProlog},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {245--256},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/FontanaF95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/FreireFG95,
  author       = {Jos{\'{e}} Luis Freire and
                  Basilio B. Fraguela and
                  V{\'{\i}}ctor M. Gul{\'{\i}}as},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Extending {CAML} Light to Perform Distributed Computation},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {113--124},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/FreireFG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/GallardoGR95,
  author       = {Jos{\'{e}} E. Gallardo and
                  Pablo Guerrero and
                  Blas C. Ruiz},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Monadas para la Comunicacion de Objetos Funcionales},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {471--476},
  year         = {1995},
  timestamp    = {Tue, 15 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/agp/GallardoGR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/Giacobazzi95,
  author       = {Roberto Giacobazzi},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Optimal Collecting Semantics for Analysis in a Hierarchy of Logic
                  Program Semantics},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {619--630},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Giacobazzi95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/HansWS95,
  author       = {Werner Hans and
                  Stephan Winkler and
                  Fernando S{\'{a}}enz{-}P{\'{e}}rez},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Exploiting Expression- and Or-Parallelism for a Functional Logic Language},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {371--382},
  year         = {1995},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/agp/HansWS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/Humet95,
  author       = {J. Humet},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {A Framework for a Transformational Approach to Negation},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {195--206},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Humet95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/IlleraO95,
  author       = {Ruiz{-}Andino Illera and
                  J. J. Ruz Ortiz},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Labeling in {CLP(FD)} with Evolutionary Programming},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {569--580},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/IlleraO95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/Kowalski95,
  author       = {Robert A. Kowalski},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Logical Foundations for Multi-agent Systems},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {39--40},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Kowalski95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/LeviCV95,
  author       = {Giorgio Levi and
                  Marco Comini and
                  Giuliana Vitiello},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {On the Abstract Diagnosis of Logic Programs},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {41--60},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/LeviCV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/LeviM95,
  author       = {Giorgio Levi and
                  Daniele Micciancio},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Analysis of Pure {PROLOG} Programs},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {521--532},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/LeviM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/LeviS95,
  author       = {Giorgio Levi and
                  Francesca Scozzari},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Contributions to a Theory of Existential Termination for Definite
                  Logic Programs},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {631--642},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/LeviS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/Lucas95,
  author       = {Salvador Lucas},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Computational Properties in Context-Sensitive Rewriting},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {435--446},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Lucas95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/MancarellaRT95,
  author       = {Paolo Mancarella and
                  Alessandra Raffaet{\`{a}} and
                  Franco Turini},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {{LOO:} An Object Oriented Logic Programming Language},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {271--282},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/MancarellaRT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/MancoT95,
  author       = {Giuseppe Manco and
                  Franco Turini},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {A Structural (Meta-Logical) Semantics for Linear Objects},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {421--434},
  year         = {1995},
  timestamp    = {Thu, 05 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/MancoT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/Miller95,
  author       = {Dale Miller},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Observations about Using Logic as a Specification Language},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {61--70},
  year         = {1995},
  timestamp    = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Miller95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/MomiglianoO95,
  author       = {Alberto Momigliano and
                  Mario Ornaghi},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {An Introduction to Regular Search Spaces},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {183--194},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/MomiglianoO95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/MontesiT95,
  author       = {Danilo Montesi and
                  Franco Turini},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Integrity Constraints Evolution in Deductive Databases},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {160--168},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/MontesiT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/Moreno-NavarroGP95,
  author       = {Juan Jos{\'{e}} Moreno{-}Navarro and
                  Julio Garc{\'{\i}}a{-}Mart{\'{\i}}n and
                  Andr{\'{e}}s del Pozo{-}Prieto},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Tuple Inheritance: {A} New Kind of Inheritance for (Constraint) Logic
                  Programming},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {593--606},
  year         = {1995},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Moreno-NavarroGP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/MorenoG95,
  author       = {Antonio Moreno and
                  Jos{\'{e}} M. Go{\~{n}}i},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {{GRAMPAL:} {A} Morphological Processor for Spanish Implemented in
                  Prolog},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {321--331},
  year         = {1995},
  timestamp    = {Mon, 11 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/MorenoG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/MorilloB95,
  author       = {Francisco Jos{\'{e}} Gal{\'{a}}n Morillo and
                  M. Toro Bonilla},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Sintesis de Programas Logicos: Marco Constructivo},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {497--510},
  year         = {1995},
  timestamp    = {Tue, 07 Dec 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/MorilloB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/NilssonH95,
  author       = {J{\o}rgen Fischer Nilsson and
                  Andreas Hamfelt},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Constructing Logic Programs with Higher-Order Predicates},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {307--312},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/NilssonH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/PalaoN95,
  author       = {Pedro Palao and
                  Manuel N{\'{u}}{\~{n}}ez},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {An Effective Algorithm for Compiling Pattern Matching Keeping Laziness},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {383--394},
  year         = {1995},
  timestamp    = {Fri, 25 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/agp/PalaoN95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/Papp95,
  author       = {Cristian Papp},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {A Model Tree Computation of the Strong Well-Founded Semantics},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {459--470},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Papp95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/ParejaPV95,
  author       = {Crist{\'{o}}bal Pareja and
                  Ricardo Pena and
                  J. {\'{A}}ngel Vel{\'{a}}zquez{-}Iturbide},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {A Tabulation Transformation Tactic Using Haskell Arrays},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {485--496},
  year         = {1995},
  timestamp    = {Thu, 02 Dec 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/ParejaPV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/PedreschiR95,
  author       = {Dino Pedreschi and
                  Salvatore Ruggieri},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {A Case Study in Logic Program Verification: the Vanilla Metainterpreter},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {643--654},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/PedreschiR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/Pereira95,
  author       = {Lu{\'{\i}}s Moniz Pereira},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Parallel Logic Programming with Extensions},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {71--88},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Pereira95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/RodriguezGP95,
  author       = {Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  M. Nunez Garcia and
                  Pedro Palao{-}Gostanza},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {La Potencia Expresiva de los Catamorfismos},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {477--484},
  year         = {1995},
  timestamp    = {Mon, 10 Oct 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/agp/RodriguezGP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/ScarcelloLP95,
  author       = {Francesco Scarcello and
                  Nicola Leone and
                  Luigi Palopoli},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Curbing Theories: Fixpoint Semantics and Complexity Issues},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {545--556},
  year         = {1995},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/agp/ScarcelloLP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/Toni95,
  author       = {Francesca Toni},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {A Semantics for the Kakas-Mancarella Procedure for Abductive Logic
                  Programming},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {231--244},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Toni95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/Ullan95,
  author       = {Eva Ull{\'{a}}n},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Lazy Narrowing on an Abstract Machine by Means of Examples},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {359--370},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Ullan95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/Zaffanella95,
  author       = {Enea Zaffanella},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Domain Independent Ask Approximation in {CCP}},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {89--100},
  year         = {1995},
  timestamp    = {Mon, 29 Nov 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Zaffanella95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/agp/1995,
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  year         = {1995},
  timestamp    = {Wed, 01 Dec 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/1995.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.