Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Evelina Lamma
@article{DBLP:journals/apin/FraccaroliBCL24,
author = {Michele Fraccaroli and
Alice Bizzarri and
Paolo Casellati and
Evelina Lamma},
title = {Exploiting CNN's visual explanations to drive anomaly detection},
journal = {Appl. Intell.},
volume = {54},
number = {1},
pages = {414--427},
year = {2024},
url = {https://doi.org/10.1007/s10489-023-05177-0},
doi = {10.1007/S10489-023-05177-0},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apin/FraccaroliBCL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/FerrariFL23,
author = {Niccol{\`{o}} Ferrari and
Michele Fraccaroli and
Evelina Lamma},
title = {GRD-Net: Generative-Reconstructive-Discriminative Anomaly Detection
with Region of Interest Attention Module},
journal = {Int. J. Intell. Syst.},
volume = {2023},
pages = {1--18},
year = {2023},
url = {https://doi.org/10.1155/2023/7773481},
doi = {10.1155/2023/7773481},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijis/FerrariFL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-09138,
author = {Riccardo Zese and
Evelina Lamma and
Fabrizio Riguzzi},
title = {Exploiting Uncertainty for Querying Inconsistent Description Logics
Knowledge Bases},
journal = {CoRR},
volume = {abs/2306.09138},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.09138},
doi = {10.48550/ARXIV.2306.09138},
eprinttype = {arXiv},
eprint = {2306.09138},
timestamp = {Sun, 18 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-09138.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mbec/FadjaFBML22,
author = {Arnaud Nguembang Fadja and
Michele Fraccaroli and
Alice Bizzarri and
Giulia Mazzuchelli and
Evelina Lamma},
title = {Neural-Symbolic Ensemble Learning for early-stage prediction of critical
state of Covid-19 patients},
journal = {Medical Biol. Eng. Comput.},
volume = {60},
number = {12},
pages = {3461--3474},
year = {2022},
url = {https://doi.org/10.1007/s11517-022-02674-1},
doi = {10.1007/S11517-022-02674-1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mbec/FadjaFBML22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/FraccaroliLR22,
author = {Michele Fraccaroli and
Evelina Lamma and
Fabrizio Riguzzi},
title = {Symbolic DNN-Tuner},
journal = {Mach. Learn.},
volume = {111},
number = {2},
pages = {625--650},
year = {2022},
url = {https://doi.org/10.1007/s10994-021-06097-1},
doi = {10.1007/S10994-021-06097-1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ml/FraccaroliLR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/softx/FraccaroliLR22,
author = {Michele Fraccaroli and
Evelina Lamma and
Fabrizio Riguzzi},
title = {Symbolic DNN-Tuner: {A} Python and ProbLog-based system for optimizing
Deep Neural Networks hyperparameters},
journal = {SoftwareX},
volume = {17},
pages = {100957},
year = {2022},
url = {https://doi.org/10.1016/j.softx.2021.100957},
doi = {10.1016/J.SOFTX.2021.100957},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/softx/FraccaroliLR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AzzoliniRL22,
author = {Damiano Azzolini and
Fabrizio Riguzzi and
Evelina Lamma},
editor = {Joaqu{\'{\i}}n Arias and
Roberta Calegari and
Luke Dickens and
Wolfgang Faber and
Jorge Fandinno and
Gopal Gupta and
Markus Hecher and
Daniela Inclezan and
Emily LeBlanc and
Michael Morak and
Elmer Salazar and
Jessica Zangari},
title = {Semantics for Hybrid Probabilistic Logic Programs with Function Symbols:
Technical Summary},
booktitle = {Proceedings of the International Conference on Logic Programming 2022
Workshops co-located with the 38th International Conference on Logic
Programming {(ICLP} 2022), Haifa, Israel, July 31st - August 1st,
2022},
series = {{CEUR} Workshop Proceedings},
volume = {3193},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3193/short1PLP.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AzzoliniRL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2208-03092,
author = {Marco Alberti and
Riccardo Zese and
Fabrizio Riguzzi and
Evelina Lamma},
editor = {Yuliya Lierler and
Jos{\'{e}} F. Morales and
Carmine Dodaro and
Ver{\'{o}}nica Dahl and
Martin Gebser and
K. Tuncay Tekle},
title = {An Iterative Fixpoint Semantics for {MKNF} Hybrid Knowledge Bases
with Function Symbols},
booktitle = {Proceedings 38th International Conference on Logic Programming, {ICLP}
2022 Technical Communications / Doctoral Consortium, Haifa, Israel,
31st July 2022 - 6th August 2022},
series = {{EPTCS}},
volume = {364},
pages = {65--78},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.364.7},
doi = {10.4204/EPTCS.364.7},
timestamp = {Mon, 21 Aug 2023 17:48:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-03092.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AzzoliniRL21,
author = {Damiano Azzolini and
Fabrizio Riguzzi and
Evelina Lamma},
title = {A semantics for Hybrid Probabilistic Logic programs with function
symbols},
journal = {Artif. Intell.},
volume = {294},
pages = {103452},
year = {2021},
url = {https://doi.org/10.1016/j.artint.2021.103452},
doi = {10.1016/J.ARTINT.2021.103452},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/AzzoliniRL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/RiguzziBZAL21,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Riccardo Zese and
Marco Alberti and
Evelina Lamma},
title = {Probabilistic inductive constraint logic},
journal = {Mach. Learn.},
volume = {110},
number = {4},
pages = {723--754},
year = {2021},
url = {https://doi.org/10.1007/s10994-020-05911-6},
doi = {10.1007/S10994-020-05911-6},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/RiguzziBZAL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/FadjaRL21,
author = {Arnaud Nguembang Fadja and
Fabrizio Riguzzi and
Evelina Lamma},
title = {Learning hierarchical probabilistic logic programs},
journal = {Mach. Learn.},
volume = {110},
number = {7},
pages = {1637--1693},
year = {2021},
url = {https://doi.org/10.1007/s10994-021-06016-4},
doi = {10.1007/S10994-021-06016-4},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ml/FadjaRL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BellodiGZLR21,
author = {Elena Bellodi and
Marco Gavanelli and
Riccardo Zese and
Evelina Lamma and
Fabrizio Riguzzi},
title = {Nonground Abductive Logic Programming with Probabilistic Integrity
Constraints},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {5},
pages = {557--574},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000417},
doi = {10.1017/S1471068421000417},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BellodiGZLR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bis/AzzoliniRBL21,
author = {Damiano Azzolini and
Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma},
editor = {Witold Abramowicz and
S{\"{o}}ren Auer and
Milena Str{\'{o}}zyna},
title = {A Probabilistic Logic Model of Lightning Network},
booktitle = {Business Information Systems Workshops - {BIS} 2021 International
Workshops, Virtual Event, June 14-17, 2021, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {444},
pages = {321--333},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-04216-4\_28},
doi = {10.1007/978-3-031-04216-4\_28},
timestamp = {Thu, 07 Apr 2022 14:09:06 +0200},
biburl = {https://dblp.org/rec/conf/bis/AzzoliniRBL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-03033,
author = {Elena Bellodi and
Marco Gavanelli and
Riccardo Zese and
Evelina Lamma and
Fabrizio Riguzzi},
title = {Non-ground Abductive Logic Programming with Probabilistic Integrity
Constraints},
journal = {CoRR},
volume = {abs/2108.03033},
year = {2021},
url = {https://arxiv.org/abs/2108.03033},
eprinttype = {arXiv},
eprint = {2108.03033},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-03033.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eaai/ChesaniCGLMR20,
author = {Federico Chesani and
Giuseppe Cota and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Fabrizio Riguzzi},
title = {Declarative and Mathematical Programming approaches to Decision Support
Systems for food recycling},
journal = {Eng. Appl. Artif. Intell.},
volume = {95},
pages = {103861},
year = {2020},
url = {https://doi.org/10.1016/j.engappai.2020.103861},
doi = {10.1016/J.ENGAPPAI.2020.103861},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eaai/ChesaniCGLMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AlbertiGLRSZ20,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi and
Ken Satoh and
Riccardo Zese},
title = {Dischargeable Obligations in the \emph{{\unicode{119982}}}CIFF Framework},
journal = {Fundam. Informaticae},
volume = {176},
number = {3-4},
pages = {321--348},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1976},
doi = {10.3233/FI-2020-1976},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/AlbertiGLRSZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bis/AzzoliniRL20,
author = {Damiano Azzolini and
Fabrizio Riguzzi and
Evelina Lamma},
editor = {Witold Abramowicz and
Gary Klein},
title = {Modeling Smart Contracts with Probabilistic Logic Programming},
booktitle = {Business Information Systems Workshops - {BIS} 2020 International
Workshops, Colorado Springs, CO, USA, June 8-10, 2020, Revised Selected
Papers},
series = {Lecture Notes in Business Information Processing},
volume = {394},
pages = {86--98},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61146-0\_7},
doi = {10.1007/978-3-030-61146-0\_7},
timestamp = {Fri, 13 Nov 2020 15:14:26 +0100},
biburl = {https://dblp.org/rec/conf/bis/AzzoliniRL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AzzoliniRL20,
author = {Damiano Azzolini and
Fabrizio Riguzzi and
Evelina Lamma},
editor = {Carmine Dodaro and
George Aristidis Elder and
Wolfgang Faber and
Jorge Fandinno and
Martin Gebser and
Markus Hecher and
Emily LeBlanc and
Michael Morak and
Jessica Zangari},
title = {An Analysis of Gibbs Sampling for Probabilistic Logic Programs},
booktitle = {International Conference on Logic Programming 2020 Workshop Proceedings
co-located with 36th International Conference on Logic Programming
{(ICLP} 2020), Rende, Italy, September 18-19, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2678},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2678/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AzzoliniRL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mod/FraccaroliLR20,
author = {Michele Fraccaroli and
Evelina Lamma and
Fabrizio Riguzzi},
editor = {Giuseppe Nicosia and
Varun Ojha and
Emanuele La Malfa and
Giorgio Jansen and
Vincenzo Sciacca and
Panos M. Pardalos and
Giovanni Giuffrida and
Renato Umeton},
title = {Automatic Setting of {DNN} Hyper-Parameters by Mixing Bayesian Optimization
and Tuning Rules},
booktitle = {Machine Learning, Optimization, and Data Science - 6th International
Conference, {LOD} 2020, Siena, Italy, July 19-23, 2020, Revised Selected
Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12565},
pages = {477--488},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64583-0\_43},
doi = {10.1007/978-3-030-64583-0\_43},
timestamp = {Mon, 07 Feb 2022 17:57:40 +0100},
biburl = {https://dblp.org/rec/conf/mod/FraccaroliLR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ssw/CotaZBLR20,
author = {Giuseppe Cota and
Riccardo Zese and
Elena Bellodi and
Evelina Lamma and
Fabrizio Riguzzi},
editor = {Giuseppe Cota and
Marilena Daquino and
Gian Luca Pozzato},
title = {A Framework for Reasoning on Probabilistic Description Logics},
booktitle = {Applications and Practices in Ontology Design, Extraction, and Reasoning},
series = {Studies on the Semantic Web},
volume = {49},
pages = {127--144},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/SSW200040},
doi = {10.3233/SSW200040},
timestamp = {Mon, 19 Apr 2021 14:49:06 +0200},
biburl = {https://dblp.org/rec/series/ssw/CotaZBLR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-02105,
author = {Michele Fraccaroli and
Evelina Lamma and
Fabrizio Riguzzi},
title = {Automatic Setting of {DNN} Hyper-Parameters by Mixing Bayesian Optimization
and Tuning Rules},
journal = {CoRR},
volume = {abs/2006.02105},
year = {2020},
url = {https://arxiv.org/abs/2006.02105},
eprinttype = {arXiv},
eprint = {2006.02105},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-02105.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-01087,
author = {Giuseppe Cota and
Riccardo Zese and
Elena Bellodi and
Evelina Lamma and
Fabrizio Riguzzi},
title = {A Framework for Reasoning on Probabilistic Description Logics},
journal = {CoRR},
volume = {abs/2010.01087},
year = {2020},
url = {https://arxiv.org/abs/2010.01087},
eprinttype = {arXiv},
eprint = {2010.01087},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-01087.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/information/AzzoliniRL19,
author = {Damiano Azzolini and
Fabrizio Riguzzi and
Evelina Lamma},
title = {Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic
Logic Programming},
journal = {Inf.},
volume = {10},
number = {11},
pages = {335},
year = {2019},
url = {https://doi.org/10.3390/info10110335},
doi = {10.3390/INFO10110335},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/information/AzzoliniRL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ZeseCLBR19,
author = {Riccardo Zese and
Giuseppe Cota and
Evelina Lamma and
Elena Bellodi and
Fabrizio Riguzzi},
title = {Probabilistic {DL} Reasoning with Pinpointing Formulas: {A} Prolog-based
Approach},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {3},
pages = {449--476},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000480},
doi = {10.1017/S1471068418000480},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/ZeseCLBR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AzzoliniRML19,
author = {Damiano Azzolini and
Fabrizio Riguzzi and
Franco Masotti and
Evelina Lamma},
editor = {Mario Alviano and
Gianluigi Greco and
Francesco Scarcello},
title = {A Comparison of {MCMC} Sampling for Probabilistic Logic Programming},
booktitle = {AI*IA 2019 - Advances in Artificial Intelligence - XVIIIth International
Conference of the Italian Association for Artificial Intelligence,
Rende, Italy, November 19-22, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11946},
pages = {18--29},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35166-3\_2},
doi = {10.1007/978-3-030-35166-3\_2},
timestamp = {Tue, 26 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/AzzoliniRML19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bis/AzzoliniRL19,
author = {Damiano Azzolini and
Fabrizio Riguzzi and
Evelina Lamma},
editor = {Witold Abramowicz and
Rafael Corchuelo},
title = {Analyzing Transaction Fees with Probabilistic Logic Programming},
booktitle = {Business Information Systems Workshops - {BIS} 2019 International
Workshops, Seville, Spain, June 26-28, 2019, Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {373},
pages = {243--254},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-36691-9\_21},
doi = {10.1007/978-3-030-36691-9\_21},
timestamp = {Wed, 18 Dec 2019 13:23:03 +0100},
biburl = {https://dblp.org/rec/conf/bis/AzzoliniRL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CotaRZL19,
author = {Giuseppe Cota and
Fabrizio Riguzzi and
Riccardo Zese and
Evelina Lamma},
editor = {Alberto Casagrande and
Eugenio G. Omodeo},
title = {KRaider: a Crawler for Linked Data},
booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
Trieste, Italy, June 19-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2396},
pages = {202--216},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2396/paper35.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CotaRZL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/Gavanelli0L19,
author = {Marco Gavanelli and
Marco Alberti and
Evelina Lamma},
editor = {Alberto Casagrande and
Eugenio G. Omodeo},
title = {Accountable Protocols in Abductive Logic Programming},
booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
Trieste, Italy, June 19-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2396},
publisher = {CEUR-WS.org},
year = {2019},
timestamp = {Tue, 02 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cilc/Gavanelli0L19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ZeseBRCL18,
author = {Riccardo Zese and
Elena Bellodi and
Fabrizio Riguzzi and
Giuseppe Cota and
Evelina Lamma},
title = {Tableau reasoning for description logics and its extension to probabilities},
journal = {Ann. Math. Artif. Intell.},
volume = {82},
number = {1-3},
pages = {101--130},
year = {2018},
url = {https://doi.org/10.1007/s10472-016-9529-3},
doi = {10.1007/S10472-016-9529-3},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/ZeseBRCL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ChesaniGLMM18,
author = {Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Marco Montali},
title = {Evaluating Compliance: From {LTL} to Abductive Logic Programming},
journal = {Fundam. Informaticae},
volume = {159},
number = {1-2},
pages = {35--63},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1657},
doi = {10.3233/FI-2018-1657},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/ChesaniGLMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GavanelliLRBZC18,
author = {Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi and
Elena Bellodi and
Riccardo Zese and
Giuseppe Cota},
title = {Reasoning on Datalog\({}^{\mbox{{\(\pm\)}}}\) Ontologies with Abductive
Logic Programming},
journal = {Fundam. Informaticae},
volume = {159},
number = {1-2},
pages = {65--93},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1658},
doi = {10.3233/FI-2018-1658},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/GavanelliLRBZC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toit/GavanelliAL18,
author = {Marco Gavanelli and
Marco Alberti and
Evelina Lamma},
title = {Accountable Protocols in Abductive Logic Programming},
journal = {{ACM} Trans. Internet Techn.},
volume = {18},
number = {4},
pages = {46:1--46:20},
year = {2018},
url = {https://doi.org/10.1145/3107936},
doi = {10.1145/3107936},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toit/GavanelliAL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LammaS18,
author = {Evelina Lamma and
Terrance Swift},
title = {Editorial: 29th International conference on logic programming special
issue - {ADDENDUM}},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {1},
pages = {121},
year = {2018},
url = {https://doi.org/10.1017/S1471068417000229},
doi = {10.1017/S1471068417000229},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LammaS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/FadjaLR18,
author = {Arnaud Nguembang Fadja and
Evelina Lamma and
Fabrizio Riguzzi},
editor = {Marco Maratea and
Mauro Vallati},
title = {Vision Inspection with Neural Networks},
booktitle = {Proceedings of the RiCeRcA Workshop co-located with the 17th International
Conference of the Italian Association for Artificial Intelligence,
RiCeRcA@Ai*iA 2018, Trento, Italy, November 22, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2272},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2272/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/aiia/FadjaLR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/FadjaRL18,
author = {Arnaud Nguembang Fadja and
Fabrizio Riguzzi and
Evelina Lamma},
editor = {Chiara Ghidini and
Bernardo Magnini and
Andrea Passerini and
Paolo Traverso},
title = {Expectation Maximization in Deep Probabilistic Logic Programming},
booktitle = {AI*IA 2018 - Advances in Artificial Intelligence - XVIIth International
Conference of the Italian Association for Artificial Intelligence,
Trento, Italy, November 20-23, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11298},
pages = {293--306},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03840-3\_22},
doi = {10.1007/978-3-030-03840-3\_22},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/FadjaRL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/ChesaniCLMR18,
author = {Federico Chesani and
Giuseppe Cota and
Evelina Lamma and
Paola Mello and
Fabrizio Riguzzi},
editor = {Paolo Felli and
Marco Montali},
title = {A Decision Support System for Food Recycling based on Constraint Logic
Programming and Ontological Reasoning},
booktitle = {Proceedings of the 33rd Italian Conference on Computational Logic,
Bolzano, Italy, September 20-22, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2214},
pages = {117--131},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2214/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/ChesaniCLMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/FadjaRL18,
author = {Arnaud Nguembang Fadja and
Fabrizio Riguzzi and
Evelina Lamma},
editor = {Elena Bellodi and
Tom Schrijvers},
title = {Learning the Parameters of Deep Probabilistic Logic Programs},
booktitle = {Proceedings of the 5th International Workshop on Probabilistic Logic
Programming, {PLP} 2018, co-located with the 28th International Conference
on Inductive Logic Programming {(ILP} 2018), Ferrara, Italy, September
1, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2219},
pages = {9--14},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2219/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/ilp/FadjaRL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/AzzoliniRLBZ18,
author = {Damiano Azzolini and
Fabrizio Riguzzi and
Evelina Lamma and
Elena Bellodi and
Riccardo Zese},
editor = {Elena Bellodi and
Tom Schrijvers},
title = {Modeling Bitcoin Protocols with Probabilistic Logic Programming},
booktitle = {Proceedings of the 5th International Workshop on Probabilistic Logic
Programming, {PLP} 2018, co-located with the 28th International Conference
on Inductive Logic Programming {(ILP} 2018), Ferrara, Italy, September
1, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2219},
pages = {49--61},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2219/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ilp/AzzoliniRLBZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sum/CotaRZBL18,
author = {Giuseppe Cota and
Fabrizio Riguzzi and
Riccardo Zese and
Elena Bellodi and
Evelina Lamma},
editor = {Davide Ciucci and
Gabriella Pasi and
Barbara Vantaggi},
title = {A Modular Inference System for Probabilistic Description Logics},
booktitle = {Scalable Uncertainty Management - 12th International Conference, {SUM}
2018, Milan, Italy, October 3-5, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11142},
pages = {78--92},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00461-3\_6},
doi = {10.1007/978-3-030-00461-3\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sum/CotaRZBL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-06180,
author = {Riccardo Zese and
Elena Bellodi and
Giuseppe Cota and
Evelina Lamma and
Fabrizio Riguzzi},
title = {Probabilistic {DL} Reasoning with Pinpointing Formulas: {A} Prolog-based
Approach},
journal = {CoRR},
volume = {abs/1809.06180},
year = {2018},
url = {http://arxiv.org/abs/1809.06180},
eprinttype = {arXiv},
eprint = {1809.06180},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-06180.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/RiguzziBZCL17,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Riccardo Zese and
Giuseppe Cota and
Evelina Lamma},
title = {A survey of lifted inference approaches for probabilistic logic programming
under the distribution semantics},
journal = {Int. J. Approx. Reason.},
volume = {80},
pages = {313--333},
year = {2017},
url = {https://doi.org/10.1016/j.ijar.2016.10.002},
doi = {10.1016/J.IJAR.2016.10.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/RiguzziBZCL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/midm/BellodiVBL17,
author = {Elena Bellodi and
Emidia Vagnoni and
Barbara Bonvento and
Evelina Lamma},
title = {Economic and organizational impact of a clinical decision support
system on laboratory test ordering},
journal = {{BMC} Medical Informatics Decis. Mak.},
volume = {17},
number = {1},
pages = {179:1--179:9},
year = {2017},
url = {https://doi.org/10.1186/s12911-017-0574-6},
doi = {10.1186/S12911-017-0574-6},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/midm/BellodiVBL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/BellodiLRZC17,
author = {Elena Bellodi and
Evelina Lamma and
Fabrizio Riguzzi and
Riccardo Zese and
Giuseppe Cota},
title = {A web system for reasoning with probabilistic {OWL}},
journal = {Softw. Pract. Exp.},
volume = {47},
number = {1},
pages = {125--142},
year = {2017},
url = {https://doi.org/10.1002/spe.2410},
doi = {10.1002/SPE.2410},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/BellodiLRZC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/0001LRZ17,
author = {Marco Alberti and
Evelina Lamma and
Fabrizio Riguzzi and
Riccardo Zese},
editor = {Dario Della Monica and
Aniello Murano and
Sasha Rubin and
Luigi Sauro},
title = {Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases},
booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
Science and the 32nd Italian Conference on Computational Logic co-located
with the 2017 {IEEE} International Workshop on Measurements and Networking
{(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1949},
pages = {248--261},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1949/CILCpaper01.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/0001LRZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/FadjaLR17,
author = {Arnaud Nguembang Fadja and
Evelina Lamma and
Fabrizio Riguzzi},
editor = {Riccardo Zese and
Christian Theil Have},
title = {Deep Probabilistic Logic Programming},
booktitle = {Proceedings of the Workshop on Probabilistic Logic Programming 2017
co-located with 27th International Conference on Inductive Logic Programming
{(ILP} 2017), Orl{\'{e}}ans, France, September 7, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1916},
pages = {3--14},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1916/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/ilp/FadjaLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/0001LRZ17,
author = {Marco Alberti and
Evelina Lamma and
Fabrizio Riguzzi and
Riccardo Zese},
editor = {Riccardo Zese and
Christian Theil Have},
title = {A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge
Bases},
booktitle = {Proceedings of the Workshop on Probabilistic Logic Programming 2017
co-located with 27th International Conference on Inductive Logic Programming
{(ILP} 2017), Orl{\'{e}}ans, France, September 7, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1916},
pages = {40--50},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1916/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ilp/0001LRZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/AlbertiGLRZ17,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi and
Riccardo Zese},
editor = {Stefania Costantini and
Enrico Franconi and
William Van Woensel and
Roman Kontchakov and
Fariba Sadri and
Dumitru Roman},
title = {Dischargeable Obligations in Abductive Logic Programming},
booktitle = {Rules and Reasoning - International Joint Conference, RuleML+RR 2017,
London, UK, July 12-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10364},
pages = {7--21},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61252-2\_2},
doi = {10.1007/978-3-319-61252-2\_2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/AlbertiGLRZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ida/BellodiRL16,
author = {Elena Bellodi and
Fabrizio Riguzzi and
Evelina Lamma},
title = {Statistical relational learning for workflow mining},
journal = {Intell. Data Anal.},
volume = {20},
number = {3},
pages = {515--541},
year = {2016},
url = {https://doi.org/10.3233/IDA-160818},
doi = {10.3233/IDA-160818},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ida/BellodiRL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/RiguzziBLZC16,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma and
Riccardo Zese and
Giuseppe Cota},
title = {Probabilistic logic programming on the web},
journal = {Softw. Pract. Exp.},
volume = {46},
number = {10},
pages = {1381--1396},
year = {2016},
url = {https://doi.org/10.1002/spe.2386},
doi = {10.1002/SPE.2386},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/RiguzziBLZC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/RiguzziLABZC16,
author = {Fabrizio Riguzzi and
Evelina Lamma and
Marco Alberti and
Elena Bellodi and
Riccardo Zese and
Giuseppe Cota},
editor = {Federico Chesani and
Paola Mello and
Michela Milano},
title = {Probabilistic Logic Programming for Natural Language Processing},
booktitle = {Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning:
{A} Challenge for Next-generation Intelligent Agents 2016 co-located
with 15th International Conference of the Italian Association for
Artificial Intelligence (AIxIA 2016), Genova, Italy, November 28th,
2016},
series = {{CEUR} Workshop Proceedings},
volume = {1802},
pages = {30--37},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1802/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/aiia/RiguzziLABZC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AlbertiLRZ16,
author = {Marco Alberti and
Evelina Lamma and
Fabrizio Riguzzi and
Riccardo Zese},
editor = {Giovanni Adorni and
Stefano Cagnoni and
Marco Gori and
Marco Maratea},
title = {Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics},
booktitle = {AI*IA 2016: Advances in Artificial Intelligence - XVth International
Conference of the Italian Association for Artificial Intelligence,
Genova, Italy, November 29 - December 1, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10037},
pages = {364--376},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49130-1\_27},
doi = {10.1007/978-3-319-49130-1\_27},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/AlbertiLRZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/RiguzziBZCL16,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Riccardo Zese and
Giuseppe Cota and
Evelina Lamma},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {Scaling Structure Learning of Probabilistic Logic Programs by MapReduce},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {1602--1603},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-1602},
doi = {10.3233/978-1-61499-672-9-1602},
timestamp = {Tue, 02 Nov 2021 15:59:05 +0100},
biburl = {https://dblp.org/rec/conf/ecai/RiguzziBZCL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/AlbertiBCLRZ16,
author = {Marco Alberti and
Elena Bellodi and
Giuseppe Cota and
Evelina Lamma and
Fabrizio Riguzzi and
Riccardo Zese},
editor = {Arjen Hommersom and
Samer A. Abdallah},
title = {Probabilistic Constraint Logic Theories},
booktitle = {Proceedings of the 3rd International Workshop on Probabilistic Logic
Programming co-located with 26th International Conference on Inductive
Logic Programming {(ILP} 2016), London, UK, September 3, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1661},
pages = {15--28},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1661/paper-02.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/ilp/AlbertiBCLRZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/semweb/RiguzziBLZ15,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma and
Riccardo Zese},
title = {Probabilistic Description Logics under the distribution semantics},
journal = {Semantic Web},
volume = {6},
number = {5},
pages = {477--501},
year = {2015},
url = {https://doi.org/10.3233/SW-140154},
doi = {10.3233/SW-140154},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/semweb/RiguzziBLZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ZeseBRL15,
author = {Riccardo Zese and
Elena Bellodi and
Fabrizio Riguzzi and
Evelina Lamma},
editor = {Elena Bellodi and
Alessio Bonfietti},
title = {Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming
Techniques},
booktitle = {Proceedings of the Doctoral Consortium {(DC)} co-located with the
14th Conference of the Italian Association for Artificial Intelligence
(AI*IA 2015), Ferrara, Italy, September 23-24, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1485},
pages = {1--6},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1485/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/ZeseBRL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CotaZBLR15,
author = {Giuseppe Cota and
Riccardo Zese and
Elena Bellodi and
Evelina Lamma and
Fabrizio Riguzzi},
editor = {Elena Bellodi and
Alessio Bonfietti},
title = {Learning Probabilistic Ontologies with Distributed Parameter Learning},
booktitle = {Proceedings of the Doctoral Consortium {(DC)} co-located with the
14th Conference of the Italian Association for Artificial Intelligence
(AI*IA 2015), Ferrara, Italy, September 23-24, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1485},
pages = {7--12},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1485/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CotaZBLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/MontaliCGLM15,
author = {Marco Montali and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello},
editor = {Davide Ancona and
Marco Maratea and
Viviana Mascardi},
title = {Evaluating compliance: from {LTL} to abductive logic programming},
booktitle = {Proceedings of the 30th Italian Conference on Computational Logic,
Genova, Italy, July 1-3, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1459},
pages = {101--116},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1459/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/MontaliCGLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/GavanelliLRBZC15,
author = {Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi and
Elena Bellodi and
Riccardo Zese and
Giuseppe Cota},
editor = {Davide Ancona and
Marco Maratea and
Viviana Mascardi},
title = {Abductive logic programming for Datalog +/- ontologies},
booktitle = {Proceedings of the 30th Italian Conference on Computational Logic,
Genova, Italy, July 1-3, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1459},
pages = {128--143},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1459/paper21.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/GavanelliLRBZC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GavanelliLRBZC15,
author = {Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi and
Elena Bellodi and
Riccardo Zese and
Giuseppe Cota},
editor = {Marina De Vos and
Thomas Eiter and
Yuliya Lierler and
Francesca Toni},
title = {An Abductive Framework for Datalog{\(\pm\)} Ontologies},
booktitle = {Proceedings of the Technical Communications of the 31st International
Conference on Logic Programming {(ICLP} 2015), Cork, Ireland, August
31 - September 4, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1433},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1433/tc\_89.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/GavanelliLRBZC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/GalleraniPPGBLB15,
author = {Massimo Gallerani and
Dario Pelizzola and
Marcello Pivanti and
Giovanni Guerra and
Michela Boni and
Evelina Lamma and
Elena Bellodi},
title = {Reducing Laboratory Examinations by a Computer-Aided Clinical Decision
Support System},
booktitle = {27th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2015, Vietri sul Mare, Italy, November 9-11, 2015},
pages = {752--759},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICTAI.2015.112},
doi = {10.1109/ICTAI.2015.112},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/GalleraniPPGBLB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RiguzziBLZ15,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma and
Riccardo Zese},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Reasoning with Probabilistic Ontologies},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {4310--4316},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/613},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/RiguzziBLZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZeseBLR15,
author = {Riccardo Zese and
Elena Bellodi and
Evelina Lamma and
Fabrizio Riguzzi},
editor = {Odile Papini and
Salem Benferhat and
Laurent Garcia and
Marie{-}Laure Mugnier and
Eduardo L. Ferm{\'{e}} and
Thomas Meyer and
Renata Wassermann and
Torsten Hahmann and
Ken Baclawski and
Adila Krisnadhi and
Pavel Klinov and
Stefano Borgo and
Oliver Kutz and
Daniele Porello},
title = {Logic Programming Techniques for Reasoning with Probabilistic Ontologies},
booktitle = {Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine
Winter of Ontology co-located with the 24th International Joint Conference
on Artificial Intelligence {(IJCAI} 2015), Buenos Aires, Argentina,
July 25-27, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1517},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1517/JOWO-15\_ontolp\_paper\_3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:31 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/ZeseBLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/CotaZBRL15,
author = {Giuseppe Cota and
Riccardo Zese and
Elena Bellodi and
Fabrizio Riguzzi and
Evelina Lamma},
editor = {Katsumi Inoue and
Hayato Ohwada and
Akihiro Yamamoto},
title = {Distributed Parameter Learning for Probabilistic Ontologies},
booktitle = {Inductive Logic Programming - 25th International Conference, {ILP}
2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9575},
pages = {30--45},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-40566-7\_3},
doi = {10.1007/978-3-319-40566-7\_3},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/CotaZBRL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/GavanelliLRBZC15,
author = {Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi and
Elena Bellodi and
Riccardo Zese and
Giuseppe Cota},
editor = {Mihoko Otake and
Setsuya Kurahashi and
Yuiko Ota and
Ken Satoh and
Daisuke Bekki},
title = {Abductive Logic Programming for Normative Reasoning and Ontologies},
booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2015 Workshops,
LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan,
November 16-18, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10091},
pages = {187--203},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-50953-2\_14},
doi = {10.1007/978-3-319-50953-2\_14},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jsai/GavanelliLRBZC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2015,
editor = {Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi},
title = {AI*IA 2015, Advances in Artificial Intelligence - XIVth International
Conference of the Italian Association for Artificial Intelligence,
Ferrara, Italy, September 23-25, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9336},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24309-2},
doi = {10.1007/978-3-319-24309-2},
isbn = {978-3-319-24308-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BellodiLRCZ14,
author = {Elena Bellodi and
Evelina Lamma and
Fabrizio Riguzzi and
V{\'{\i}}tor Santos Costa and
Riccardo Zese},
title = {Lifted Variable Elimination for Probabilistic Logic Programming},
journal = {Theory Pract. Log. Program.},
volume = {14},
number = {4-5},
pages = {681--695},
year = {2014},
url = {https://doi.org/10.1017/S1471068414000283},
doi = {10.1017/S1471068414000283},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BellodiLRCZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichi/GalleraniPPBLB14,
author = {Massimo Gallerani and
Dario Pelizzola and
Marcello Pivanti and
Michela Boni and
Evelina Lamma and
Elena Bellodi},
title = {Appropriateness of Repeated Execution of Laboratory Examinations:
{A} {CDSS} Approach},
booktitle = {2014 {IEEE} International Conference on Healthcare Informatics, {ICHI}
2014, Verona, Italy, September 15-17, 2014},
pages = {161--169},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICHI.2014.29},
doi = {10.1109/ICHI.2014.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ichi/GalleraniPPBLB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/RiguzziBLZC13,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma and
Riccardo Zese and
Giuseppe Cota},
editor = {Fernando Bobillo and
Rommel N. Carvalho and
Paulo Cesar G. da Costa and
Claudia d'Amato and
Nicola Fanizzi and
Kathryn B. Laskey and
Kenneth J. Laskey and
Thomas Lukasiewicz and
Matthias Nickles and
Michael Pool},
title = {Learning Probabilistic Description Logics},
booktitle = {Uncertainty Reasoning for the Semantic Web {III} - {ISWC} International
Workshops, {URSW} 2011-2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8816},
pages = {63--78},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13413-0\_4},
doi = {10.1007/978-3-319-13413-0\_4},
timestamp = {Wed, 07 Dec 2022 23:12:16 +0100},
biburl = {https://dblp.org/rec/conf/semweb/RiguzziBLZC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/ZeseBLRA13,
author = {Riccardo Zese and
Elena Bellodi and
Evelina Lamma and
Fabrizio Riguzzi and
Fabiano Aguiari},
editor = {Fernando Bobillo and
Rommel N. Carvalho and
Paulo Cesar G. da Costa and
Claudia d'Amato and
Nicola Fanizzi and
Kathryn B. Laskey and
Kenneth J. Laskey and
Thomas Lukasiewicz and
Matthias Nickles and
Michael Pool},
title = {Semantics and Inference for Probabilistic Description Logics},
booktitle = {Uncertainty Reasoning for the Semantic Web {III} - {ISWC} International
Workshops, {URSW} 2011-2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8816},
pages = {79--99},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13413-0\_5},
doi = {10.1007/978-3-319-13413-0\_5},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/ZeseBLRA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BellodiLRCZ14,
author = {Elena Bellodi and
Evelina Lamma and
Fabrizio Riguzzi and
V{\'{\i}}tor Santos Costa and
Riccardo Zese},
title = {Lifted Variable Elimination for Probabilistic Logic Programming},
journal = {CoRR},
volume = {abs/1405.3218},
year = {2014},
url = {http://arxiv.org/abs/1405.3218},
eprinttype = {arXiv},
eprint = {1405.3218},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BellodiLRCZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cars/ChiarelliLS13,
author = {Tommaso Chiarelli and
Evelina Lamma and
Tommaso Sansoni},
title = {{CT} dataset anisotropy management for oral implantology planning
software},
journal = {Int. J. Comput. Assist. Radiol. Surg.},
volume = {8},
number = {2},
pages = {247--257},
year = {2013},
url = {https://doi.org/10.1007/s11548-012-0773-7},
doi = {10.1007/S11548-012-0773-7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cars/ChiarelliLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AlbertiGL13,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma},
title = {The CHR-based Implementation of the {SCIFF} Abductive System},
journal = {Fundam. Informaticae},
volume = {124},
number = {4},
pages = {365--381},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-839},
doi = {10.3233/FI-2013-839},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/AlbertiGL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LammaS13,
author = {Evelina Lamma and
Terrance Swift},
title = {Editorial: 29th International Conference on Logic Programming special
issue},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {465--470},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000112},
doi = {10.1017/S1471068413000112},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LammaS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/PivaGFL13,
author = {Alice Piva and
Giacomo Gamberoni and
Denis Ferraretti and
Evelina Lamma},
editor = {Matteo Baldoni and
Federico Chesani and
Paola Mello and
Marco Montali},
title = {di4g: Uno Strumento di Clustering per l'Analisi Integrata di Dati
Geologici},
booktitle = {Proceedings of the Workshop Popularize Artificial Intelligence co-located
with the 13th Conference of the Italian Association for Artificial
Intelligence (AI*IA 2013), Turin, Italy, December 5, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1107},
pages = {73--79},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1107/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/PivaGFL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/RiguzziBLZ13,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma and
Riccardo Zese},
editor = {Matteo Baldoni and
Cristina Baroglio and
Guido Boella and
Roberto Micalizio},
title = {Computing Instantiated Explanations in {OWL} {DL}},
booktitle = {AI*IA 2013: Advances in Artificial Intelligence - XIIIth International
Conference of the Italian Association for Artificial Intelligence,
Turin, Italy, December 4-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8249},
pages = {397--408},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03524-6\_34},
doi = {10.1007/978-3-319-03524-6\_34},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/RiguzziBLZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/ZeseBLR13,
author = {Riccardo Zese and
Elena Bellodi and
Evelina Lamma and
Fabrizio Riguzzi},
editor = {Domenico Cantone and
Marianna Nicolosi Asmundo},
title = {A Description Logics Tableau Reasoner in Prolog},
booktitle = {Proceedings of the 28th Italian Conference on Computational Logic,
Catania, Italy, September 25-27, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1068},
pages = {33--47},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1068/paper-l02.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/ZeseBLR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/RiguzziBLZ13,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma and
Riccardo Zese},
editor = {Gerson Zaverucha and
V{\'{\i}}tor Santos Costa and
Aline Marins Paes},
title = {Learning the Parameters of Probabilistic Description Logics},
booktitle = {Late Breaking Papers of the 23rd International Conference on Inductive
Logic Programming, Rio de Janeiro, Brazil, August 28th - to - 30th,
2013},
series = {{CEUR} Workshop Proceedings},
volume = {1187},
pages = {46--51},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1187/paper-08.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/ilp/RiguzziBLZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/RiguzziBLZ13,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma and
Riccardo Zese},
editor = {Wolfgang Faber and
Domenico Lembo},
title = {{BUNDLE:} {A} Reasoner for Probabilistic Ontologies},
booktitle = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7994},
pages = {183--197},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39666-3\_14},
doi = {10.1007/978-3-642-39666-3\_14},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/RiguzziBLZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/RiguzziBLZ13a,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma and
Riccardo Zese},
editor = {Wolfgang Faber and
Domenico Lembo},
title = {Parameter Learning for Probabilistic Ontologies},
booktitle = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7994},
pages = {265--270},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39666-3\_26},
doi = {10.1007/978-3-642-39666-3\_26},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rr/RiguzziBLZ13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/FerrarettiGL12,
author = {Denis Ferraretti and
Giacomo Gamberoni and
Evelina Lamma},
title = {Unsupervised and supervised learning in cascade for petroleum geology},
journal = {Expert Syst. Appl.},
volume = {39},
number = {10},
pages = {9504--9514},
year = {2012},
url = {https://doi.org/10.1016/j.eswa.2012.02.104},
doi = {10.1016/J.ESWA.2012.02.104},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eswa/FerrarettiGL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BuffonLRF12,
author = {Ludovico Buffon and
Evelina Lamma and
Fabrizio Riguzzi and
Davide Formenti},
editor = {Matteo Baldoni and
Federico Chesani and
Bernardo Magnini and
Paola Mello and
Marco Montali},
title = {Un sistema di Vision Inspection basato su reti neurali},
booktitle = {Popularize Artificial Intelligence, Proceedings of the AI*IA Workshop
and Prize for Celebrating 100th Anniversary of Alan Turing's Birth,
Rome, Italy, June 15, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {860},
pages = {1--6},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-860/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/BuffonLRF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/DerboniLZ12,
author = {Marco Derboni and
Evelina Lamma and
Antonio Zaccaro},
editor = {Matteo Baldoni and
Federico Chesani and
Bernardo Magnini and
Paola Mello and
Marco Montali},
title = {Miglioramento di algoritmi di elaborazione di immagini da scanner
3D tramite Simulated Annealing},
booktitle = {Popularize Artificial Intelligence, Proceedings of the AI*IA Workshop
and Prize for Celebrating 100th Anniversary of Alan Turing's Birth,
Rome, Italy, June 15, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {860},
pages = {7--13},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-860/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/DerboniLZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/FerrarettiGL12,
author = {Denis Ferraretti and
Giacomo Gamberoni and
Evelina Lamma},
editor = {Matteo Baldoni and
Federico Chesani and
Bernardo Magnini and
Paola Mello and
Marco Montali},
title = {{I2AM:} a Semi-Automatic System for Data Interpretation in Petroleum
Geology},
booktitle = {Popularize Artificial Intelligence, Proceedings of the AI*IA Workshop
and Prize for Celebrating 100th Anniversary of Alan Turing's Birth,
Rome, Italy, June 15, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {860},
pages = {14--20},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-860/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/FerrarettiGL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/RiguzziBLZ12,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma and
Riccardo Zese},
editor = {Matteo Baldoni and
Federico Chesani and
Bernardo Magnini and
Paola Mello and
Marco Montali},
title = {Semantics and Inference for Probabilistic Ontologies},
booktitle = {Popularize Artificial Intelligence, Proceedings of the AI*IA Workshop
and Prize for Celebrating 100th Anniversary of Alan Turing's Birth,
Rome, Italy, June 15, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {860},
pages = {41--46},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-860/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/RiguzziBLZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AlbertiGL12,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma},
editor = {Alexander Artikis and
Robert Craven and
Nihan Kesim Cicekli and
Babak Sadighi and
Kostas Stathis},
title = {Deon + : Abduction and Constraints for Normative Reasoning},
booktitle = {Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7360},
pages = {308--328},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29414-3\_17},
doi = {10.1007/978-3-642-29414-3\_17},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/AlbertiGL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/RiguzziBL12,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma},
editor = {Francesca A. Lisi},
title = {Probabilistic Ontologies in Datalog+/-},
booktitle = {Proceedings of the 9th Italian Convention on Computational Logic,
Rome, Italy, June 6-7, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {857},
pages = {221--235},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-857/paper\_f16.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/RiguzziBL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compimage/ChiarelliLS12,
author = {Tommaso Chiarelli and
Evelina Lamma and
Tommaso Sansoni},
editor = {Paolo Di Giamberardino and
Daniela Iacoviello and
Jo{\~{a}}o Manuel R. S. Tavares and
Renato M. Natal Jorge},
title = {Mandibular nerve canal identification for preoperative planning in
oral implantology},
booktitle = {Computational Modelling of Objects Represented in Images - Fundamentals,
Methods and Applications III, Third International Symposium, CompIMAGE
2012, Rome, Italy, September 5-7, 2012},
pages = {193--198},
publisher = {{CRC} Press},
year = {2012},
url = {https://doi.org/10.1201/b12753-35},
doi = {10.1201/B12753-35},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compimage/ChiarelliLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/RiguzziBL12,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma},
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {Probabilistic Datalog+/- under the Distribution Semantics},
booktitle = {Proceedings of the 2012 International Workshop on Description Logics,
DL-2012, Rome, Italy, June 7-10, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {846},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-846/paper\_25.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/RiguzziBL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/RiguzziBLZ12,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma and
Riccardo Zese},
editor = {Fernando Bobillo and
Rommel N. Carvalho and
Paulo Cesar G. da Costa and
Claudia d'Amato and
Nicola Fanizzi and
Kathryn B. Laskey and
Kenneth J. Laskey and
Thomas Lukasiewicz and
Trevor Martin and
Matthias Nickles and
Michael Pool},
title = {Epistemic and Statistical Probabilistic Ontologies},
booktitle = {Proceedings of the 8th International Workshop on Uncertainty Reasoning
for the Semantic Web, Boston, USA, November 11, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {900},
pages = {3--14},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-900/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:08 +0100},
biburl = {https://dblp.org/rec/conf/semweb/RiguzziBLZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/AlbertiGLRS11,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi and
Sergio Storari},
title = {Learning specifications of interaction protocols and business processes
and proving their properties},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {71--75},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0006},
doi = {10.3233/IA-2011-0006},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/AlbertiGLRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jwsr/AlbertiCCGLMMT11,
author = {Marco Alberti and
Massimiliano Cattafi and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Marco Montali and
Paolo Torroni},
title = {A Computational Logic Application Framework for Service Discovery
and Contracting},
journal = {Int. J. Web Serv. Res.},
volume = {8},
number = {3},
pages = {1--25},
year = {2011},
url = {https://doi.org/10.4018/IJWSR.2011070101},
doi = {10.4018/IJWSR.2011070101},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jwsr/AlbertiCCGLMMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/FerrarettiLGF11,
author = {Denis Ferraretti and
Evelina Lamma and
Giacomo Gamberoni and
Michele Febo},
editor = {Roberto Pirrone and
Filippo Sorbello},
title = {Clustering and Classification Techniques for Blind Predictions of
Reservoir Facies},
booktitle = {AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth
International Conference of the Italian Association for Artificial
Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6934},
pages = {348--359},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23954-0\_32},
doi = {10.1007/978-3-642-23954-0\_32},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/FerrarettiLGF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AlbertiGL11,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma},
editor = {Fabio Fioravanti},
title = {The CHR-based Implementation of the {SCIFF} Abductive System},
booktitle = {Proceedings of the 26th Italian Conference on Computational Logic,
Pescara, Italy, August 31 - September 2, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {810},
pages = {163--177},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-810/paper-l10.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/AlbertiGL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciap/FerrarettiCGL11,
author = {Denis Ferraretti and
Luca Casarotti and
Giacomo Gamberoni and
Evelina Lamma},
editor = {Giuseppe Maino and
Gian Luca Foresti},
title = {Spot Detection in Images with Noisy Background},
booktitle = {Image Analysis and Processing - {ICIAP} 2011 - 16th International
Conference, Ravenna, Italy, September 14-16, 2011, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {6978},
pages = {575--584},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24085-0\_59},
doi = {10.1007/978-3-642-24085-0\_59},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/iciap/FerrarettiCGL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/FerrarettiLGFC11,
author = {Denis Ferraretti and
Evelina Lamma and
Giacomo Gamberoni and
Michele Febo and
Raffaele Di Cuia},
editor = {Dominik Ryzko and
Henryk Rybinski and
Piotr Gawrysiak and
Marzena Kryszkiewicz},
title = {Integrating Clustering and Classification Techniques: {A} Case Study
for Reservoir Facies Prediction},
booktitle = {Emerging Intelligent Technologies in Industry, 19th International
Symposium, {ISMIS} 2011, Warsaw, Poland, June 28-30, 2011. Proceedings
of the Industrial Session},
series = {Studies in Computational Intelligence},
volume = {369},
pages = {21--34},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22732-5\_3},
doi = {10.1007/978-3-642-22732-5\_3},
timestamp = {Sat, 19 Oct 2019 20:13:57 +0200},
biburl = {https://dblp.org/rec/conf/ismis/FerrarettiLGFC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/BellodiLRA11,
author = {Elena Bellodi and
Evelina Lamma and
Fabrizio Riguzzi and
Simone Albani},
editor = {Fernando Bobillo and
Rommel N. Carvalho and
Paulo Cesar G. da Costa and
Claudia d'Amato and
Nicola Fanizzi and
Kathryn B. Laskey and
Thomas Lukasiewicz and
Trevor Martin and
Matthias Nickles},
title = {A Distribution Semantics for Probabilistic Ontologies},
booktitle = {Proceedings of the 7th International Workshop on Uncertainty Reasoning
for the Semantic Web {(URSW} 2011), Bonn, Germany, October 23, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {778},
pages = {75--86},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-778/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:05 +0100},
biburl = {https://dblp.org/rec/conf/semweb/BellodiLRA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cars/ChiarelliLS10,
author = {Tommaso Chiarelli and
Evelina Lamma and
Tommaso Sansoni},
title = {A fully 3D work context for oral implant planning and simulation},
journal = {Int. J. Comput. Assist. Radiol. Surg.},
volume = {5},
number = {1},
pages = {57--67},
year = {2010},
url = {https://doi.org/10.1007/s11548-009-0394-y},
doi = {10.1007/S11548-009-0394-Y},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cars/ChiarelliLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MontaliTCMAL10,
author = {Marco Montali and
Paolo Torroni and
Federico Chesani and
Paola Mello and
Marco Alberti and
Evelina Lamma},
title = {Abductive Logic Programming as an Effective Technology for the Static
Verification of Declarative Business Processes},
journal = {Fundam. Informaticae},
volume = {102},
number = {3-4},
pages = {325--361},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-310},
doi = {10.3233/FI-2010-310},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MontaliTCMAL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/FerrarettiTCPLS10,
author = {Denis Ferraretti and
Luca Tagliavini and
Raffaele Di Cuia and
Mariachiara Puviani and
Evelina Lamma and
Sergio Storari},
title = {Use Of Artificial Intelligence Techniques To The Interpretation Of
Subsurface Log Images},
journal = {Intelligenza Artificiale},
volume = {4},
number = {1},
pages = {27--35},
year = {2010},
timestamp = {Mon, 17 Jan 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ia/FerrarettiTCPLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tim/ChiarelliLS10,
author = {Tommaso Chiarelli and
Evelina Lamma and
Tommaso Sansoni},
title = {Techniques to Improve Preoperative Planning Precision for Oral Implantology},
journal = {{IEEE} Trans. Instrum. Meas.},
volume = {59},
number = {11},
pages = {2887--2897},
year = {2010},
url = {https://doi.org/10.1109/TIM.2010.2046550},
doi = {10.1109/TIM.2010.2046550},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tim/ChiarelliLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AlbertiGL10,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma},
editor = {Wolfgang Faber and
Nicola Leone},
title = {Runtime Addition of Integrity Constraints in {SCIFF}},
booktitle = {Proceedings of the 25th Italian Conference on Computational Logic,
Rende, Italy, July 7-9, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {598},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-598/paper02.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/AlbertiGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/BellodiRL10,
author = {Elena Bellodi and
Fabrizio Riguzzi and
Evelina Lamma},
editor = {Wolfgang Faber and
Nicola Leone},
title = {Probabilistic Logic-Based Process Mining},
booktitle = {Proceedings of the 25th Italian Conference on Computational Logic,
Rende, Italy, July 7-9, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {598},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-598/paper17.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/BellodiRL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AlbertiGL10,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma},
editor = {Manuel V. Hermenegildo and
Torsten Schaub},
title = {Runtime Addition of Integrity Constraints in an Abductive Proof Procedure},
booktitle = {Technical Communications of the 26th International Conference on Logic
Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
series = {LIPIcs},
volume = {7},
pages = {4--13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2010.4},
doi = {10.4230/LIPICS.ICLP.2010.4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AlbertiGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ksem/BellodiRL10,
author = {Elena Bellodi and
Fabrizio Riguzzi and
Evelina Lamma},
editor = {Yaxin Bi and
Mary{-}Anne Williams},
title = {Probabilistic Declarative Process Mining},
booktitle = {Knowledge Science, Engineering and Management, 4th International Conference,
{KSEM} 2010, Belfast, Northern Ireland, UK, September 1-3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6291},
pages = {292--303},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15280-1\_28},
doi = {10.1007/978-3-642-15280-1\_28},
timestamp = {Thu, 14 Oct 2021 10:12:35 +0200},
biburl = {https://dblp.org/rec/conf/ksem/BellodiRL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/CattafiLRS10,
author = {Massimiliano Cattafi and
Evelina Lamma and
Fabrizio Riguzzi and
Sergio Storari},
editor = {Edward Szczerbicki and
Ngoc Thanh Nguyen},
title = {Incremental Declarative Process Mining},
booktitle = {Smart Information and Knowledge Management: Advances, Challenges,
and Critical Issues},
series = {Studies in Computational Intelligence},
volume = {260},
pages = {103--127},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-04584-4\_5},
doi = {10.1007/978-3-642-04584-4\_5},
timestamp = {Thu, 16 Mar 2023 20:00:38 +0100},
biburl = {https://dblp.org/rec/series/sci/CattafiLRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ida/StorariRL09,
author = {Sergio Storari and
Fabrizio Riguzzi and
Evelina Lamma},
title = {Exploiting association and correlation rules parameters for learning
Bayesian networks},
journal = {Intell. Data Anal.},
volume = {13},
number = {5},
pages = {689--701},
year = {2009},
url = {https://doi.org/10.3233/IDA-2009-0388},
doi = {10.3233/IDA-2009-0388},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ida/StorariRL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/ChesaniLMMRS09,
author = {Federico Chesani and
Evelina Lamma and
Paola Mello and
Marco Montali and
Fabrizio Riguzzi and
Sergio Storari},
title = {Exploiting Inductive Logic Programming Techniques for Declarative
Process Mining},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {2},
pages = {278--295},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00899-3\_16},
doi = {10.1007/978-3-642-00899-3\_16},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/ChesaniLMMRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/FerrarettiGL09,
author = {Denis Ferraretti and
Giacomo Gamberoni and
Evelina Lamma},
editor = {Roberto Serra and
Rita Cucchiara},
title = {Automatic Cluster Selection Using Index Driven Search Strategy},
booktitle = {AI*IA 2009: Emergent Perspectives in Artificial Intelligence, XIth
International Conference of the Italian Association for Artificial
Intelligence, Reggio Emilia, Italy, December 9-12, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5883},
pages = {172--181},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10291-2\_18},
doi = {10.1007/978-3-642-10291-2\_18},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/FerrarettiGL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GavanelliAL09,
author = {Marco Gavanelli and
Marco Alberti and
Evelina Lamma},
editor = {Patricia M. Hill and
David Scott Warren},
title = {Integration of Abductive Reasoning and Constraint Optimization in
{SCIFF}},
booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
CA, USA, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5649},
pages = {387--401},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02846-5\_32},
doi = {10.1007/978-3-642-02846-5\_32},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/GavanelliAL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/AlbertiCCGLMMT09,
author = {Marco Alberti and
Massimiliano Cattafi and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Marco Montali and
Paola Mello and
Paolo Torroni},
title = {Integrating Abductive Logic Programming and Description Logics in
a Dynamic Contracting Architecture},
booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2009, Los
Angeles, CA, USA, 6-10 July 2009},
pages = {254--261},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICWS.2009.78},
doi = {10.1109/ICWS.2009.78},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/AlbertiCCGLMMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideal/FerrarettiGLCT09,
author = {Denis Ferraretti and
Giacomo Gamberoni and
Evelina Lamma and
Raffaele Di Cuia and
Chiara Turolla},
editor = {Emilio Corchado and
Hujun Yin},
title = {An {AI} Tool for the Petroleum Industry Based on Image Analysis and
Hierarchical Clustering},
booktitle = {Intelligent Data Engineering and Automated Learning - {IDEAL} 2009,
10th International Conference, Burgos, Spain, September 23-26, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5788},
pages = {276--283},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04394-9\_34},
doi = {10.1007/978-3-642-04394-9\_34},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ideal/FerrarettiGLCT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/igi/09/TorroniYS0CGLM09,
author = {Paolo Torroni and
Pinar Yolum and
Munindar P. Singh and
Marco Alberti and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello},
editor = {Virginia Dignum},
title = {Modelling Interactions via Commitments and Expectations},
booktitle = {Handbook of Research on Multi-Agent Systems - Semantics and Dynamics
of Organizational Models},
pages = {263--284},
publisher = {{IGI} Global},
year = {2009},
url = {https://doi.org/10.4018/978-1-60566-256-5.ch011},
doi = {10.4018/978-1-60566-256-5.CH011},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/igi/09/TorroniYS0CGLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijecommerce/AlbertiCGLMMT08,
author = {Marco Alberti and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Marco Montali and
Paolo Torroni},
title = {Expressing and Verifying Business Contracts with Abductive Logic Programming},
journal = {Int. J. Electron. Commer.},
volume = {12},
number = {4},
pages = {9--38},
year = {2008},
url = {https://doi.org/10.2753/JEC1086-4415120401},
doi = {10.2753/JEC1086-4415120401},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijecommerce/AlbertiCGLMMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AlbertiCGLMT08,
author = {Marco Alberti and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Paolo Torroni},
title = {Verifiable agent interaction in abductive logic programming: The {SCIFF}
framework},
journal = {{ACM} Trans. Comput. Log.},
volume = {9},
number = {4},
pages = {29:1--29:43},
year = {2008},
url = {https://doi.org/10.1145/1380572.1380578},
doi = {10.1145/1380572.1380578},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/AlbertiCGLMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AlbertiGLRS08,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi and
Sergio Storari},
editor = {Matteo Baldoni and
Cristina Baroglio},
title = {Inducing Specification of Interaction Protocols and Business Processes
and Proving their Properties},
booktitle = {Il Milione (i.e. 2{\^{}}6), Proceedings of the Day Dedicated to Prof.
Alberto Martelli, Turin, Italy, June 3, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {487},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-487/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:22 +0100},
biburl = {https://dblp.org/rec/conf/birthday/AlbertiGLRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GavanelliAL08,
author = {Marco Gavanelli and
Marco Alberti and
Evelina Lamma},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Integrating Abduction and Constraint Optimization in Constraint Handling
Rules},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {903--904},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-903},
doi = {10.3233/978-1-58603-891-5-903},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/GavanelliAL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MontaliTACGLM08,
author = {Marco Montali and
Paolo Torroni and
Marco Alberti and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Verification from Declarative Specifications Using Logic Programming},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {440--454},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_39},
doi = {10.1007/978-3-540-89982-2\_39},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MontaliTACGLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swap/AlbertiCGL08,
author = {Marco Alberti and
Massimiliano Cattafi and
Marco Gavanelli and
Evelina Lamma},
editor = {Aldo Gangemi and
Johannes Keizer and
Valentina Presutti and
Heiko Stoermer},
title = {Exploiting Semantic Technology in Computational Logic-based Service
Contracting},
booktitle = {Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives
(SWAP2008), Rome, Italy, December 15-17, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {426},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-426/swap2008\_submission\_31.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:20 +0100},
biburl = {https://dblp.org/rec/conf/swap/AlbertiCGL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ios/p/ChesaniLMMSBM08,
author = {Federico Chesani and
Evelina Lamma and
Paola Mello and
Marco Montali and
Sergio Storari and
Paola Baldazzi and
Marilena Manfredi},
editor = {Annette ten Teije and
Silvia Miksch and
Peter J. F. Lucas},
title = {Compliance Checking of Cancer-Screening CareFlows: an Approach based
on Computational Logic},
booktitle = {Computer-based Medical Guidelines and Protocols: {A} Primer and Current
Trends},
series = {Studies in Health Technology and Informatics},
volume = {139},
pages = {183--192},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-873-1-183},
doi = {10.3233/978-1-58603-873-1-183},
timestamp = {Mon, 28 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ios/p/ChesaniLMMSBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/GamberoniLLMMRSTV07,
author = {Giacomo Gamberoni and
Evelina Lamma and
Gianluca Lodo and
Jlenia Marchesini and
Nicoletta Mascellani and
Simona Rossi and
Sergio Storari and
Luca Tagliavini and
Stefano Volinia},
title = {Fun{\&}Co: identification of key functional differences in transcriptomes},
journal = {Bioinform.},
volume = {23},
number = {20},
pages = {2725--2732},
year = {2007},
url = {https://doi.org/10.1093/bioinformatics/btm425},
doi = {10.1093/BIOINFORMATICS/BTM425},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/GamberoniLLMMRSTV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/AlbertiCDGLMT07,
author = {Marco Alberti and
Federico Chesani and
Davide Daolio and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Paolo Torroni},
title = {Specification and Verification of Agent Interaction Protocols in a
Logic-based System},
journal = {Scalable Comput. Pract. Exp.},
volume = {8},
number = {1},
year = {2007},
url = {http://www.scpe.org/index.php/scpe/article/view/393},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scpe/AlbertiCDGLMT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LammaMMRS07,
author = {Evelina Lamma and
Paola Mello and
Marco Montali and
Fabrizio Riguzzi and
Sergio Storari},
editor = {Gustavo Alonso and
Peter Dadam and
Michael Rosemann},
title = {Inducing Declarative Logic-Based Models from Labeled Traces},
booktitle = {Business Process Management, 5th International Conference, {BPM} 2007,
Brisbane, Australia, September 24-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4714},
pages = {344--359},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75183-0\_25},
doi = {10.1007/978-3-540-75183-0\_25},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/bpm/LammaMMRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/AlbertiCGLMMT07,
author = {Marco Alberti and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Marco Montali and
Paolo Torroni},
editor = {Enrico Franconi and
Michael Kifer and
Wolfgang May},
title = {Web Service Contracting: Specification and Reasoning with {SCIFF}},
booktitle = {The Semantic Web: Research and Applications, 4th European Semantic
Web Conference, {ESWC} 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4519},
pages = {68--83},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72667-8\_7},
doi = {10.1007/978-3-540-72667-8\_7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esws/AlbertiCGLMMT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/LammaMRS07,
author = {Evelina Lamma and
Paola Mello and
Fabrizio Riguzzi and
Sergio Storari},
editor = {Hendrik Blockeel and
Jan Ramon and
Jude W. Shavlik and
Prasad Tadepalli},
title = {Applying Inductive Logic Programming to Process Mining},
booktitle = {Inductive Logic Programming, 17th International Conference, {ILP}
2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4894},
pages = {132--146},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78469-2\_16},
doi = {10.1007/978-3-540-78469-2\_16},
timestamp = {Thu, 14 Oct 2021 10:29:24 +0200},
biburl = {https://dblp.org/rec/conf/ilp/LammaMRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/AlbertiCGLMMT07,
author = {Marco Alberti and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Marco Montali and
Paolo Torroni},
editor = {Massimo Marchiori and
Jeff Z. Pan and
Christian de Sainte Marie},
title = {A Rule-Based Approach for Reasoning About Collaboration Between Smart
Web Services},
booktitle = {Web Reasoning and Rule Systems, First International Conference, {RR}
2007, Innsbruck , Austria, June 7-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4524},
pages = {279--288},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72982-2\_22},
doi = {10.1007/978-3-540-72982-2\_22},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rr/AlbertiCGLMMT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AlbertiCGLMMT07,
author = {Marco Alberti and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Marco Montali and
Paolo Torroni},
editor = {Guido Boella and
Leendert W. N. van der Torre and
Harko Verhagen},
title = {Expressing and Verifying Business Contracts with Abductive Logic Programming},
booktitle = {Normative Multi-agent Systems, 18.03. - 23.03.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07122},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/901},
timestamp = {Thu, 10 Jun 2021 13:02:06 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AlbertiCGLMMT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aai/AlbertiGLCMT06,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Federico Chesani and
Paola Mello and
Paolo Torroni},
title = {Compliance verification of agent interaction: a logic-based software
tool},
journal = {Appl. Artif. Intell.},
volume = {20},
number = {2-4},
pages = {133--157},
year = {2006},
url = {https://doi.org/10.1080/08839510500479546},
doi = {10.1080/08839510500479546},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aai/AlbertiGLCMT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmot/AlbertiGLMTS06,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Paolo Torroni and
Giovanni Sartor},
title = {Mapping deontic operators to abductive expectations},
journal = {Comput. Math. Organ. Theory},
volume = {12},
number = {2-3},
pages = {205--225},
year = {2006},
url = {https://doi.org/10.1007/s10588-006-9544-8},
doi = {10.1007/S10588-006-9544-8},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cmot/AlbertiGLMTS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/titb/LammaMNRSV06,
author = {Evelina Lamma and
Paola Mello and
Anna Nanetti and
Fabrizio Riguzzi and
Sergio Storari and
Gianfranco Valastro},
title = {Artificial Intelligence Techniques for Monitoring Dangerous Infections},
journal = {{IEEE} Trans. Inf. Technol. Biomed.},
volume = {10},
number = {1},
pages = {143--155},
year = {2006},
url = {https://doi.org/10.1109/TITB.2005.855537},
doi = {10.1109/TITB.2005.855537},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/titb/LammaMNRSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/AlbertiCGLM06,
author = {Marco Alberti and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello},
editor = {Floriana Esposito and
Zbigniew W. Ras and
Donato Malerba and
Giovanni Semeraro},
title = {A Verifiable Logic-Based Agent Architecture},
booktitle = {Foundations of Intelligent Systems, 16th International Symposium,
{ISMIS} 2006, Bari, Italy, September 27-29, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4203},
pages = {188--197},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11875604\_22},
doi = {10.1007/11875604\_22},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismis/AlbertiCGLM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/AlbertiGLCMM06,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Federico Chesani and
Paola Mello and
Marco Montali},
editor = {Annalisa Bossi and
Michael J. Maher},
title = {An abductive framework for a-priori verification of web services},
booktitle = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 10-12, 2006,
Venice, Italy},
pages = {39--50},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1140335.1140342},
doi = {10.1145/1140335.1140342},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/AlbertiGLCMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swap/AlbertiCGLM06,
author = {Marco Alberti and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello},
editor = {Giovanni Tummarello and
Paolo Bouquet and
Oreste Signore},
title = {Policy-based Reasoning for Smart Web Service Interaction},
booktitle = {{SWAP} 2006 - Semantic Web Applications and Perspectives, Proceedings
of the 3rd Italian Semantic Web Workshop, Scuola Normale Superiore,
Pisa, Italy, 18-20 December, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {201},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-201/22.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:20 +0100},
biburl = {https://dblp.org/rec/conf/swap/AlbertiCGLM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/AlbertiCGLMMST06,
author = {Marco Alberti and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Marco Montali and
Sergio Storari and
Paolo Torroni},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {Computational Logic for Run-Time Verification of Web Services Choreographies:
Exploiting the \emph{SOCS-SI} Tool},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {58--72},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_4},
doi = {10.1007/11841197\_4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/AlbertiCGLMMST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/AlbertiCGGLMT05,
author = {Marco Alberti and
Federico Chesani and
Marco Gavanelli and
Alessio Guerri and
Evelina Lamma and
Paola Mello and
Paolo Torroni},
title = {Expressing interaction in combinatorial auction through social integrity
constraints},
journal = {Intelligenza Artificiale},
volume = {2},
number = {1},
pages = {22--29},
year = {2005},
timestamp = {Mon, 10 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/AlbertiCGGLMT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GavanelliLMM05,
author = {Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Michela Milano},
title = {Dealing with incomplete knowledge on CLP(\emph{FD}) variable domains},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {2},
pages = {236--263},
year = {2005},
url = {https://doi.org/10.1145/1057387.1057389},
doi = {10.1145/1057387.1057389},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/GavanelliLMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlbertiGLMM05,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Michela Milano},
title = {A CHR-based implementation of known arc-consistency},
journal = {Theory Pract. Log. Program.},
volume = {5},
number = {4-5},
pages = {419--440},
year = {2005},
url = {https://doi.org/10.1017/S147106840500236X},
doi = {10.1017/S147106840500236X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlbertiGLMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AlbertiGLMT05,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Paolo Torroni},
editor = {Stefania Bandini and
Sara Manzoni},
title = {The \emph{S}CIFF Abductive Proof-Procedure},
booktitle = {AI*IA 2005: Advances in Artificial Intelligence, 9th Congress of the
Italian Association for Artificial Intelligence, Milan, Italy, September
21-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3673},
pages = {135--147},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11558590\_14},
doi = {10.1007/11558590\_14},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/AlbertiGLMT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/ChesaniGALMT05,
author = {Federico Chesani and
Marco Gavanelli and
Marco Alberti and
Evelina Lamma and
Paola Mello and
Paolo Torroni},
editor = {Francesca Toni and
Paolo Torroni},
title = {Specification and Verification of Agent Interaction Using Abductive
Reasoning (Tutorial Paper)},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {243--264},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_14},
doi = {10.1007/11750734\_14},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/clima/ChesaniGALMT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esaw/AlbertiCGLMT05,
author = {Marco Alberti and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Paolo Torroni},
editor = {Oguz Dikenelli and
Marie{-}Pierre Gleizes and
Alessandro Ricci},
title = {Security Protocols Verification in Abductive Logic Programming: {A}
Case Study},
booktitle = {Engineering Societies in the Agents World VI, 6th International Workshop,
{ESAW} 2005, Kusadasi, Turkey, October 26-28, 2005, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3963},
pages = {106--124},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11759683\_7},
doi = {10.1007/11759683\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esaw/AlbertiCGLMT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ida/GamberoniLRSV05,
author = {Giacomo Gamberoni and
Evelina Lamma and
Fabrizio Riguzzi and
Sergio Storari and
Stefano Volinia},
editor = {A. Fazel Famili and
Joost N. Kok and
Jos{\'{e}} Mar{\'{\i}}a Pe{\~{n}}a S{\'{a}}nchez and
Arno Siebes and
A. J. Feelders},
title = {Bayesian Networks Learning for Gene Expression Datasets},
booktitle = {Advances in Intelligent Data Analysis VI, 6th International Symposium
on Intelligent Data Analysis, {IDA} 2005, Madrid, Spain, September
8-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3646},
pages = {109--120},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11552253\_11},
doi = {10.1007/11552253\_11},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ida/GamberoniLRSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/BarbieriGLMPS05,
author = {Benedetta Barbieri and
Giacomo Gamberoni and
Evelina Lamma and
Paola Mello and
Piercamillo Pavesi and
Sergio Storari},
editor = {Moonis Ali and
Floriana Esposito},
title = {An Expert System for the Oral Anticoagulation Treatment},
booktitle = {Innovations in Applied Artificial Intelligence, 18th International
Conference on Industrial and Engineering Applications of Artificial
Intelligence and Expert Systems, {IEA/AIE} 2005, Bari, Italy, June
22-24, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3533},
pages = {773--782},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11504894\_107},
doi = {10.1007/11504894\_107},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/BarbieriGLMPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AlbertiGLMT05,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Paolo Torroni},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Abduction with Hypotheses Confirmation},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {1545--1546},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/post-0385.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AlbertiGLMT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/normas/AlbertiGLMTS05,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Paolo Torroni and
Giovanni Sartor},
title = {Mapping of Deontic Operators to Abductive Expectations},
booktitle = {Symposium on Normative Multi-Agent Systems, {NORMAS} 2005, part of
the {SSAISB} 2005 Convention, University of Hertfordshire, Hatfield,
UK, 12-15 April 2005. Proceedings},
pages = {126--136},
year = {2005},
url = {http://www.aisb.org.uk/publications/proceedings/aisb05/8\_Normas\_Final.pdf},
timestamp = {Mon, 10 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/normas/AlbertiGLMTS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/AlbertiCGGLMMT05,
author = {Marco Alberti and
Federico Chesani and
Alessio Guerri and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Michela Milano and
Paolo Torroni},
editor = {Armin Wolf and
Thom W. Fr{\"{u}}hwirth and
Marc Meister},
title = {Expressing Interaction in Combinatorial Auction through Social Integrity
Constraints},
booktitle = {19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February
21-23, 2005},
series = {Ulmer Informatik-Berichte},
volume = {2005-01},
pages = {53--64},
publisher = {Universit{\"{a}}t Ulm, Germany},
year = {2005},
timestamp = {Mon, 10 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wlp/AlbertiCGGLMMT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/AlbertiCGL05,
author = {Marco Alberti and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma},
editor = {Armin Wolf and
Thom W. Fr{\"{u}}hwirth and
Marc Meister},
title = {The CHR-based Implementation of a System for Generation and Confirmation
of Hypotheses},
booktitle = {19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February
21-23, 2005},
series = {Ulmer Informatik-Berichte},
volume = {2005-01},
pages = {111--122},
publisher = {Universit{\"{a}}t Ulm, Germany},
year = {2005},
timestamp = {Mon, 10 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wlp/AlbertiCGL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/LammaMR04,
author = {Evelina Lamma and
Paola Mello and
Fabrizio Riguzzi},
title = {A System for Measuring Function Points from an {ER-DFD} Specification},
journal = {Comput. J.},
volume = {47},
number = {3},
pages = {358--372},
year = {2004},
url = {https://doi.org/10.1093/comjnl/47.3.358},
doi = {10.1093/COMJNL/47.3.358},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/LammaMR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/BarbieriGLMPS04,
author = {Benedetta Barbieri and
Giacomo Gamberoni and
Evelina Lamma and
Paola Mello and
Piercamillo Pavesi and
Sergio Storari},
title = {A knowledge based system for the anticoagulant oral therapy},
journal = {Intelligenza Artificiale},
volume = {1},
number = {4},
pages = {9--15},
year = {2004},
timestamp = {Fri, 07 Jan 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ia/BarbieriGLMPS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/GavanelliLMT04,
author = {Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Paolo Torroni},
editor = {J{\"{u}}rgen Dix and
Jo{\~{a}}o Alexandre Leite},
title = {An Abductive Framework for Information Exchange in Multi-agent Systems},
booktitle = {Computational Logic in Multi-Agent Systems, 4th International Workshop,
{CLIMA} IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3259},
pages = {34--52},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30200-1\_3},
doi = {10.1007/978-3-540-30200-1\_3},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/clima/GavanelliLMT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LammaRS04,
author = {Evelina Lamma and
Fabrizio Riguzzi and
Sergio Storari},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {Exploiting Association and Correlation Rules - Parameters for Improving
the {K2} Algorithm},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
ECAI'2004, including Prestigious Applicants of Intelligent Systems,
{PAIS} 2004, Valencia, Spain, August 22-27, 2004},
pages = {500--504},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Fri, 11 May 2018 12:42:30 +0200},
biburl = {https://dblp.org/rec/conf/ecai/LammaRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/AlbertiCGLMT04,
author = {Marco Alberti and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Paolo Torroni},
editor = {Corrado Priami and
Paola Quaglia},
title = {The {SOCS} Computational Logic Approach to the Specification and Verification
of Agent Societies},
booktitle = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
Italy, March 9-12, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3267},
pages = {314--339},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31794-4\_17},
doi = {10.1007/978-3-540-31794-4\_17},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gc/AlbertiCGLMT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismda/GamberoniLMPST04,
author = {Giacomo Gamberoni and
Evelina Lamma and
Paola Mello and
Piercamillo Pavesi and
Sergio Storari and
Giuseppe Trocino},
editor = {Jos{\'{e}} Mar{\'{\i}}a Barreiro and
Fernando Mart{\'{\i}}n{-}S{\'{a}}nchez and
Victor Maojo and
Ferran Sanz},
title = {Learning the Dose Adjustment for the Oral Anticoagulation Treatment},
booktitle = {Biological and Medical Data Analysis, 5th International Symposium,
{ISBMDA} 2004, Barcelona, Spain, November 18-19, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3337},
pages = {171--181},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30547-7\_18},
doi = {10.1007/978-3-540-30547-7\_18},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ismda/GamberoniLMPST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismda/GamberoniLSAFV04,
author = {Giacomo Gamberoni and
Evelina Lamma and
Sergio Storari and
Diego Arcelli and
Francesca Francioso and
Stefano Volinia},
editor = {Jos{\'{e}} Mar{\'{\i}}a Barreiro and
Fernando Mart{\'{\i}}n{-}S{\'{a}}nchez and
Victor Maojo and
Ferran Sanz},
title = {Correlation of Expression Between Different {IMAGE} Clones from the
Same UniGene Cluster},
booktitle = {Biological and Medical Data Analysis, 5th International Symposium,
{ISBMDA} 2004, Barcelona, Spain, November 18-19, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3337},
pages = {498--506},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30547-7\_50},
doi = {10.1007/978-3-540-30547-7\_50},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ismda/GamberoniLSAFV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AlbertiDTGLM04,
author = {Marco Alberti and
Davide Daolio and
Paolo Torroni and
Marco Gavanelli and
Evelina Lamma and
Paola Mello},
editor = {Hisham Haddad and
Andrea Omicini and
Roger L. Wainwright and
Lorie M. Liebrock},
title = {Specification and verification of agent interaction protocols in a
logic-based system},
booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
Nicosia, Cyprus, March 14-17, 2004},
pages = {72--78},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/967900.967918},
doi = {10.1145/967900.967918},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/AlbertiDTGLM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/AlbertiGLCMT04,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Federico Chesani and
Paola Mello and
Paolo Torroni},
title = {A Logic based Approach to Interaction Design in Open Multi-Agent Systems},
booktitle = {13th {IEEE} International Workshops on Enabling Technologies {(WETICE}
2004), Infrastructure for Collaborative Enterprises, 14-16 June 2004,
Modena, Italy},
pages = {387--392},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ENABL.2004.3},
doi = {10.1109/ENABL.2004.3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wetice/AlbertiGLCMT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0408056,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Michela Milano},
title = {A CHR-based Implementation of Known Arc-Consistency},
journal = {CoRR},
volume = {cs.LO/0408056},
year = {2004},
url = {http://arxiv.org/abs/cs.LO/0408056},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0408056.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/CiampoliniLMTT03,
author = {Anna Ciampolini and
Evelina Lamma and
Paola Mello and
Francesca Toni and
Paolo Torroni},
title = {Cooperation and Competition in {ALIAS:} {A} Logic Framework for Agents
that Negotiate},
journal = {Ann. Math. Artif. Intell.},
volume = {37},
number = {1-2},
pages = {65--91},
year = {2003},
url = {https://doi.org/10.1023/A:1020259411066},
doi = {10.1023/A:1020259411066},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/CiampoliniLMTT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/StorariLMMMPC03,
author = {Sergio Storari and
Evelina Lamma and
R. Mancini and
Paola Mello and
R. Motta and
D. Patrono and
G. Canova},
title = {Validation of biochemical laboratory results using the DNSev expert
system},
journal = {Expert Syst. Appl.},
volume = {25},
number = {4},
pages = {503--515},
year = {2003},
url = {https://doi.org/10.1016/S0957-4174(03)00091-5},
doi = {10.1016/S0957-4174(03)00091-5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eswa/StorariLMMMPC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/LemmaRSMN03,
author = {Evelina Lamma and
Fabrizio Riguzzi and
Sergio Storari and
Paola Mello and
Anna Nanetti},
title = {Discovering Validation Rules from Microbiological Data},
journal = {New Gener. Comput.},
volume = {21},
number = {2},
pages = {123--133},
year = {2003},
url = {https://doi.org/10.1007/BF03037630},
doi = {10.1007/BF03037630},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/LemmaRSMN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/LammaRP03,
author = {Evelina Lamma and
Fabrizio Riguzzi and
Lu{\'{\i}}s Moniz Pereira},
title = {Belief Revision via Lamarckian Evolution},
journal = {New Gener. Comput.},
volume = {21},
number = {3},
pages = {247--275},
year = {2003},
url = {https://doi.org/10.1007/BF03037475},
doi = {10.1007/BF03037475},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/LammaRP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/GavanelliLMMT03,
author = {Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Michela Milano and
Paolo Torroni},
editor = {Francesco Buccafurri},
title = {Interpreting Abduction in {CLP}},
booktitle = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio
Calabria, Italy, September 3-5, 2003},
pages = {25--35},
year = {2003},
timestamp = {Wed, 01 Dec 2004 15:29:03 +0100},
biburl = {https://dblp.org/rec/conf/agp/GavanelliLMMT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/LammaRSS03,
author = {Evelina Lamma and
Fabrizio Riguzzi and
Andrea Stambazzi and
Sergio Storari},
editor = {Amedeo Cappelli and
Franco Turini},
title = {Improving the {SLA} Algorithm Using Association Rules},
booktitle = {AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the
Italian Association for Artificial Intelligence, Pisa, Italy, September
23-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2829},
pages = {165--175},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39853-0\_14},
doi = {10.1007/978-3-540-39853-0\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/LammaRSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AlbertiGLMT03,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Paolo Torroni},
editor = {Amedeo Cappelli and
Franco Turini},
title = {An Abductive Interpretation for Open Agent Societies},
booktitle = {AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the
Italian Association for Artificial Intelligence, Pisa, Italy, September
23-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2829},
pages = {287--299},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39853-0\_24},
doi = {10.1007/978-3-540-39853-0\_24},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/AlbertiGLMT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ceemas/AlbertiCGLMT03,
author = {Marco Alberti and
Anna Ciampolini and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Paolo Torroni},
editor = {Vladim{\'{\i}}r Mar{\'{\i}}k and
J{\"{o}}rg P. M{\"{u}}ller and
Michal Pechoucek},
title = {A Social {ACL} Semantics by Deontic Constraints},
booktitle = {Multi-Agent Systems and Applications III, 3rd International Central
and Eastern European Conference on Multi-Agent Systems, {CEEMAS} 2003,
Prague, Czech Republic, June 16-18, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2691},
pages = {204--213},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45023-8\_20},
doi = {10.1007/3-540-45023-8\_20},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ceemas/AlbertiCGLMT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/AlbertiGLMT03,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Paolo Torroni},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Leon Sterling and
Paolo Torroni},
title = {Modeling Interactions Using Social Integrity Constraints: {A} Resource
Sharing Case Study},
booktitle = {Declarative Agent Languages and Technologies, First International
Workshop, {DALT} 2003, Melbourne, Australia, July 15, 2003, Revised
Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {2990},
pages = {243--262},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25932-9\_13},
doi = {10.1007/978-3-540-25932-9\_13},
timestamp = {Tue, 07 May 2024 20:13:24 +0200},
biburl = {https://dblp.org/rec/conf/dalt/AlbertiGLMT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlbertiGLMT04,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Paolo Torroni},
editor = {Wiebe van der Hoek and
Alessio Lomuscio and
Erik P. de Vink and
Michael J. Wooldridge},
title = {Specification and Verification of Agent Interaction using Social Integrity
Constraints},
booktitle = {1st International Workshop on Logic and Communication in Multi-Agent
Systems, {LCMAS} 2003, Eindhoven, The Netherlands, June 29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {2},
pages = {94--116},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82605-2},
doi = {10.1016/S1571-0661(05)82605-2},
timestamp = {Thu, 08 Dec 2022 14:11:09 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlbertiGLMT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CiampoliniMTL02,
author = {Anna Ciampolini and
Paola Mello and
Paolo Torroni and
Evelina Lamma},
title = {Coordinating the safe execution of tasks in a constrained multi-agent
system},
booktitle = {The First International Joint Conference on Autonomous Agents {\&}
Multiagent Systems, {AAMAS} 2002, July 15-19, 2002, Bologna, Italy,
Proceedings},
pages = {940--941},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/544862.544958},
doi = {10.1145/544862.544958},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/CiampoliniMTL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/LammaMRSMN02,
author = {Evelina Lamma and
G. Modestino and
Fabrizio Riguzzi and
Sergio Storari and
Paola Mello and
Anna Nanetti},
title = {An Intelligent Medical System for Mocrobiological Data Validation
and Nosocomial Infection Surveillance},
booktitle = {15th {IEEE} Symposium on Computer-Based Medical Systems {(CBMS} 2002),
4-7 June 2002, Maribor, Slovenia},
pages = {13--20},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/CBMS.2002.1011348},
doi = {10.1109/CBMS.2002.1011348},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbms/LammaMRSMN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/AlbertiL02,
author = {Marco Alberti and
Evelina Lamma},
editor = {Frank van Harmelen},
title = {Synthesis of Object Models from Partial Models: {A} {CSP} Perspective},
booktitle = {Proceedings of the 15th European Conference on Artificial Intelligence,
ECAI'2002, Lyon, France, July 2002},
pages = {116--120},
publisher = {{IOS} Press},
year = {2002},
timestamp = {Mon, 03 Jan 2022 07:50:19 +0100},
biburl = {https://dblp.org/rec/conf/ecai/AlbertiL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/GavanelliLMM02,
author = {Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Michela Milano},
editor = {Alessandro Armando},
title = {Exploiting Constraints for Domain Managing in {CLP(FD)}},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {177--191},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_14},
doi = {10.1007/3-540-45988-X\_14},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/GavanelliLMM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icai/LammaRP02,
author = {Evelina Lamma and
Fabrizio Riguzzi and
Lu{\'{\i}}s Moniz Pereira},
editor = {Hamid R. Arabnia and
Youngsong Mun},
title = {Belief Revision via Lamarckian Evolution},
booktitle = {Proceedings of the International Conference on Artificial Intelligence,
{IC-AI} '02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 3},
pages = {1264--1270},
publisher = {{CSREA} Press},
year = {2002},
timestamp = {Fri, 31 Oct 2003 09:21:57 +0100},
biburl = {https://dblp.org/rec/conf/icai/LammaRP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/CiampoliniLMT02,
author = {Anna Ciampolini and
Evelina Lamma and
Paola Mello and
Paolo Torroni},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {A Proof-System for the Safe Execution of Tasks in Multi-agent Systems},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {14--26},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_2},
doi = {10.1007/3-540-45757-7\_2},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/CiampoliniLMT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/CiampoliniLMT01,
author = {Anna Ciampolini and
Evelina Lamma and
Paola Mello and
Paolo Torroni},
title = {{LAILA:} a language for coordinating abductive reasoning among logic
agents},
journal = {Comput. Lang.},
volume = {27},
number = {4},
pages = {137--161},
year = {2001},
url = {https://doi.org/10.1016/S0096-0551(01)00020-0},
doi = {10.1016/S0096-0551(01)00020-0},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/CiampoliniLMT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/MelloMGLPC01,
author = {Paola Mello and
Michela Milano and
Marco Gavanelli and
Evelina Lamma and
Massimo Piccardi and
Rita Cucchiara},
title = {From Eager to Lazy Constrained Data Acquisition: {A} General Framework},
journal = {New Gener. Comput.},
volume = {19},
number = {4},
pages = {339--368},
year = {2001},
url = {https://doi.org/10.1007/BF03037573},
doi = {10.1007/BF03037573},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/MelloMGLPC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/LammaPR01,
author = {Evelina Lamma and
Lu{\'{\i}}s Moniz Pereira and
Fabrizio Riguzzi},
editor = {Egbert J. W. Boers and
Jens Gottlieb and
Pier Luca Lanzi and
Robert E. Smith and
Stefano Cagnoni and
Emma Hart and
G{\"{u}}nther R. Raidl and
H. Tijink},
title = {Belief Revision by Lamarckian Evolution},
booktitle = {Applications of Evolutionary Computing, EvoWorkshops 2001: EvoCOP,
EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2037},
pages = {404--413},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45365-2\_42},
doi = {10.1007/3-540-45365-2\_42},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/evoW/LammaPR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismda/LammaMNPRS01,
author = {Evelina Lamma and
Paola Mello and
Anna Nanetti and
G. Poli and
Fabrizio Riguzzi and
Sergio Storari},
editor = {Jos{\'{e}} Crespo and
Victor Maojo and
Fernando Martin},
title = {An Expert System for Microbiological Data Validation and Surveillance},
booktitle = {Medical Data Analysis, Second International Symposium, {ISMDA} 2001,
Madrid, Spain, October 8-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2199},
pages = {153--160},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45497-7\_23},
doi = {10.1007/3-540-45497-7\_23},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ismda/LammaMNPRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/LammaMMRS01,
author = {Evelina Lamma and
L. Maestrami and
Paola Mello and
Fabrizio Riguzzi and
Sergio Storari},
editor = {Mark van den Brand and
Rakesh M. Verma},
title = {Rule-based Programming for Building Expert Systems: a Comparison in
the Microbiological Data Validation and Surveillance Domain},
booktitle = {Second International Workshop on Rule-Based Programming, {RULE} 2001,
Satellite Event of {PLI} 2001, Firenze, Italy, September 4, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {59},
number = {4},
pages = {397--411},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00299-3},
doi = {10.1016/S1571-0661(04)00299-3},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LammaMMRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/LammaRP00,
author = {Evelina Lamma and
Fabrizio Riguzzi and
Lu{\'{\i}}s Moniz Pereira},
title = {Strategies in Combined Learning via Logic Programs},
journal = {Mach. Learn.},
volume = {38},
number = {1-2},
pages = {63--87},
year = {2000},
url = {https://doi.org/10.1023/A:1007681906490},
doi = {10.1023/A:1007681906490},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/LammaRP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/CiampoliniLMT00,
author = {Anna Ciampolini and
Evelina Lamma and
Paola Mello and
Paolo Torroni},
editor = {Ken Satoh and
Fariba Sadri},
title = {Expressing Collaborative and Competitive Coordination among Abductive},
booktitle = {{CL-2000} Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00),
London, UK, July 24-25, 2000},
pages = {35--43},
year = {2000},
timestamp = {Tue, 21 Nov 2017 19:17:13 +0100},
biburl = {https://dblp.org/rec/conf/cl/CiampoliniLMT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismda/LammaMMSR00,
author = {Evelina Lamma and
M. Manservigi and
Paola Mello and
Sergio Storari and
Fabrizio Riguzzi},
editor = {R{\"{u}}diger W. Brause and
Ernst Hanisch},
title = {A System for Monitoring Nosocomial Infections},
booktitle = {Medical Data Analysis, First International Symposium, {ISMDA} 2000,
Frankfurt, Germany, September 29-30, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1933},
pages = {282--292},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-39949-6\_34},
doi = {10.1007/3-540-39949-6\_34},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ismda/LammaMMSR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/CiampoliniLMT00,
author = {Anna Ciampolini and
Evelina Lamma and
Paola Mello and
Paolo Torroni},
editor = {Antonio Corradi and
Andrea Omicini and
Agostino Poggi},
title = {Expressing Collaboration And Competition Among Abductive Logic Agents},
booktitle = {{WOA} 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop
"From Objects to Agents": Evolutive Trends of Software Systems, 29-30
May 2000, Parma, Italy},
pages = {64--69},
publisher = {Pitagora Editrice Bologna},
year = {2000},
timestamp = {Mon, 17 Jan 2005 15:51:56 +0100},
biburl = {https://dblp.org/rec/conf/woa/CiampoliniLMT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/1999,
editor = {Evelina Lamma and
Paola Mello},
title = {AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the
Italian Association for Artificial Intelligence, Bologna, Italy, September
14-17, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1792},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46238-4},
doi = {10.1007/3-540-46238-4},
isbn = {3-540-67350-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/LammaMSH99,
author = {Evelina Lamma and
Paola Mello and
Cesare Stefanelli and
Pascal Van Hentenryck},
title = {Exploiting Type Analysis for Unification in a Distributed Environment},
journal = {Comput. Artif. Intell.},
volume = {18},
number = {5},
pages = {447--465},
year = {1999},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/588},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/LammaMSH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/LammaMMR99,
author = {Evelina Lamma and
Paola Mello and
Michela Milano and
Fabrizio Riguzzi},
title = {Integrating Induction and Abduction in Logic Programming},
journal = {Inf. Sci.},
volume = {116},
number = {1},
pages = {25--54},
year = {1999},
url = {https://doi.org/10.1016/S0020-0255(98)10092-0},
doi = {10.1016/S0020-0255(98)10092-0},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isci/LammaMMR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LammaMM99,
author = {Evelina Lamma and
Michela Milano and
Paola Mello},
title = {Reasoning on Constraints in {CLP(FD)}},
journal = {J. Log. Program.},
volume = {38},
number = {1},
pages = {93--110},
year = {1999},
url = {https://doi.org/10.1016/S0743-1066(98)10016-X},
doi = {10.1016/S0743-1066(98)10016-X},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/LammaMM99.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 15:33:47 +0100},
biburl = {https://dblp.org/rec/conf/agp/GavanelliLMM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CiampoliniLMST99,
author = {Anna Ciampolini and
Evelina Lamma and
Paola Mello and
Cesare Stefanelli and
Paolo Torroni},
editor = {Evelina Lamma and
Paola Mello},
title = {An Implementation for Abductive Logic Agents},
booktitle = {AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the
Italian Association for Artificial Intelligence, Bologna, Italy, September
14-17, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1792},
pages = {61--71},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46238-4\_6},
doi = {10.1007/3-540-46238-4\_6},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CiampoliniLMST99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecp/BarruffiLMM99,
author = {Rosy Barruffi and
Evelina Lamma and
Paola Mello and
Michela Milano},
editor = {Susanne Biundo and
Maria Fox},
title = {Least Commitment on Variable Binding in Presence of Incomplete Knowledge},
booktitle = {Recent Advances in {AI} Planning, 5th European Conference on Planning,
ECP'99, Durham, UK, September 8-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1809},
pages = {159--171},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10720246\_13},
doi = {10.1007/10720246\_13},
timestamp = {Tue, 02 Nov 2021 15:59:06 +0100},
biburl = {https://dblp.org/rec/conf/ecp/BarruffiLMM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciap/CucchiaraLMMP99,
author = {Rita Cucchiara and
Evelina Lamma and
Paola Mello and
Michela Milano and
Massimo Piccardi},
title = {3D Object Recognition by VC-Graphs and Interactive Constraint Satisfaction},
booktitle = {1oth International Conference on Image Analysis and Processing {(ICIAP}
1999), 27-29 September 1999, Venice, Italy},
pages = {508--513},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ICIAP.1999.797646},
doi = {10.1109/ICIAP.1999.797646},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iciap/CucchiaraLMMP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GavanelliLMM99,
author = {Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Michela Milano},
editor = {Danny De Schreye},
title = {Domains as First Class Objects in {CLP(FD)}},
booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
New Mexico, USA, November 29 - December 4, 1999},
pages = {608},
publisher = {{MIT} Press},
year = {1999},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/GavanelliLMM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LammaMMCGP99,
author = {Evelina Lamma and
Paola Mello and
Michela Milano and
Rita Cucchiara and
Marco Gavanelli and
Massimo Piccardi},
editor = {Thomas Dean},
title = {Constraint Propagation and Value Acquisition: Why we should do it
Interactively},
booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 99, Stockholm, Sweden, July 31 - August 6, 1999.
2 Volumes, 1450 pages},
pages = {468--477},
publisher = {Morgan Kaufmann},
year = {1999},
url = {http://ijcai.org/Proceedings/99-1/Papers/068.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LammaMMCGP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CiampoliniLMS99,
author = {Anna Ciampolini and
Evelina Lamma and
Paola Mello and
Cesare Stefanelli},
editor = {Barrett R. Bryant and
Gary B. Lamont and
Hisham Haddad and
Janice H. Carroll},
title = {Abductive Coordination for Logic Agents},
booktitle = {Proceedings of the 1999 {ACM} Symposium on Applied Computing, SAC'99,
San Antonio, Texas, USA, February 28 - March 2, 1999},
pages = {134--140},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/298151.298222},
doi = {10.1145/298151.298222},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/CiampoliniLMS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/LammaMM98,
author = {Evelina Lamma and
Michela Milano and
Paola Mello},
title = {Extending Constraint Logic Programming for Temporal Reasoning},
journal = {Ann. Math. Artif. Intell.},
volume = {22},
number = {1-2},
pages = {139--158},
year = {1998},
url = {https://doi.org/10.1023/A:1018946309329},
doi = {10.1023/A:1018946309329},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/LammaMM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/BugliesiCLM98,
author = {Michele Bugliesi and
Anna Ciampolini and
Evelina Lamma and
Paola Mello},
title = {Optimizing Modular Logic Languages},
journal = {{ACM} Comput. Surv.},
volume = {30},
number = {3es},
pages = {10},
year = {1998},
url = {https://doi.org/10.1145/289121.289131},
doi = {10.1145/289121.289131},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/BugliesiCLM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/CapraraFLMMTV98,
author = {Alberto Caprara and
Filippo Focacci and
Evelina Lamma and
Paola Mello and
Michela Milano and
Paolo Toth and
Daniele Vigo},
title = {Integrating Constraint Logic Programming and Operations Research Techniques
for the Crew Rostering Problem},
journal = {Softw. Pract. Exp.},
volume = {28},
number = {1},
pages = {49--76},
year = {1998},
url = {https://doi.org/10.1002/(SICI)1097-024X(199801)28:1\&\#60;49::AID-SPE147\&\#62;3.0.CO;2-R},
doi = {10.1002/(SICI)1097-024X(199801)28:1\&\#60;49::AID-SPE147\&\#62;3.0.CO;2-R},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/CapraraFLMMTV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/LammaMCMP98,
author = {Evelina Lamma and
Michela Milano and
Rita Cucchiara and
Paola Mello and
Massimo Piccardi},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Interactive Constraint Satisfaction and its Application to Visual
Object Recognition},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {57--70},
year = {1998},
timestamp = {Wed, 21 Nov 2007 11:59:17 +0100},
biburl = {https://dblp.org/rec/conf/agp/LammaMCMP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/KakasLR98,
author = {Antonis C. Kakas and
Evelina Lamma and
Fabrizio Riguzzi},
editor = {Fausto Giunchiglia},
title = {Learning Multiple Predicates},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
21-13, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1480},
pages = {303--316},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0057454},
doi = {10.1007/BFB0057454},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/KakasLR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aei/LammaMM97,
author = {Evelina Lamma and
Paola Mello and
Michela Milano},
title = {A distributed constraint-based scheduler},
journal = {Artif. Intell. Eng.},
volume = {11},
number = {2},
pages = {91--105},
year = {1997},
url = {https://doi.org/10.1016/S0954-1810(96)00002-7},
doi = {10.1016/S0954-1810(96)00002-7},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aei/LammaMM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/CiampoliniLSM97,
author = {Anna Ciampolini and
Evelina Lamma and
Cesare Stefanelli and
Paola Mello},
title = {Blackboard- and Object-Based Systems via Multi-Head Clauses},
journal = {Comput. Artif. Intell.},
volume = {16},
number = {4},
pages = {401--423},
year = {1997},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/655},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/CiampoliniLSM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrogiLMM97,
author = {Antonio Brogi and
Evelina Lamma and
Paolo Mancarella and
Paola Mello},
title = {A Unifying View for Logic Programming with Non-Monotonic Reasoning},
journal = {Theor. Comput. Sci.},
volume = {184},
number = {1-2},
pages = {1--5},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(97)80755-4},
doi = {10.1016/S0304-3975(97)80755-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BrogiLMM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/LammaMMR97,
author = {Evelina Lamma and
Paola Mello and
Michela Milano and
Fabrizio Riguzzi},
editor = {Moreno Falaschi and
Marisa Navarro and
Alberto Policriti},
title = {An Algorithm for Learning Abductive Rules},
booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97,
Grado, Italy, June 16-19, 1997},
pages = {295--306},
year = {1997},
timestamp = {Thu, 02 Dec 2004 11:23:16 +0100},
biburl = {https://dblp.org/rec/conf/agp/LammaMMR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/LammaMMR97,
author = {Evelina Lamma and
Paola Mello and
Michela Milano and
Fabrizio Riguzzi},
editor = {Maurizio Lenzerini},
title = {Introducing Abduction into (Extensional) Inductive Logic Programming
Systems},
booktitle = {AI*IA 97: Advances in Artificial Intelligence, 5th Congress of the
Italian Association for Artificial Intelligence, Rome, Italy, September
17-19, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1321},
pages = {183--194},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63576-9\_107},
doi = {10.1007/3-540-63576-9\_107},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/LammaMMR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/LammaMSH97,
author = {Evelina Lamma and
Paola Mello and
Cesare Stefanelli and
Pascal Van Hentenryck},
editor = {Christian Lengauer and
Martin Griebl and
Sergei Gorlatch},
title = {Improving Distributed Unification through Type Analysis},
booktitle = {Euro-Par '97 Parallel Processing, Third International Euro-Par Conference,
Passau, Germany, August 26-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1300},
pages = {1181--1190},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0002871},
doi = {10.1007/BFB0002871},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/LammaMSH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LammaMM97,
author = {Evelina Lamma and
Michela Milano and
Paola Mello},
editor = {Lee Naish},
title = {Reasoning on Constraints in Constraint Logic Programming},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {413},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/LammaMM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/CucchiaraLMM97,
author = {Rita Cucchiara and
Evelina Lamma and
Paola Mello and
Michela Milano},
editor = {Zbigniew W. Ras and
Andrzej Skowron},
title = {An Interactive Constraint-Based System for Selective Attention in
Visual Search},
booktitle = {Foundations of Intelligent Systems, 10th International Symposium,
{ISMIS} '97, Charlotte, North Carolina, USA, October 15-18, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1325},
pages = {431--440},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63614-5\_42},
doi = {10.1007/3-540-63614-5\_42},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/CucchiaraLMM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpkr/LammaMMR97,
author = {Evelina Lamma and
Paola Mello and
Michela Milano and
Fabrizio Riguzzi},
editor = {J{\"{u}}rgen Dix and
Lu{\'{\i}}s Moniz Pereira and
Teodor C. Przymusinski},
title = {A System for Abductive Learning of Logic Programs},
booktitle = {Logic Programming and Knowledge Representation, Third International
Workshop, {LPKR} '97, Port Jefferson, New York, USA, October 17, 1997,
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1471},
pages = {102--122},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0054792},
doi = {10.1007/BFB0054792},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lpkr/LammaMMR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/FocacciLMM97,
author = {Filippo Focacci and
Evelina Lamma and
Paola Mello and
Michela Milano},
editor = {Mark Wallace},
title = {Constraint Logic Programming for the Crew Rostering Problem},
booktitle = {Proceedings of the Third International Conference on the Practical
Application of Constraint Technology, {PACT} 1997, Westminster Central
Hall, London, UK, April 23-25, 1997},
pages = {151--164},
publisher = {Practical Application Company Ltd.},
year = {1997},
timestamp = {Wed, 30 Nov 2022 10:17:58 +0100},
biburl = {https://dblp.org/rec/conf/pact2/FocacciLMM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/CiampoliniLSM96,
author = {Anna Ciampolini and
Evelina Lamma and
Cesare Stefanelli and
Paola Mello},
title = {Distributed Logic Objects},
journal = {Comput. Lang.},
volume = {22},
number = {4},
pages = {237--258},
year = {1996},
url = {https://doi.org/10.1016/S0096-0551(97)00001-5},
doi = {10.1016/S0096-0551(97)00001-5},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/CiampoliniLSM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/CiampoliniLM96,
author = {Anna Ciampolini and
Evelina Lamma and
Paola Mello},
title = {An Abstract Interpretation Framework for Optimizing Dynamic Modular
Logic Languages},
journal = {Inf. Process. Lett.},
volume = {58},
number = {4},
pages = {163--170},
year = {1996},
url = {https://doi.org/10.1016/0020-0190(96)00051-8},
doi = {10.1016/0020-0190(96)00051-8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/CiampoliniLM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/LammaM96,
author = {Evelina Lamma and
Paola Mello},
title = {An assumption-based truth maintenance system dealing with non-ground
justifications},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {8},
number = {1},
pages = {21--42},
year = {1996},
url = {https://doi.org/10.1080/09528139650042529},
doi = {10.1080/09528139650042529},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetai/LammaM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/CiampoliniLM96,
author = {Anna Ciampolini and
Evelina Lamma and
Paola Mello},
title = {An Optimized Implementation of a Dynamic Modular Logic Language},
journal = {Softw. Concepts Tools},
volume = {17},
number = {4},
pages = {148--162},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/CiampoliniLM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/LammaMSH96,
author = {Evelina Lamma and
Paola Mello and
Cesare Stefanelli and
Pascal Van Hentenryck},
editor = {Paqui Lucio and
Maurizio Martelli and
Marisa Navarro},
title = {Comsumption-based Distributed Unification},
booktitle = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96,
Donostia-San Sebastian, Spain, July 15-18, 1996},
pages = {207--218},
year = {1996},
timestamp = {Thu, 02 Dec 2004 11:12:18 +0100},
biburl = {https://dblp.org/rec/conf/agp/LammaMSH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/LammaMM96,
author = {Evelina Lamma and
Paola Mello and
Michela Milano},
editor = {Paqui Lucio and
Maurizio Martelli and
Marisa Navarro},
title = {Enhancing Constraint Logic Programming through Meta Programming},
booktitle = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96,
Donostia-San Sebastian, Spain, July 15-18, 1996},
pages = {523--534},
year = {1996},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/LammaMM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LammaMM96,
author = {Evelina Lamma and
Paola Mello and
Michela Milano},
editor = {Eugene C. Freuder},
title = {A Meta Constraint Logic Programming Architecture (Extended Abstract)},
booktitle = {Proceedings of the Second International Conference on Principles and
Practice of Constraint Programming, Cambridge, Massachusetts, USA,
August 19-22, 1996},
series = {Lecture Notes in Computer Science},
volume = {1118},
pages = {549--550},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61551-2\_110},
doi = {10.1007/3-540-61551-2\_110},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/LammaMM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/LammaMM96,
author = {Evelina Lamma and
Michela Milano and
Paola Mello},
editor = {Franz Baader and
Klaus U. Schulz},
title = {Combining Solvers in a Meta Constraint Logic Programming Architecture},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {267--283},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 13:54:49 +0100},
biburl = {https://dblp.org/rec/conf/frocos/LammaMM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/BrusoniCLMMT96,
author = {Vittorio Brusoni and
Luca Console and
Evelina Lamma and
Paola Mello and
Michela Milano and
Paolo Terenziani},
editor = {Zbigniew W. Ras and
Maciej Michalewicz},
title = {Resource-Based vs. Task-Based Approaches for Scheduling Problems},
booktitle = {Foundations of Intelligent Systems, 9th International Symposium, {ISMIS}
'96, Zakopane, Poland, June 9-13, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1079},
pages = {325--334},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61286-6\_157},
doi = {10.1007/3-540-61286-6\_157},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismis/BrusoniCLMMT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/LammaMM96,
author = {Evelina Lamma and
Paola Mello and
Michela Milano},
editor = {Luca Chittaro and
Scott D. Goodwin and
Howard J. Hamilton and
Angelo Montanari},
title = {Temporal Reasoning in a Meta Constraint Logic Programming Architecture},
booktitle = {Proceedings of the Third International Workshop on Temporal Representation
and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996},
pages = {128--135},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/TIME.1996.555691},
doi = {10.1109/TIME.1996.555691},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/LammaMM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CiampoliniLMS96,
author = {Anna Ciampolini and
Evelina Lamma and
Paola Mello and
Cesare Stefanelli},
editor = {Jos{\'{e}} Meseguer},
title = {Distributed logic objects: {A} fragment of rewriting logic and its
implementation},
booktitle = {First International Workshop on Rewriting Logic and its Applications,
{RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
3-6, 1996},
series = {Electronic Notes in Theoretical Computer Science},
volume = {4},
pages = {110--125},
publisher = {Elsevier},
year = {1996},
url = {https://doi.org/10.1016/S1571-0661(04)00036-2},
doi = {10.1016/S1571-0661(04)00036-2},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CiampoliniLMS96.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 = {Wed, 01 Dec 2004 15:33:44 +0100},
biburl = {https://dblp.org/rec/conf/agp/CiampoliniLM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BrogiLMM95,
author = {Antonio Brogi and
Evelina Lamma and
Paolo Mancarella and
Paola Mello},
editor = {V. Wiktor Marek and
Anil Nerode},
title = {An Abductive Framework for Extended Logic Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, Third International
Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {928},
pages = {330--343},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59487-6\_24},
doi = {10.1007/3-540-59487-6\_24},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BrogiLMM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BugliesiLM94,
author = {Michele Bugliesi and
Evelina Lamma and
Paola Mello},
title = {Modularity in Logic Programming},
journal = {J. Log. Program.},
volume = {19/20},
pages = {443--502},
year = {1994},
url = {https://doi.org/10.1016/0743-1066(94)90032-9},
doi = {10.1016/0743-1066(94)90032-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BugliesiLM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LammaM94,
author = {Evelina Lamma and
Paola Mello},
editor = {Pascal Van Hentenryck},
title = {Modularity in Logic Programming},
booktitle = {Logic Programming, Proceedings of the Eleventh International Conference
on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
pages = {15--17},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/LammaM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/CiampoliniLMS94,
author = {Anna Ciampolini and
Evelina Lamma and
Paola Mello and
Cesare Stefanelli},
title = {Multi-level Copying For Unification In Parallel Architectures},
booktitle = {Proceedings of the Second Euromicro Workshop on Parallel and Distributed
Processing, {PDP} 1994, January 26-28, 1994, Malaga, Spain},
pages = {518--525},
publisher = {{IEEE}},
year = {1994},
url = {https://doi.org/10.1109/EMPDP.1994.592536},
doi = {10.1109/EMPDP.1994.592536},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/pdp/CiampoliniLMS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/LammaMR93,
author = {Evelina Lamma and
Paola Mello and
Gianfranco Rossi},
title = {Parametric Composable Modules in a Logic Programming Language},
journal = {Comput. Lang.},
volume = {18},
number = {2},
pages = {105--123},
year = {1993},
url = {https://doi.org/10.1016/0096-0551(93)90014-R},
doi = {10.1016/0096-0551(93)90014-R},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/LammaMR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BugliesiLM93,
author = {Michele Bugliesi and
Evelina Lamma and
Paola Mello},
title = {Partial Deduction for Structured Logic Programming},
journal = {J. Log. Program.},
volume = {16},
number = {1},
pages = {89--122},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90024-B},
doi = {10.1016/0743-1066(93)90024-B},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BugliesiLM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BrogiLM93,
author = {Antonio Brogi and
Evelina Lamma and
Paola Mello},
title = {Composing Open Logic Programs},
journal = {J. Log. Comput.},
volume = {3},
number = {4},
pages = {417--439},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.4.417},
doi = {10.1093/LOGCOM/3.4.417},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BrogiLM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/LammaM93,
author = {Evelina Lamma and
Paola Mello},
editor = {Pietro Torasso},
title = {Computing 3-valued Stable Models by using the {ATMS}},
booktitle = {Advances in Artificial Intelligence, Third Congress of the Italian
Association for Artificial Intelligence, AI*IA'93, Torino, Italy,
October 26-28, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {728},
pages = {23--34},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57292-9\_38},
doi = {10.1007/3-540-57292-9\_38},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/LammaM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/CiampoliniLMS93,
author = {Anna Ciampolini and
Evelina Lamma and
Paola Mello and
Cesare Stefanelli},
editor = {Roy Dyckhoff},
title = {Some Experimental Results in Implementing a Logic Language with Multi-head
Clauses on a Transputer Architecture},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {62--76},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_50},
doi = {10.1007/3-540-58025-5\_50},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/elp/CiampoliniLMS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/elp/1992,
editor = {Evelina Lamma and
Paola Mello},
title = {Extensions of Logic Programming, Third International Workshop, ELP'92,
Bologna, Italy, February 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {660},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56454-3},
doi = {10.1007/3-540-56454-3},
isbn = {3-540-56454-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/FringuelliLMS92,
author = {Bruno Fringuelli and
Evelina Lamma and
Paola Mello and
Giovanni Santocchia},
title = {Knowledge-Based Technology for Controlling Railway Stations},
journal = {{IEEE} Expert},
volume = {7},
number = {6},
pages = {45--52},
year = {1992},
url = {https://doi.org/10.1109/64.180408},
doi = {10.1109/64.180408},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/expert/FringuelliLMS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BrogiCLM92,
author = {Antonio Brogi and
Anna Ciampolini and
Evelina Lamma and
Paola Mello},
title = {The Implementation of a Distributed Model for Logic Programming Based
on Multiple-Headed Clauses},
journal = {Inf. Process. Lett.},
volume = {42},
number = {6},
pages = {331--338},
year = {1992},
url = {https://doi.org/10.1016/0020-0190(92)90232-K},
doi = {10.1016/0020-0190(92)90232-K},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BrogiCLM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LammaMN92,
author = {Evelina Lamma and
Paola Mello and
Antonio Natali},
title = {An Extended Warren Abstract Machine for the Execution of Structured
Logic Programs},
journal = {J. Log. Program.},
volume = {14},
number = {3{\&}4},
pages = {187--222},
year = {1992},
url = {https://doi.org/10.1016/0743-1066(92)90011-Q},
doi = {10.1016/0743-1066(92)90011-Q},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/LammaMN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/BrogiLM92,
author = {Antonio Brogi and
Evelina Lamma and
Paola Mello},
title = {Compositional Model-Theoretic Semantics for Logic Programs},
journal = {New Gener. Comput.},
volume = {11},
number = {1},
pages = {1--21},
year = {1992},
url = {https://doi.org/10.1007/BF03037525},
doi = {10.1007/BF03037525},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/BrogiLM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cnkbs/BrogiLMM92,
author = {Antonio Brogi and
Evelina Lamma and
Paolo Mancarella and
Paola Mello},
editor = {G{\'{e}}rard Comyn and
Matthias Jarke and
Suryanarayana M. Sripada},
title = {Normal logic programs as open positive programs},
booktitle = {CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge
Bases, Munich, Germany, 6-7 February 1992},
volume = {{ECRC-92-2}},
pages = {9--11},
publisher = {European Computer-Industry Research Centre, Munich},
year = {1992},
timestamp = {Tue, 30 May 2006 14:18:38 +0200},
biburl = {https://dblp.org/rec/conf/cnkbs/BrogiLMM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BrogiLM92,
author = {Antonio Brogi and
Evelina Lamma and
Paola Mello},
editor = {Bernd Neumann},
title = {{ATMS} for Implementing Logic Programming},
booktitle = {10th European Conference on Artificial Intelligence, {ECAI} 92, Vienna,
Austria, August 3-7, 1992. Proceedings},
pages = {114--118},
publisher = {John Wiley and Sons},
year = {1992},
timestamp = {Wed, 31 Jul 2019 08:44:58 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BrogiLM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LammaM92,
author = {Evelina Lamma and
Paola Mello},
editor = {Bernd Neumann},
title = {An Assumption-Based Truth Maintenance System Dealing wills Non-Ground
Justifications},
booktitle = {10th European Conference on Artificial Intelligence, {ECAI} 92, Vienna,
Austria, August 3-7, 1992. Proceedings},
pages = {119--123},
publisher = {John Wiley and Sons},
year = {1992},
timestamp = {Wed, 31 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/LammaM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/DentiLMNO92,
author = {Enrico Denti and
Evelina Lamma and
Paola Mello and
Antonio Natali and
Andrea Omicini},
editor = {Evelina Lamma and
Paola Mello},
title = {Techniques for Implementing Contexts in Logic Programming},
booktitle = {Extensions of Logic Programming, Third International Workshop, ELP'92,
Bologna, Italy, February 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {660},
pages = {339--358},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56454-3\_17},
doi = {10.1007/3-540-56454-3\_17},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/elp/DentiLMNO92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BrogiLMM92,
author = {Antonio Brogi and
Evelina Lamma and
Paolo Mancarella and
Paola Mello},
editor = {Krzysztof R. Apt},
title = {Normal Logic Programs as Open Positive Programs},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {783--797},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BrogiLMM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LammaM92,
author = {Evelina Lamma and
Paola Mello},
editor = {Kung{-}Kiu Lau and
Tim Clement},
title = {A Rationalisation of the {ATMS} in Terms of Partial Evaluation},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
92, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 2-3 July 1992},
series = {Workshops in Computing},
pages = {118--131},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3560-9\_9},
doi = {10.1007/978-1-4471-3560-9\_9},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/LammaM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/LammaMN91,
author = {Evelina Lamma and
Paola Mello and
Antonio Natali},
title = {Reflection Mechanisms for Combining Prolog Databases},
journal = {Softw. Pract. Exp.},
volume = {21},
number = {6},
pages = {603--624},
year = {1991},
url = {https://doi.org/10.1002/spe.4380210605},
doi = {10.1002/SPE.4380210605},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/LammaMN91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BrogiLMM91,
author = {Antonio Brogi and
Evelina Lamma and
Paolo Mancarella and
Paola Mello},
editor = {Edoardo Ardizzone and
Salvatore Gaglio and
Filippo Sorbello},
title = {Abductive Reasoning in a Multi-Theory Framework},
booktitle = {Trends in Artificial Intelligence, 2nd Congress of the Italian Association
for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31,
1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {549},
pages = {137--146},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54712-6\_226},
doi = {10.1007/3-540-54712-6\_226},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/BrogiLMM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/BrogiLM91,
author = {Antonio Brogi and
Evelina Lamma and
Paola Mello},
editor = {Lars{-}Henrik Eriksson and
Lars Halln{\"{a}}s and
Peter Schroeder{-}Heister},
title = {Open Logic Theories},
booktitle = {Extensions of Logic Programming, Second International Workshop, ELP'91,
Stockholm, Sweden, January 27-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {596},
pages = {73--88},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013604},
doi = {10.1007/BFB0013604},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/elp/BrogiLM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BrogiLM91,
author = {Antonio Brogi and
Evelina Lamma and
Paola Mello},
editor = {Andrei Voronkov},
title = {Objects in a Logic Programming Framework},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {102--113},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_8},
doi = {10.1007/3-540-55460-2\_8},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BrogiLM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdk/LammaM91,
author = {Evelina Lamma and
Paola Mello},
editor = {Harold Boley and
Michael M. Richter},
title = {Processing Abductive Reasoning via Contextual Logic Programming},
booktitle = {Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern,
Germany, July 1-3, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {567},
pages = {336--343},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013542},
doi = {10.1007/BFB0013542},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/pdk/LammaM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BrogiLM90,
author = {Antonio Brogi and
Evelina Lamma and
Paola Mello},
title = {Hypothetical Reasoning in Logic Programming: {A} Semantic Approach},
journal = {Inf. Process. Lett.},
volume = {36},
number = {6},
pages = {285--291},
year = {1990},
url = {https://doi.org/10.1016/0020-0190(90)90040-5},
doi = {10.1016/0020-0190(90)90040-5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BrogiLM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BrogiLM90,
author = {Antonio Brogi and
Evelina Lamma and
Paola Mello},
title = {Inheritance and Hypothetical Reasoning in Logic Programming},
booktitle = {9th European Conference on Artificial Intelligence, {ECAI} 1990, Stockholm,
Sweden, 1990},
pages = {105--110},
year = {1990},
timestamp = {Tue, 30 Jul 2019 13:42:21 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BrogiLM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BugliesiLM90,
author = {Michele Bugliesi and
Evelina Lamma and
Paola Mello},
editor = {Saumya K. Debray and
Manuel V. Hermenegildo},
title = {Partial Evaluation for Hierarchies of Logic Theories},
booktitle = {Logic Programming, Proceedings of the 1990 North American Conference,
Austin, Texas, USA, October 29 - November 1, 1990},
pages = {359--376},
publisher = {{MIT} Press},
year = {1990},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/BugliesiLM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedam/CremoniniLM89,
author = {Roberto Cremonini and
Evelina Lamma and
Paola Mello},
title = {{ADES:} An expert system for {ATP} design},
journal = {Artif. Intell. Eng. Des. Anal. Manuf.},
volume = {3},
number = {1},
pages = {1--21},
year = {1989},
url = {https://doi.org/10.1017/S0890060400001062},
doi = {10.1017/S0890060400001062},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aiedam/CremoniniLM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LammaMN89,
author = {Evelina Lamma and
Paola Mello and
Antonio Natali},
editor = {Giorgio Levi and
Maurizio Martelli},
title = {The Design of an Abstract Machine for Efficient Implementation of
Contexts in Logic Programming},
booktitle = {Logic Programming, Proceedings of the Sixth International Conference,
Lisbon, Portugal, June 19-23, 1989},
pages = {303--317},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/LammaMN89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/CavalieriLM88,
author = {Marco Cavalieri and
Evelina Lamma and
Paola Mello},
editor = {Yves Kodratoff},
title = {An Extended Prolog Machine for Dynamic Context Handling},
booktitle = {8th European Conference on Artificial Intelligence, {ECAI} 1988, Munich,
Germany, August 1-5, 1988, Proceedings},
pages = {284--289},
publisher = {Pitmann Publishing, London},
year = {1988},
timestamp = {Tue, 30 Jul 2019 13:42:25 +0200},
biburl = {https://dblp.org/rec/conf/ecai/CavalieriLM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/CavalieriLMN88,
author = {Marco Cavalieri and
Evelina Lamma and
Paola Mello and
Antonio Natali},
editor = {Harvey Abramson and
M. H. Rogers},
title = {Meta-Programming in Prolog Through Direct Introspection: Comparison
with Meta-Interpretation Techniques},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {399--415},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 17:09:12 +0200},
biburl = {https://dblp.org/rec/conf/meta/CavalieriLMN88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/CremoniniLM87,
author = {Roberto Cremonini and
Evelina Lamma and
Paola Mello},
title = {Optimization techniques in building expert systems},
journal = {Microprocess. Microprogramming},
volume = {21},
number = {1-5},
pages = {531--538},
year = {1987},
url = {https://doi.org/10.1016/0165-6074(87)90087-1},
doi = {10.1016/0165-6074(87)90087-1},
timestamp = {Fri, 05 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/CremoniniLM87.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.
last updated on 2024-04-25 05:57 CEST 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:
