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/journals/entcs/entcs48.bht:"
download as .bib file
@inproceedings{DBLP:journals/entcs/Amato01,
author = {Gianluca Amato},
editor = {Agostino Dovier and
Maria Chiara Meo and
Andrea Omicini},
title = {Correct Answers for First Order Logic},
booktitle = {Declarative Programming - Selected Papers from {AGP} 2000, La Habana,
Cuba, December 4-6, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {48},
pages = {45--64},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00149-5},
doi = {10.1016/S1571-0661(04)00149-5},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Amato01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BozzanoDM01,
author = {Marco Bozzano and
Giorgio Delzanno and
Maurizio Martelli},
editor = {Agostino Dovier and
Maria Chiara Meo and
Andrea Omicini},
title = {On the Relations between Disjunctive and Linear Logic Programming},
booktitle = {Declarative Programming - Selected Papers from {AGP} 2000, La Habana,
Cuba, December 4-6, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {48},
pages = {65--89},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00150-1},
doi = {10.1016/S1571-0661(04)00150-1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BozzanoDM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Brogi01,
author = {Antonio Brogi},
editor = {Agostino Dovier and
Maria Chiara Meo and
Andrea Omicini},
title = {Probabilistic behaviours of reactive agents},
booktitle = {Declarative Programming - Selected Papers from {AGP} 2000, La Habana,
Cuba, December 4-6, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {48},
pages = {227--252},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00159-8},
doi = {10.1016/S1571-0661(04)00159-8},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Brogi01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CominiGL01,
author = {Marco Comini and
Roberta Gori and
Giorgio Levi},
editor = {Agostino Dovier and
Maria Chiara Meo and
Andrea Omicini},
title = {Logic programs as specifications in the inductive verification of
logic programs},
booktitle = {Declarative Programming - Selected Papers from {AGP} 2000, La Habana,
Cuba, December 4-6, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {48},
pages = {131--146},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00153-7},
doi = {10.1016/S1571-0661(04)00153-7},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CominiGL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CortesiRC01,
author = {Agostino Cortesi and
Sabina Rossi and
Baudouin Le Charlier},
editor = {Agostino Dovier and
Maria Chiara Meo and
Andrea Omicini},
title = {Operational Semantics for Reexecution-based Analysis of Logic Programs
with Delay Declarations},
booktitle = {Declarative Programming - Selected Papers from {AGP} 2000, La Habana,
Cuba, December 4-6, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {48},
pages = {29--44},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00148-3},
doi = {10.1016/S1571-0661(04)00148-3},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CortesiRC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DovierGQ01,
author = {Agostino Dovier and
Roberto Giacobazzi and
Elisa Quintarelli},
editor = {Agostino Dovier and
Maria Chiara Meo and
Andrea Omicini},
title = {Refining and Compressing Abstract Model Checking},
booktitle = {Declarative Programming - Selected Papers from {AGP} 2000, La Habana,
Cuba, December 4-6, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {48},
pages = {90--107},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00151-3},
doi = {10.1016/S1571-0661(04)00151-3},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DovierGQ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DovierMO01,
author = {Agostino Dovier and
Maria Chiara Meo and
Andrea Omicini},
editor = {Agostino Dovier and
Maria Chiara Meo and
Andrea Omicini},
title = {Preface},
booktitle = {Declarative Programming - Selected Papers from {AGP} 2000, La Habana,
Cuba, December 4-6, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {48},
pages = {253--254},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(05)80555-9},
doi = {10.1016/S1571-0661(05)80555-9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DovierMO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FalaschiPV01,
author = {Moreno Falaschi and
Alberto Policriti and
Alicia Villanueva},
editor = {Agostino Dovier and
Maria Chiara Meo and
Andrea Omicini},
title = {Modeling concurrent systems specified in a temporal concurrent constraint
language-I},
booktitle = {Declarative Programming - Selected Papers from {AGP} 2000, La Habana,
Cuba, December 4-6, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {48},
pages = {197--210},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00157-4},
doi = {10.1016/S1571-0661(04)00157-4},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/FalaschiPV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FerreiraA01,
author = {L{\'{\i}}gia Ferreira and
Salvador Abreu},
editor = {Agostino Dovier and
Maria Chiara Meo and
Andrea Omicini},
title = {Design for AJACS, yet another Java constraint programming framework},
booktitle = {Declarative Programming - Selected Papers from {AGP} 2000, La Habana,
Cuba, December 4-6, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {48},
pages = {167--178},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00155-0},
doi = {10.1016/S1571-0661(04)00155-0},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FerreiraA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FormisanoOT01,
author = {Andrea Formisano and
Eugenio G. Omodeo and
Marco Temperini},
editor = {Agostino Dovier and
Maria Chiara Meo and
Andrea Omicini},
title = {Layered map reasoning: An experimental approach put to trial on sets},
booktitle = {Declarative Programming - Selected Papers from {AGP} 2000, La Habana,
Cuba, December 4-6, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {48},
pages = {1--28},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00147-1},
doi = {10.1016/S1571-0661(04)00147-1},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FormisanoOT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Fruehwirth01,
author = {Thom W. Fr{\"{u}}hwirth},
editor = {Agostino Dovier and
Maria Chiara Meo and
Andrea Omicini},
title = {On the number of rule applications in constraint programs},
booktitle = {Declarative Programming - Selected Papers from {AGP} 2000, La Habana,
Cuba, December 4-6, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {48},
pages = {147--166},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00154-9},
doi = {10.1016/S1571-0661(04)00154-9},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Fruehwirth01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OmiciniD01,
author = {Andrea Omicini and
Enrico Denti},
editor = {Agostino Dovier and
Maria Chiara Meo and
Andrea Omicini},
title = {Formal ReSpecT},
booktitle = {Declarative Programming - Selected Papers from {AGP} 2000, La Habana,
Cuba, December 4-6, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {48},
pages = {179--196},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00156-2},
doi = {10.1016/S1571-0661(04)00156-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OmiciniD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ossowski01,
author = {Sascha Ossowski},
editor = {Agostino Dovier and
Maria Chiara Meo and
Andrea Omicini},
title = {Constraint Based Coordination of Autonomous Agents},
booktitle = {Declarative Programming - Selected Papers from {AGP} 2000, La Habana,
Cuba, December 4-6, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {48},
pages = {211--226},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00158-6},
doi = {10.1016/S1571-0661(04)00158-6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Ossowski01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PierroHW01,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
editor = {Agostino Dovier and
Maria Chiara Meo and
Andrea Omicini},
title = {Probabilistic confinement in a declarative framework},
booktitle = {Declarative Programming - Selected Papers from {AGP} 2000, La Habana,
Cuba, December 4-6, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {48},
pages = {108--130},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00152-5},
doi = {10.1016/S1571-0661(04)00152-5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/PierroHW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agp/2000,
editor = {Agostino Dovier and
Maria Chiara Meo and
Andrea Omicini},
title = {Declarative Programming - Selected Papers from {AGP} 2000, La Habana,
Cuba, December 4-6, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {48},
publisher = {Elsevier},
year = {2000},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/48/},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agp/2000.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-04-25 07:57 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:
