Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/agp/gulp-prode1995.bht:"
@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} }
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.