Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/agp/agp1999.bht:"
download as .bib file
@inproceedings{DBLP:conf/agp/AlferesPPPQ99,
author = {Jos{\'{e}} J{\'{u}}lio Alferes and
Lu{\'{\i}}s Moniz Pereira and
Teodor C. Przymusinski and
Halina Przymusinska and
Paulo Quaresma},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Preliminary exploration on actions as updates},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {259--272},
year = {1999},
timestamp = {Wed, 01 Dec 2004 15:33:47 +0100},
biburl = {https://dblp.org/rec/conf/agp/AlferesPPPQ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/AlpuenteLE99,
author = {Mar{\'{\i}}a Alpuente and
Salvador Lucas and
Santiago Escobar},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {An Incremental Needed Narrowing Calculus for Curry},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {75--88},
year = {1999},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/AlpuenteLE99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BagnaraZH99,
author = {Roberto Bagnara and
Enea Zaffanella and
Patricia M. Hill},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Enhancing Sharing for Precision},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {213--228},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/BagnaraZH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Barbosa99,
author = {Lu{\'{\i}}s Soares Barbosa},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Prototyping Processes},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {513--528},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/Barbosa99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BertinoBFS99,
author = {Elisa Bertino and
Piero A. Bonatti and
Elena Ferrari and
Maria Luisa Sapino},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Specifying and computing hierarchies of temporal authorizations},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {243--258},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/BertinoBFS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BertolinoEP99,
author = {Marco Bertolino and
Sandro Etalle and
Catuscia Palamidessi},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {The Replacement Operation for {CCP} Programs},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {441--454},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/BertolinoEP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BistarelliCGR99,
author = {Stefano Bistarelli and
Philippe Codognet and
Yan Georget and
Fabio Rossi},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Labeling and Partial Arc Consistency for Soft Constraints},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {121--136},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/BistarelliCGR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BrogiM99,
author = {Antonio Brogi and
G. Marongiu},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {ExpertFinder: {A} Prolog Recommender System Integrated with the {WWW}},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {471--484},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/BrogiM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Cabalar99,
author = {Pedro Cabalar},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Temporal Answer Sets},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {351--366},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/Cabalar99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/CantoneOU99,
author = {Domenico Cantone and
Eugenio G. Omodeo and
Pietro Ursino},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Transitive Venn diagrams with applications to the decision problem
in set theory},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {167--182},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/CantoneOU99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/CominiDP99,
author = {Marco Comini and
Wlodzimierz Drabent and
Pawel Pietrzak},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Diagnosis of {CHIP} Programs Using Type Information},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {337--350},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/CominiDP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/CostantiniM99,
author = {Stefania Costantini and
T. Morbidoni},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Computational Complexity of a Knowledge Compilation. Approach to the
Static Semantics for Disjunctive Logic Programs},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {575--588},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/CostantiniM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/DamasioN99,
author = {Carlos Viegas Dam{\'{a}}sio and
V{\'{\i}}tor Beires Nogueira},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Negation in Transaction Programs},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {589--604},
year = {1999},
timestamp = {Wed, 05 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/DamasioN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/DovierPP99,
author = {Agostino Dovier and
Carla Piazza and
Alberto Policriti},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Comparing expressiveness of set constructor symbols},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {151--166},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/DovierPP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/DovierPPR99,
author = {Agostino Dovier and
Carla Piazza and
Enrico Pontelli and
Gianfranco Rossi},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {{ACI1} constraints},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {305--320},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/DovierPPR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/FernandezH99,
author = {Antonio J. Fern{\'{a}}ndez and
Patricia M. Hill},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Constraint Solving on Lattices},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {105--120},
year = {1999},
timestamp = {Thu, 18 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agp/FernandezH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/FernandezH99a,
author = {Antonio J. Fern{\'{a}}ndez and
Patricia M. Hill},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Extending clp(FD) by Negative Constraint Solving},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {137--150},
year = {1999},
timestamp = {Thu, 18 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agp/FernandezH99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/FerrandLC99,
author = {Miguel Ferrand and
Jo{\~{a}}o Alexandre Leite and
Am{\'{\i}}lcar Cardoso},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Hypotethical Reasoning: an application to Optical Music Recognition},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {367--382},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/FerrandLC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/FerroSP99,
author = {Manuel Vilares Ferro and
David Cabrero Souto and
Miguel Angel Alonso Pardo},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Some questions about non-termination in DCGs},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {545--558},
year = {1999},
timestamp = {Tue, 04 Jan 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/FerroSP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/FioravantiP99,
author = {Fabio Fioravanti and
Maurizio Proietti},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Contextual Specialization of Constraint Logic Programs},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {455--470},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/FioravantiP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/FlescaGLR99,
author = {Sergio Flesca and
Sergio Greco and
P. Lambardi and
D. Romeo},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {A System Prototype for the Optimization of Disjunctive Queries},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {229--242},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/FlescaGLR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/FormatoGS99,
author = {Ferrante Formato and
Giangiacomo Gerla and
Maria I. Sessa},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Extension of Logic Programming by Similarity},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {397--410},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/FormatoGS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Formisano99,
author = {Andrea Formisano},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Proving the completeness of theory-based variants of resolution},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {59--74},
year = {1999},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agp/Formisano99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/GavanelliLMM99,
author = {Marco Gavanelli and
Evelina Lamma and
Michela Milano and
Paola Mello},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Domains as First Class Objects in {CLP(FD)}},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {411--424},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/GavanelliLMM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/GiannottiM99,
author = {Fosca Giannotti and
Giuseppe Manco},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Querying inductive Databases via Logic-Based user-defined aggregates},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {605--620},
year = {1999},
timestamp = {Thu, 05 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/GiannottiM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Gori99,
author = {Roberta Gori},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {A fixpoint semantics for reasoning about finite failure},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {529--544},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/Gori99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/GoriL99,
author = {Roberta Gori and
Giorgio Levi},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {On the verification of finite failure},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {197--212},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/GoriL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/HillS99,
author = {Patricia M. Hill and
Fausto Spoto},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Freeness Analysis through Linear Refinement},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {321--337},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/HillS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/InverardiN99,
author = {Paola Inverardi and
Monica Nesi},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Adding sorts to TRSs: a result on modularity of termination},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {273--288},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/InverardiN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/LopesC99,
author = {Ricardo Lopes and
V{\'{\i}}tor Santos Costa},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {The {BEAM:} {A} first {EAM} Implementation},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {425--440},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/LopesC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Lopez-FraguasS99,
author = {Francisco Javier L{\'{o}}pez{-}Fraguas and
Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Disequalities May Help to Narrow},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {89--104},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/Lopez-FraguasS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/LopezP99,
author = {Pablo L{\'{o}}pez and
Ernesto Pimentel},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Hypothetical Reasoning with Substructural Logics},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {485--496},
year = {1999},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agp/LopezP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/LorenzoO99,
author = {David Lorenzo and
Ram{\'{o}}n P. Otero},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Learning Action Theories as Logic Programs},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {383--396},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/LorenzoO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/MartelliMZ99,
author = {Maurizio Martelli and
Viviana Mascardi and
Floriano Zini},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Specification and Simulation of Multi-Agent Systems in CaseLP},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {13--28},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/MartelliMZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/MomiglianoP99,
author = {Alberto Momigliano and
Frank Pfenning},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {The Relative Complement Problem for Higher-Order Patterns},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {497--512},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/MomiglianoP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/OrejasP99,
author = {Fernando Orejas and
Elvira Pino},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Semantic Definitions for Normal Open Programs},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {43--58},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/OrejasP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Ranzato99,
author = {Francesco Ranzato},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {CPOs as Concrete Domains: Lattices of Abstract Domains and Complements},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {183--196},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/Ranzato99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Ruiz-ReinaAHM99,
author = {Jos{\'{e}}{-}Luis Ruiz{-}Reina and
Jos{\'{e}}{-}Antonio Alonso and
Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo and
Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Mechanical verification of a rule-based unification algorithm in the
Boyer-Moore theorem prover},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {289--304},
year = {1999},
timestamp = {Tue, 03 Jan 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/Ruiz-ReinaAHM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/ZaffanellaBH99,
author = {Enea Zaffanella and
Roberto Bagnara and
Patricia M. Hill},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Widening Sharing},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {559--574},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/ZaffanellaBH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/ZiniS99,
author = {Floriano Zini and
Leon Sterling},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Designing Ontologies for Agents},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {29--42},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/ZiniS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agp/1999,
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-22 07:25 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
