Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Viviana Mascardi
@article{DBLP:journals/ia/FerrandoM23,
author = {Angelo Ferrando and
Viviana Mascardi},
title = {Special issue for the 23rd workshop "from objects to agents"
{(WOA} 2022)},
journal = {Intelligenza Artificiale},
volume = {17},
number = {1},
pages = {3--5},
year = {2023},
url = {https://doi.org/10.3233/IA-230015},
doi = {10.3233/IA-230015},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/FerrandoM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/robotics/GattiM23,
author = {Andrea Gatti and
Viviana Mascardi},
title = {VEsNA, a Framework for Virtual Environments via Natural Language Agents
and Its Application to Factory Automation},
journal = {Robotics},
volume = {12},
number = {2},
pages = {46},
year = {2023},
url = {https://doi.org/10.3390/robotics12020046},
doi = {10.3390/ROBOTICS12020046},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/robotics/GattiM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/robotics/EngelmannFPABM23,
author = {D{\'{e}}bora C. Engelmann and
Angelo Ferrando and
Alison R. Panisson and
Davide Ancona and
Rafael H. Bordini and
Viviana Mascardi},
title = {RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and
Robotic Applications},
journal = {Robotics},
volume = {12},
number = {2},
pages = {49},
year = {2023},
url = {https://doi.org/10.3390/robotics12020049},
doi = {10.3390/ROBOTICS12020049},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/robotics/EngelmannFPABM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/EngelmannPVHMB23,
author = {D{\'{e}}bora C. Engelmann and
Alison R. Panisson and
Renata Vieira and
Jomi Fred H{\"{u}}bner and
Viviana Mascardi and
Rafael H. Bordini},
editor = {Noa Agmon and
Bo An and
Alessandro Ricci and
William Yeoh},
title = {{MAIDS} - {A} Framework for the Development of Multi-Agent Intentional
Dialogue Systems},
booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
2023 - 2 June 2023},
pages = {1209--1217},
publisher = {{ACM}},
year = {2023},
url = {https://dl.acm.org/doi/10.5555/3545946.3598764},
doi = {10.5555/3545946.3598764},
timestamp = {Tue, 23 May 2023 14:27:14 +0200},
biburl = {https://dblp.org/rec/conf/atal/EngelmannPVHMB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emas/BriolaFM23,
author = {Daniela Briola and
Angelo Ferrando and
Viviana Mascardi},
editor = {Andrei Ciortea and
Mehdi Dastani and
Jieting Luo},
title = {Fantastic MASs and Where to Find Them: First Results and Lesson Learned},
booktitle = {Engineering Multi-Agent Systems - 11th International Workshop, {EMAS}
2023, London, UK, May 29-30, 2023, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14378},
pages = {233--252},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-48539-8\_16},
doi = {10.1007/978-3-031-48539-8\_16},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emas/BriolaFM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/EsfahaniEFMM23,
author = {Zeinab Namakizadeh Esfahani and
D{\'{e}}bora Cristina Engelmann and
Angelo Ferrando and
Massimiliano Margarone and
Viviana Mascardi},
editor = {Vadim Malvone and
Aniello Murano},
title = {Integrating Ontologies and Cognitive Conversational Agents in On2Conv},
booktitle = {Multi-Agent Systems - 20th European Conference, {EUMAS} 2023, Naples,
Italy, September 14-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14282},
pages = {66--82},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43264-4\_5},
doi = {10.1007/978-3-031-43264-4\_5},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eumas/EsfahaniEFMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/Ancona0M23,
author = {Davide Ancona and
Angelo Ferrando and
Viviana Mascardi},
editor = {Aaron Tomb},
title = {Runtime Verification of Hash Code in Mutable Classes},
booktitle = {Proceedings of the 25th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023},
pages = {25--31},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3605156.3606452},
doi = {10.1145/3605156.3606452},
timestamp = {Mon, 17 Jul 2023 13:06:47 +0200},
biburl = {https://dblp.org/rec/conf/ftfjp/Ancona0M23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nl4ai/0002MP23,
author = {Andrea Gatti and
Viviana Mascardi and
Domenico Pellegrini},
editor = {Elisa Bassignana and
Dominique Brunato and
Marco Polignano and
Alan Ramponi},
title = {Mining Information From Legal Sentences in KlonDikE},
booktitle = {Proceedings of the Seventh Workshop on Natural Language for Artificial
Intelligence {(NL4AI} 2023) co-located with 22th International Conference
of the Italian Association for Artificial Intelligence (AIxIA 2023),
Rome, Italy, November 6th-7th, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3551},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3551/paper16.pdf},
timestamp = {Fri, 08 Dec 2023 14:24:28 +0100},
biburl = {https://dblp.org/rec/conf/nl4ai/0002MP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vortex/0001GM23,
author = {Angelo Ferrando and
Andrea Gatti and
Viviana Mascardi},
editor = {Davide Ancona and
Giorgio Audrito},
title = {RV4Rasa: {A} Formalism-Agnostic Runtime Verification Framework for
Verifying ChatBots in Rasa},
booktitle = {Proceedings of the 6th International Workshop on Verification and
Monitoring at Runtime Execution, {VORTEX} 2023, Seattle, WA, USA,
18 July 2023},
pages = {1--8},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3605159.3605855},
doi = {10.1145/3605159.3605855},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vortex/0001GM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Ancona0M23,
author = {Davide Ancona and
Angelo Ferrando and
Viviana Mascardi},
editor = {David Scott Warren and
Ver{\'{o}}nica Dahl and
Thomas Eiter and
Manuel V. Hermenegildo and
Robert A. Kowalski and
Francesca Rossi},
title = {Exploiting Logic Programming for Runtime Verification: Current and
Future Perspectives},
booktitle = {Prolog: The Next 50 Years},
series = {Lecture Notes in Computer Science},
volume = {13900},
pages = {300--317},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35254-6\_25},
doi = {10.1007/978-3-031-35254-6\_25},
timestamp = {Tue, 23 Jan 2024 13:25:47 +0100},
biburl = {https://dblp.org/rec/series/lncs/Ancona0M23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/LosapioMMF22,
author = {Gianvito Losapio and
Federico Minutoli and
Viviana Mascardi and
Angelo Ferrando},
title = {Smart balancing of E-scooter sharing systems via deep reinforcement
learning: a preliminary study},
journal = {Intelligenza Artificiale},
volume = {16},
number = {1},
pages = {49--67},
year = {2022},
url = {https://doi.org/10.3233/IA-210126},
doi = {10.3233/IA-210126},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/LosapioMMF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AnconaFM22,
author = {Davide Ancona and
Angelo Ferrando and
Viviana Mascardi},
editor = {Roberta Calegari and
Giovanni Ciatto and
Andrea Omicini},
title = {Exploiting Probabilistic Trace Expressions for Decentralized Runtime
Verification with Gaps},
booktitle = {Proceedings of the 37th Italian Conference on Computational Logic,
Bologna, Italy, June 29 - July 1, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3204},
pages = {154--170},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3204/paper\_17.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/AnconaFM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/AnconaFM22,
author = {Davide Ancona and
Angelo Ferrando and
Viviana Mascardi},
editor = {Dorothea Baumeister and
J{\"{o}}rg Rothe},
title = {Mind the Gap! Runtime Verification of Partially Observable MASs with
Probabilistic Trace Expressions},
booktitle = {Multi-Agent Systems - 19th European Conference, {EUMAS} 2022, D{\"{u}}sseldorf,
Germany, September 14-16, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13442},
pages = {22--40},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-20614-6\_2},
doi = {10.1007/978-3-031-20614-6\_2},
timestamp = {Wed, 21 Dec 2022 18:19:12 +0100},
biburl = {https://dblp.org/rec/conf/eumas/AnconaFM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paams/FerreiraPEVMB22,
author = {Carlos Eduardo A. Ferreira and
Alison R. Panisson and
D{\'{e}}bora C. Engelmann and
Renata Vieira and
Viviana Mascardi and
Rafael H. Bordini},
editor = {Frank Dignum and
Philippe Mathieu and
Juan Manuel Corchado and
Fernando de la Prieta},
title = {Explaining Semantic Reasoning Using Argumentation},
booktitle = {Advances in Practical Applications of Agents, Multi-Agent Systems,
and Complex Systems Simulation. The {PAAMS} Collection - 20th International
Conference, {PAAMS} 2022, L'Aquila, Italy, July 13-15, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13616},
pages = {153--165},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-18192-4\_13},
doi = {10.1007/978-3-031-18192-4\_13},
timestamp = {Thu, 20 Oct 2022 08:40:34 +0200},
biburl = {https://dblp.org/rec/conf/paams/FerreiraPEVMB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2207-09708,
author = {D{\'{e}}bora C. Engelmann and
Angelo Ferrando and
Alison R. Panisson and
Davide Ancona and
Rafael H. Bordini and
Viviana Mascardi},
editor = {Rafael C. Cardoso and
Angelo Ferrando and
Fabio Papacchini and
Mehrnoosh Askarpour and
Louise A. Dennis},
title = {RV4JaCa - Runtime Verification for Multi-Agent Systems},
booktitle = {Proceedings of the Second Workshop on Agents and Robots for reliable
Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July
2022},
series = {{EPTCS}},
volume = {362},
pages = {23--36},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.362.5},
doi = {10.4204/EPTCS.362.5},
timestamp = {Wed, 28 Sep 2022 08:59:54 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-09708.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2207-09711,
author = {Andrea Gatti and
Viviana Mascardi},
editor = {Rafael C. Cardoso and
Angelo Ferrando and
Fabio Papacchini and
Mehrnoosh Askarpour and
Louise A. Dennis},
title = {Towards VEsNA, a Framework for Managing Virtual Environments via Natural
Language Agents},
booktitle = {Proceedings of the Second Workshop on Agents and Robots for reliable
Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July
2022},
series = {{EPTCS}},
volume = {362},
pages = {65--80},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.362.8},
doi = {10.4204/EPTCS.362.8},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-09711.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2021dp,
editor = {Viviana Mascardi and
Matteo Palmonari and
Giuseppe Vizzari},
title = {AIxIA 2021 Discussion Papers co-located with the the 20th International
Conference of the Italian Association for Artificial Intelligence
(AIxIA2021), Virtual Event, December 1st-3rd, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3078},
publisher = {CEUR-WS.org},
year = {2022},
url = {http://ceur-ws.org/Vol-3078},
urn = {urn:nbn:de:0074-3078-8},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/2021dp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2021,
editor = {Stefania Bandini and
Francesca Gasparini and
Viviana Mascardi and
Matteo Palmonari and
Giuseppe Vizzari},
title = {AIxIA 2021 - Advances in Artificial Intelligence - 20th International
Conference of the Italian Association for Artificial Intelligence,
Virtual Event, December 1-3, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13196},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08421-8},
doi = {10.1007/978-3-031-08421-8},
isbn = {978-3-031-08420-1},
timestamp = {Thu, 21 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2022,
editor = {Piotr Faliszewski and
Viviana Mascardi and
Catherine Pelachaud and
Matthew E. Taylor},
title = {21st International Conference on Autonomous Agents and Multiagent
Systems, {AAMAS} 2022, Auckland, New Zealand, May 9-13, 2022},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
{(IFAAMAS)}},
year = {2022},
url = {https://www.ifaamas.org/Proceedings/aamas2022},
doi = {10.5555/3535850},
isbn = {978-1-4503-9213-6},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/woa/2022,
editor = {Angelo Ferrando and
Viviana Mascardi},
title = {Proceedings of the 23rd Workshop "From Objects to Agents",
Genova, Italy, September 1-3, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3261},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3261},
urn = {urn:nbn:de:0074-3261-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/CalegariCMO21,
author = {Roberta Calegari and
Giovanni Ciatto and
Viviana Mascardi and
Andrea Omicini},
title = {Logic-based technologies for multi-agent systems: a systematic literature
review},
journal = {Auton. Agents Multi Agent Syst.},
volume = {35},
number = {1},
pages = {1},
year = {2021},
url = {https://doi.org/10.1007/s10458-020-09478-3},
doi = {10.1007/S10458-020-09478-3},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aamas/CalegariCMO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/FisherMRSWY21,
author = {Michael Fisher and
Viviana Mascardi and
Kristin Yvonne Rozier and
Bernd{-}Holger Schlingloff and
Michael Winikoff and
Neil Yorke{-}Smith},
title = {Towards a framework for certification of reliable autonomous systems},
journal = {Auton. Agents Multi Agent Syst.},
volume = {35},
number = {1},
pages = {8},
year = {2021},
url = {https://doi.org/10.1007/s10458-020-09487-2},
doi = {10.1007/S10458-020-09487-2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aamas/FisherMRSWY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/FerrandoCFLPFM21,
author = {Angelo Ferrando and
Rafael C. Cardoso and
Marie Farrell and
Matt Luckcuck and
Fabio Papacchini and
Michael Fisher and
Viviana Mascardi},
title = {Bridging the gap between single- and multi-model predictive runtime
verification},
journal = {Formal Methods Syst. Des.},
volume = {59},
number = {1},
pages = {44--76},
year = {2021},
url = {https://doi.org/10.1007/s10703-022-00395-7},
doi = {10.1007/S10703-022-00395-7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/FerrandoCFLPFM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AnconaFFM21,
author = {Davide Ancona and
Luca Franceschini and
Angelo Ferrando and
Viviana Mascardi},
title = {{RML:} Theory and practice of a domain specific language for runtime
verification},
journal = {Sci. Comput. Program.},
volume = {205},
pages = {102610},
year = {2021},
url = {https://doi.org/10.1016/j.scico.2021.102610},
doi = {10.1016/J.SCICO.2021.102610},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/AnconaFFM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/FerrandoDCFAM21,
author = {Angelo Ferrando and
Louise A. Dennis and
Rafael C. Cardoso and
Michael Fisher and
Davide Ancona and
Viviana Mascardi},
title = {Toward a Holistic Approach to Verification and Validation of Autonomous
Cognitive Systems},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {30},
number = {4},
pages = {43:1--43:43},
year = {2021},
url = {https://doi.org/10.1145/3447246},
doi = {10.1145/3447246},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/FerrandoDCFAM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CalegariCMO21,
author = {Roberta Calegari and
Giovanni Ciatto and
Viviana Mascardi and
Andrea Omicini},
editor = {Frank Dignum and
Alessio Lomuscio and
Ulle Endriss and
Ann Now{\'{e}}},
title = {Logic-based Technologies for Multi-agent Systems: Summary of a Systematic
Literature Review},
booktitle = {{AAMAS} '21: 20th International Conference on Autonomous Agents and
Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
pages = {1721--1723},
publisher = {{ACM}},
year = {2021},
url = {https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1721.pdf},
doi = {10.5555/3463952.3464214},
timestamp = {Wed, 20 Jul 2022 17:03:47 +0200},
biburl = {https://dblp.org/rec/conf/atal/CalegariCMO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/0001MRSWY21,
author = {Michael Fisher and
Viviana Mascardi and
Kristin Y. Rozier and
Bernd{-}Holger Schlingloff and
Michael Winikoff and
Neil Yorke{-}Smith},
editor = {Frank Dignum and
Alessio Lomuscio and
Ulle Endriss and
Ann Now{\'{e}}},
title = {Summarising a Framework for the Certification of Reliable Autonomous
Systems},
booktitle = {{AAMAS} '21: 20th International Conference on Autonomous Agents and
Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
pages = {1733--1734},
publisher = {{ACM}},
year = {2021},
url = {https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1733.pdf},
doi = {10.5555/3463952.3464218},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/0001MRSWY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/ColissiVMB21,
author = {Mateus da Silveira Colissi and
Renata Vieira and
Viviana Mascardi and
Rafael H. Bordini},
editor = {Constantine Stephanidis and
Margherita Antona and
Stavroula Ntoa},
title = {A Chatbot that Uses a Multi-agent Organization to Support Collaborative
Learning},
booktitle = {{HCI} International 2021 - Posters - 23rd {HCI} International Conference,
{HCII} 2021, Virtual Event, July 24-29, 2021, Proceedings, Part {III}},
series = {Communications in Computer and Information Science},
volume = {1421},
pages = {31--38},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78645-8\_4},
doi = {10.1007/978-3-030-78645-8\_4},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hci/ColissiVMB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/RiccaMV21,
author = {Filippo Ricca and
Viviana Mascardi and
Alessandro Verri},
editor = {Wolfgang Ahrendt and
Davide Ancona and
Adrian Francalanza},
title = {Test'n'Mo: a collaborative platform for human testers and intelligent
monitoring agents},
booktitle = {{VORTEX} 2021: Proceedings of the 5th {ACM} International Workshop
on Verification and mOnitoring at Runtime EXecution, Virtual Event,
Denmark, 12 July 2021},
pages = {17--21},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464974.3468446},
doi = {10.1145/3464974.3468446},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/RiccaMV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/LosapioMMF21,
author = {Gianvito Losapio and
Federico Minutoli and
Viviana Mascardi and
Angelo Ferrando},
editor = {Roberta Calegari and
Giovanni Ciatto and
Enrico Denti and
Andrea Omicini and
Giovanni Sartor},
title = {Smart Balancing of E-scooter Sharing Systems via Deep Reinforcement
Learning},
booktitle = {Proceedings of the 22nd Workshop "From Objects to Agents", Bologna,
Italy, September 1-3, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2963},
pages = {83--97},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2963/paper16.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:40 +0100},
biburl = {https://dblp.org/rec/conf/woa/LosapioMMF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BriolaMG20,
author = {Daniela Briola and
Viviana Mascardi and
Massimiliano Gioseffi},
title = {OntoScene, {A} Logic-Based Scene Interpreter: Implementation and Application
in the Rock Art Domain},
journal = {Theory Pract. Log. Program.},
volume = {20},
number = {4},
pages = {456--511},
year = {2020},
url = {https://doi.org/10.1017/S1471068419000462},
doi = {10.1017/S1471068419000462},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/BriolaMG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/SalvaneschiMSM19,
author = {Roberto Salvaneschi and
Daniela Muradore and
Andrea Stanchi and
Viviana Mascardi},
editor = {Pierpaolo Basile and
Valerio Basile and
Danilo Croce and
Elena Cabrio},
title = {FrEX: Extracting Property Expropriation Frame Entities from Real Cases},
booktitle = {Proceedings of the 4th Workshop on Natural Language for Artificial
Intelligence {(NL4AI} 2020) co-located with the 19th International
Conference of the Italian Association for Artificial Intelligence
(AI*IA 2020), Anywhere, November 25th-27th, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2735},
pages = {87--103},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2735/paper35.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/SalvaneschiMSM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paams/BiagettiFM20,
author = {Alessandro Biagetti and
Angelo Ferrando and
Viviana Mascardi},
editor = {Yves Demazeau and
Tom Holvoet and
Juan M. Corchado and
Stefania Costantini},
title = {The DigForSim Agent Based Simulator of People Movements in Crime Scenes},
booktitle = {Advances in Practical Applications of Agents, Multi-Agent Systems,
and Trustworthiness. The {PAAMS} Collection - 18th International Conference,
{PAAMS} 2020, L'Aquila, Italy, October 7-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12092},
pages = {42--54},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-49778-1\_4},
doi = {10.1007/978-3-030-49778-1\_4},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paams/BiagettiFM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taros/FerrandoC0AFM20,
author = {Angelo Ferrando and
Rafael C. Cardoso and
Michael Fisher and
Davide Ancona and
Luca Franceschini and
Viviana Mascardi},
editor = {Abdelkhalick Mohammad and
Xin Dong and
Matteo Russo},
title = {ROSMonitoring: {A} Runtime Verification Framework for {ROS}},
booktitle = {Towards Autonomous Robotic Systems - 21st Annual Conference, {TAROS}
2020, Nottingham, UK, September 16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12228},
pages = {387--399},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63486-5\_40},
doi = {10.1007/978-3-030-63486-5\_40},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/taros/FerrandoC0AFM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/um/DelzannoGMT20,
author = {Giorgio Delzanno and
Giovanna Guerrini and
Viviana Mascardi and
Daniele Traversaro},
editor = {Tsvi Kuflik and
Ilaria Torre and
Robin Burke and
Cristina Gena},
title = {PyWeCode: Towards a Collaborative Coding Framework based on the arcade
Python Library},
booktitle = {Adjunct Publication of the 28th {ACM} Conference on User Modeling,
Adaptation and Personalization, {UMAP} 2020, Genoa, Italy, July 12-18,
2020},
pages = {107--113},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3386392.3399308},
doi = {10.1145/3386392.3399308},
timestamp = {Tue, 21 Jul 2020 15:45:19 +0200},
biburl = {https://dblp.org/rec/conf/um/DelzannoGMT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/um/DelzannoGMGPVFA20,
author = {Giorgio Delzanno and
Giovanna Guerrini and
Viviana Mascardi and
Luca Gelati and
Vincenzo Petito and
Francesca Vitali and
Angelo Ferrando and
Davide Ancona and
Manuela Chessa and
Nicoletta Noceti and
Francesca Odone},
editor = {Tsvi Kuflik and
Ilaria Torre and
Robin Burke and
Cristina Gena},
title = {Slow Rogaining: An Innovative Teamwork Model for Computer Science
Education},
booktitle = {Adjunct Publication of the 28th {ACM} Conference on User Modeling,
Adaptation and Personalization, {UMAP} 2020, Genoa, Italy, July 12-18,
2020},
pages = {119--126},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3386392.3399310},
doi = {10.1145/3386392.3399310},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/um/DelzannoGMGPVFA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/BordiniMCSLR20,
author = {Rafael H. Bordini and
Viviana Mascardi and
Stefania Costantini and
Amal El Fallah Seghrouchni and
Yves Lesp{\'{e}}rance and
Alessandro Ricci},
editor = {Roberta Calegari and
Giovanni Ciatto and
Enrico Denti and
Andrea Omicini and
Giovanni Sartor},
title = {Transcultural Health-Aware Guides for the Elderly},
booktitle = {Proceedings of the Workshop on 21st Workshop "From Objects to Agents",
Bologna, Italy, September 14-16, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2706},
pages = {135--146},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2706/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:40 +0100},
biburl = {https://dblp.org/rec/conf/woa/BordiniMCSLR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-00391,
author = {Davide Ancona and
Angelo Ferrando and
Viviana Mascardi},
editor = {Ornela Dardha and
Jurriaan Rot},
title = {Can determinism and compositionality coexist in RML?},
booktitle = {Proceedings Combined 27th International Workshop on Expressiveness
in Concurrency and 17th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2020, and 17th Workshop on Structural Operational SemanticsOnline,
31 August 2020},
series = {{EPTCS}},
volume = {322},
pages = {13--32},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.322.4},
doi = {10.4204/EPTCS.322.4},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-00391.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2007-11742,
author = {Davide Ancona and
Chiara Bassano and
Manuela Chessa and
Viviana Mascardi and
Fabio Solari},
editor = {Rafael C. Cardoso and
Angelo Ferrando and
Daniela Briola and
Claudio Menghi and
Tobias Ahlbrecht},
title = {Engineering Reliable Interactions in the Reality-Artificiality Continuum},
booktitle = {Proceedings of the First Workshop on Agents and Robots for reliable
Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September
2020},
series = {{EPTCS}},
volume = {319},
pages = {69--80},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.319.6},
doi = {10.4204/EPTCS.319.6},
timestamp = {Wed, 28 Sep 2022 08:59:54 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-11742.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2010-05694,
author = {Viviana Mascardi and
Domenico Pellegrini},
editor = {Francesco Ricca and
Alessandra Russo and
Sergio Greco and
Nicola Leone and
Alexander Artikis and
Gerhard Friedrich and
Paul Fodor and
Angelika Kimmig and
Francesca A. Lisi and
Marco Maratea and
Alessandra Mileo and
Fabrizio Riguzzi},
title = {Logical Judges Challenge Human Judges on the Strange Case of B.C.-Valjean},
booktitle = {Proceedings 36th International Conference on Logic Programming (Technical
Communications), {ICLP} Technical Communications 2020, (Technical
Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020},
series = {{EPTCS}},
volume = {325},
pages = {268--275},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.325.32},
doi = {10.4204/EPTCS.325.32},
timestamp = {Wed, 04 Nov 2020 16:04:03 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-05694.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-09124,
author = {Michael Fisher and
Viviana Mascardi and
Kristin Yvonne Rozier and
Bernd{-}Holger Schlingloff and
Michael Winikoff and
Neil Yorke{-}Smith},
title = {Towards a Framework for Certification of Reliable Autonomous Systems},
journal = {CoRR},
volume = {abs/2001.09124},
year = {2020},
url = {https://arxiv.org/abs/2001.09124},
eprinttype = {arXiv},
eprint = {2001.09124},
timestamp = {Thu, 30 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-09124.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-06453,
author = {Davide Ancona and
Angelo Ferrando and
Viviana Mascardi},
title = {Can determinism and compositionality coexist in RML? (extended version)},
journal = {CoRR},
volume = {abs/2008.06453},
year = {2020},
url = {https://arxiv.org/abs/2008.06453},
eprinttype = {arXiv},
eprint = {2008.06453},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-06453.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/MascardiWR19,
author = {Viviana Mascardi and
Danny Weyns and
Alessandro Ricci},
title = {Engineering Multi-Agent Systems: State of Affairs and the Road Ahead},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {44},
number = {1},
pages = {18--28},
year = {2019},
url = {https://doi.org/10.1145/3310013.3310035},
doi = {10.1145/3310013.3310035},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/MascardiWR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/FerrandoWCDM19,
author = {Angelo Ferrando and
Michael Winikoff and
Stephen Cranefield and
Frank Dignum and
Viviana Mascardi},
editor = {Edith Elkind and
Manuela Veloso and
Noa Agmon and
Matthew E. Taylor},
title = {On Enactability of Agent Interaction Protocols: Towards a Unified
Approach},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
2019},
pages = {1955--1957},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2019},
url = {http://dl.acm.org/citation.cfm?id=3331975},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/FerrandoWCDM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CicconeFAM19,
author = {Luca Ciccone and
Angelo Ferrando and
Davide Ancona and
Viviana Mascardi},
editor = {Alberto Casagrande and
Eugenio G. Omodeo},
title = {Timed Trace Expressions},
booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
Trieste, Italy, June 19-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2396},
pages = {229--241},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2396/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CicconeFAM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emas/FerrandoWCDM19,
author = {Angelo Ferrando and
Michael Winikoff and
Stephen Cranefield and
Frank Dignum and
Viviana Mascardi},
editor = {Louise A. Dennis and
Rafael H. Bordini and
Yves Lesp{\'{e}}rance},
title = {On Enactability of Agent Interaction Protocols: Towards a Unified
Approach},
booktitle = {Engineering Multi-Agent Systems - 7th International Workshop, {EMAS}
2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12058},
pages = {43--64},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-51417-4\_3},
doi = {10.1007/978-3-030-51417-4\_3},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emas/FerrandoWCDM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/AnconaFFM19,
author = {Davide Ancona and
Luca Franceschini and
Angelo Ferrando and
Viviana Mascardi},
editor = {Alessandra Cherubini and
Nicoletta Sabadini and
Simone Tini},
title = {A Deterministic Event Calculus for Effective Runtime Verification},
booktitle = {Proceedings of the 20th Italian Conference on Theoretical Computer
Science, {ICTCS} 2019, Como, Italy, September 9-11, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2504},
pages = {248--260},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2504/paper28.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/AnconaFFM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/CaponeBMDFGG19,
author = {Chiara Capone and
Rafael H. Bordini and
Viviana Mascardi and
Giorgio Delzanno and
Angelo Ferrando and
Luca Gelati and
Giovanna Guerrini},
editor = {Matteo Baldoni and
Mehdi Dastani and
Beishui Liao and
Yuko Sakurai and
Rym Zalila{-}Wenkstern},
title = {Smart RogAgent: Where Agents and Humans Team Up},
booktitle = {{PRIMA} 2019: Principles and Practice of Multi-Agent Systems - 22nd
International Conference, Turin, Italy, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11873},
pages = {541--549},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33792-6\_39},
doi = {10.1007/978-3-030-33792-6\_39},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prima/CaponeBMDFGG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programming/LeottaPGDGM19,
author = {Maurizio Leotta and
Vincenzo Petito and
Luca Gelati and
Giorgio Delzanno and
Giovanna Guerrini and
Viviana Mascardi},
editor = {Stefan Marr and
Walter Cazzola},
title = {Orchestrated crowdsourced testing of a mobile web application: a case
study},
booktitle = {Conference Companion of the 3rd International Conference on Art, Science,
and Engineering of Programming, Genova, Italy, April 1-4, 2019},
pages = {17:1--17:6},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3328433.3328451},
doi = {10.1145/3328433.3328451},
timestamp = {Fri, 12 Jun 2020 17:45:26 +0200},
biburl = {https://dblp.org/rec/conf/programming/LeottaPGDGM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/AnconaMNOAS19,
author = {Massimo Ancona and
Viviana Mascardi and
Nicoletta Noceti and
Francesca Odone and
Waqas Ahsen and
Antonino Scribellito},
editor = {Federico Bergenti and
Stefania Monica},
title = {Towards the Internet of Safe and Intelligent Postal+ Things},
booktitle = {Proceedings of the 20th Workshop "From Objects to Agents", Parma,
Italy, June 26th-28th, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2404},
pages = {51--58},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2404/paper08.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:40 +0100},
biburl = {https://dblp.org/rec/conf/woa/AnconaMNOAS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emas/2018,
editor = {Danny Weyns and
Viviana Mascardi and
Alessandro Ricci},
title = {Engineering Multi-Agent Systems - 6th International Workshop, {EMAS}
2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11375},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25693-7},
doi = {10.1007/978-3-030-25693-7},
isbn = {978-3-030-25692-0},
timestamp = {Mon, 15 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emas/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-01131,
author = {Angelo Ferrando and
Michael Winikoff and
Stephen Cranefield and
Frank Dignum and
Viviana Mascardi},
title = {On the Enactability of Agent Interaction Protocols: Toward a Unified
Approach},
journal = {CoRR},
volume = {abs/1902.01131},
year = {2019},
url = {http://arxiv.org/abs/1902.01131},
eprinttype = {arXiv},
eprint = {1902.01131},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-01131.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-04863,
author = {Daniela Briola and
Viviana Mascardi and
Massimiliano Gioseffi},
title = {OntoScene, {A} Logic-based Scene Interpreter: Implementation and Application
in the Rock Art Domain},
journal = {CoRR},
volume = {abs/1911.04863},
year = {2019},
url = {http://arxiv.org/abs/1911.04863},
eprinttype = {arXiv},
eprint = {1911.04863},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-04863.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MarateaMAP18,
author = {Marco Maratea and
Viviana Mascardi and
Davide Ancona and
Alberto Pettorossi},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {159},
number = {1-2},
pages = {v--vi},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1655},
doi = {10.3233/FI-2018-1655},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MarateaMAP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaose/AnconaFM18,
author = {Davide Ancona and
Angelo Ferrando and
Viviana Mascardi},
title = {Improving flexibility and dependability of remote patient monitoring
with agent-oriented approaches},
journal = {Int. J. Agent Oriented Softw. Eng.},
volume = {6},
number = {3/4},
pages = {402--442},
year = {2018},
url = {https://doi.org/10.1504/IJAOSE.2018.096422},
doi = {10.1504/IJAOSE.2018.096422},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijaose/AnconaFM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/FerrandoDA0M18,
author = {Angelo Ferrando and
Louise A. Dennis and
Davide Ancona and
Michael Fisher and
Viviana Mascardi},
editor = {Elisabeth Andr{\'{e}} and
Sven Koenig and
Mehdi Dastani and
Gita Sukthankar},
title = {Recognising Assumption Violations in Autonomous Systems Verification},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {1933--1935},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC, {USA} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3238028},
timestamp = {Sat, 30 Sep 2023 09:34:53 +0200},
biburl = {https://dblp.org/rec/conf/atal/FerrandoDA0M18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emas/MascardiW18,
author = {Viviana Mascardi and
Danny Weyns},
editor = {Danny Weyns and
Viviana Mascardi and
Alessandro Ricci},
title = {Engineering Multi-agent Systems Anno 2025},
booktitle = {Engineering Multi-Agent Systems - 6th International Workshop, {EMAS}
2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11375},
pages = {3--16},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-25693-7\_1},
doi = {10.1007/978-3-030-25693-7\_1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emas/MascardiW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paams/AnconaFFM18,
author = {Davide Ancona and
Angelo Ferrando and
Luca Franceschini and
Viviana Mascardi},
editor = {Yves Demazeau and
Bo An and
Javier Bajo and
Antonio Fern{\'{a}}ndez{-}Caballero},
title = {Coping with Bad Agent Interaction Protocols When Monitoring Partially
Observable Multiagent Systems},
booktitle = {Advances in Practical Applications of Agents, Multi-Agent Systems,
and Complexity: The {PAAMS} Collection - 16th International Conference,
{PAAMS} 2018, Toledo, Spain, June 20-22, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10978},
pages = {59--71},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94580-4\_5},
doi = {10.1007/978-3-319-94580-4\_5},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paams/AnconaFFM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paams/AnconaFFM18a,
author = {Davide Ancona and
Angelo Ferrando and
Luca Franceschini and
Viviana Mascardi},
editor = {Yves Demazeau and
Bo An and
Javier Bajo and
Antonio Fern{\'{a}}ndez{-}Caballero},
title = {Managing Bad AIPs with RIVERtools},
booktitle = {Advances in Practical Applications of Agents, Multi-Agent Systems,
and Complexity: The {PAAMS} Collection - 16th International Conference,
{PAAMS} 2018, Toledo, Spain, June 20-22, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10978},
pages = {296--300},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94580-4\_24},
doi = {10.1007/978-3-319-94580-4\_24},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paams/AnconaFFM18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FerrandoDA0M18,
author = {Angelo Ferrando and
Louise A. Dennis and
Davide Ancona and
Michael Fisher and
Viviana Mascardi},
editor = {Christian Colombo and
Martin Leucker},
title = {Verifying and Validating Autonomous Systems: Towards an Integrated
Approach},
booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
Cyprus, November 10-13, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11237},
pages = {263--281},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03769-7\_15},
doi = {10.1007/978-3-030-03769-7\_15},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/FerrandoDA0M18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/AnconaFM18,
author = {Davide Ancona and
Angelo Ferrando and
Viviana Mascardi},
editor = {Massimo Cossentino and
Luca Sabatucci and
Valeria Seidita},
title = {Agents Interoperability via Conformance Modulo Mapping},
booktitle = {Proceedings of the 19th Workshop "From Objects to Agents", Palermo,
Italy, June 28-29, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2215},
pages = {109--115},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2215/paper\_18.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:40 +0100},
biburl = {https://dblp.org/rec/conf/woa/AnconaFM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/BriolaMG18,
author = {Daniela Briola and
Viviana Mascardi and
Massimiliano Gioseffi},
editor = {Massimo Cossentino and
Luca Sabatucci and
Valeria Seidita},
title = {OntologyBeanGenerator 5.0: Extending Ontology Concepts with Methods
and Exceptions},
booktitle = {Proceedings of the 19th Workshop "From Objects to Agents", Palermo,
Italy, June 28-29, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2215},
pages = {116--123},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2215/paper\_19.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/BriolaMG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ixda/FattoDBFAMLR17,
author = {Vincenzo Del Fatto and
Gabriella Dodero and
Armin Bernhard and
Angelo Ferrando and
Davide Ancona and
Viviana Mascardi and
Robert Laurini and
Giuseppe Roccasalva},
title = {Hackmytown: an Educational Experience on Smart Cities},
journal = {IxD{\&}A},
volume = {32},
pages = {153--164},
year = {2017},
url = {http://www.mifav.uniroma2.it/inevent/events/idea2010/index.php?s=10\&\#38;a=10\&\#38;link=ToC\_32\_P\&\#38;link=32\_9\_abstract},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ixda/FattoDBFAMLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/BriolaDMP17,
author = {Daniela Briola and
Vincenzo Deufemia and
Viviana Mascardi and
Luca Paolino},
title = {Agent-oriented and ontology-driven digital libraries: the IndianaMAS
experience},
journal = {Softw. Pract. Exp.},
volume = {47},
number = {11},
pages = {1773--1799},
year = {2017},
url = {https://doi.org/10.1002/spe.2494},
doi = {10.1002/SPE.2494},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/spe/BriolaDMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/FerrandoAM17,
author = {Angelo Ferrando and
Davide Ancona and
Viviana Mascardi},
editor = {Kate Larson and
Michael Winikoff and
Sanmay Das and
Edmund H. Durfee},
title = {Decentralizing {MAS} Monitoring with DecAMon},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
pages = {239--248},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091164},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/FerrandoAM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AnconaFM17,
author = {Davide Ancona and
Angelo Ferrando and
Viviana Mascardi},
editor = {Kate Larson and
Michael Winikoff and
Sanmay Das and
Edmund H. Durfee},
title = {Parametric Runtime Verification of Multiagent Systems},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
pages = {1457--1459},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091328},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/AnconaFM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AnconaFFM17,
author = {Davide Ancona and
Angelo Ferrando and
Luca Franceschini and
Viviana Mascardi},
title = {Parametric Trace Expressions for Runtime Verification of Java-Like
Programs},
booktitle = {Proceedings of the 19th Workshop on Formal Techniques for Java-like
Programs, Barcelona, Spain, June 20, 2017},
pages = {10:1--10:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3103111.3104037},
doi = {10.1145/3103111.3104037},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/AnconaFFM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/BriolaM17,
author = {Daniela Briola and
Viviana Mascardi},
editor = {Stefania Costantini and
Enrico Franconi and
William Van Woensel and
Roman Kontchakov and
Fariba Sadri and
Dumitru Roman},
title = {Can My Test Case Run on Your Test Plant? {A} Logic-Based Compliance
Check and Its Evaluation on Real Data},
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 = {53--69},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61252-2\_5},
doi = {10.1007/978-3-319-61252-2\_5},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/BriolaM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/AnconaBB0CDGGGH16,
author = {Davide Ancona and
Viviana Bono and
Mario Bravetti and
Joana Campos and
Giuseppe Castagna and
Pierre{-}Malo Deni{\'{e}}lou and
Simon J. Gay and
Nils Gesbert and
Elena Giachino and
Raymond Hu and
Einar Broch Johnsen and
Francisco Martins and
Viviana Mascardi and
Fabrizio Montesi and
Rumyana Neykova and
Nicholas Ng and
Luca Padovani and
Vasco T. Vasconcelos and
Nobuko Yoshida},
title = {Behavioral Types in Programming Languages},
journal = {Found. Trends Program. Lang.},
volume = {3},
number = {2-3},
pages = {95--230},
year = {2016},
url = {https://doi.org/10.1561/2500000031},
doi = {10.1561/2500000031},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ftpl/AnconaBB0CDGGGH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/FerrandoAM16,
author = {Angelo Ferrando and
Davide Ancona and
Viviana Mascardi},
editor = {Matteo Baldoni and
J{\"{o}}rg P. M{\"{u}}ller and
Ingrid Nunes and
Rym Zalila{-}Wenkstern},
title = {Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven
Agents: {A} Case Study},
booktitle = {Engineering Multi-Agent Systems - 4th International Workshop, {EMAS}
2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {10093},
pages = {39--58},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-50983-9\_3},
doi = {10.1007/978-3-319-50983-9\_3},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/FerrandoAM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AnconaFM16,
author = {Davide Ancona and
Angelo Ferrando and
Viviana Mascardi},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {Comparing Trace Expressions and Linear Temporal Logic for Runtime
Verification},
booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
de Boer on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9660},
pages = {47--64},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30734-3\_6},
doi = {10.1007/978-3-319-30734-3\_6},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AnconaFM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecir/FerrandoBMR16,
author = {Angelo Ferrando and
Silvio Beux and
Viviana Mascardi and
Paolo Rosso},
editor = {Dino Ienco and
Mathieu Roche and
Salvatore Romeo and
Paolo Rosso and
Andrea Tagarelli},
title = {Identification of Disease Symptoms in Multilingual Sentences: An Ontology-Driven
Approach},
booktitle = {Proceedings of the First Workshop on Modeling, Learning and Mining
for Cross/Multilinguality (MultiLingMine 2016) co-located with the
38th European Conference on Information Retrieval {(ECIR} 2016), Padova,
Italy, March 20, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1589},
pages = {6--15},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1589/MultiLingMine1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:16 +0100},
biburl = {https://dblp.org/rec/conf/ecir/FerrandoBMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paams/AielliACCGMFM16,
author = {Federica Aielli and
Davide Ancona and
Pasquale Caianiello and
Stefania Costantini and
Giovanni De Gasperis and
Antinisca Di Marco and
Angelo Ferrando and
Viviana Mascardi},
editor = {Javier Bajo and
Mar{\'{\i}}a Jos{\'{e}} Escalona and
Sylvain Giroux and
Patrycja Hoffa{-}Dabrowska and
Vicente Juli{\'{a}}n and
Paulo Novais and
Nayat S{\'{a}}nchez Pi and
Rainer Unland and
Ricardo Azambuja Silveira},
title = {{FRIENDLY} {\&} {KIND} with your Health: Human-Friendly Knowledge-INtensive
Dynamic Systems for the e-Health Domain},
booktitle = {Highlights of Practical Applications of Scalable Multi-Agent Systems.
The {PAAMS} Collection - International Workshops of {PAAMS} 2016,
Sevilla, Spain, June 1-3, 2016. Proceedings},
series = {Communications in Computer and Information Science},
volume = {616},
pages = {15--26},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39387-2\_2},
doi = {10.1007/978-3-319-39387-2\_2},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paams/AielliACCGMFM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/AnconaBFM16,
author = {Davide Ancona and
Daniela Briola and
Angelo Ferrando and
Viviana Mascardi},
editor = {Corrado Santoro and
Fabrizio Messina and
Massimiliano De Benedetti},
title = {MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification
of Agent Interaction Protocols},
booktitle = {Proceedings of the 17th Workshop "From Objects to Agents" co-located
with 18th European Agent Systems Summer School {(EASSS} 2016), Catania,
Italy, July 29-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1664},
pages = {35--43},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1664/w7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:40 +0100},
biburl = {https://dblp.org/rec/conf/woa/AnconaBFM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2016dc,
editor = {Viviana Mascardi and
Ilaria Torre},
title = {Proceedings of the Doctoral Consortium of AI*IA 2016 co-located with
the 15th International Conference of the Italian Association for Artificial
Intelligence (AI*IA 2016), Genova, Italy, November 29, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1769},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1769},
urn = {urn:nbn:de:0074-1769-9},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/2016dc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/AnconaBFM15,
author = {Davide Ancona and
Daniela Briola and
Angelo Ferrando and
Viviana Mascardi},
title = {Runtime verification of fail-uncontrolled and ambient intelligence
systems: {A} uniform approach},
journal = {Intelligenza Artificiale},
volume = {9},
number = {2},
pages = {131--148},
year = {2015},
url = {https://doi.org/10.3233/IA-150084},
doi = {10.3233/IA-150084},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/AnconaBFM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LeottaBMB15,
author = {Maurizio Leotta and
Silvio Beux and
Viviana Mascardi and
Daniela Briola},
editor = {Cristina Bosco and
Erik Cambria and
Rossana Damiano and
Viviana Patti and
Paolo Rosso},
title = {My MOoD, a Multimedia and Multilingual Ontology Driven {MAS:} Design
and First Experiments in the Sentiment Analysis Domain},
booktitle = {Proceedings of the 2nd International Workshop on Emotion and Sentiment
in Social and Expressive Media: Opportunities and Challenges for Emotion-aware
Multiagent Systems co-located with 14th International Conference on
Autonomous Agents and Multiagent Systems {(AAMAS} 2015), Istanbul,
Turkey, May 5, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1351},
pages = {51--66},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1351/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:57 +0100},
biburl = {https://dblp.org/rec/conf/atal/LeottaBMB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AnconaBFM15,
author = {Davide Ancona and
Daniela Briola and
Angelo Ferrando and
Viviana Mascardi},
editor = {Gerhard Weiss and
Pinar Yolum and
Rafael H. Bordini and
Edith Elkind},
title = {Global Protocols as First Class Entities for Self-Adaptive Agents},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
pages = {1019--1029},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2773282},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/AnconaBFM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/BeuxBCDFFGMOPST15,
author = {Silvio Beux and
Daniela Briola and
Andrea Corradi and
Giorgio Delzanno and
Angelo Ferrando and
Federico Frassetto and
Giovanna Guerrini and
Viviana Mascardi and
Marco Oreggia and
Francesca Pozzi and
Alessandro Solimando and
Armando Tacchella},
editor = {Davide Ancona and
Marco Maratea and
Viviana Mascardi},
title = {Computational thinking for beginners: {A} successful experience using
Prolog},
booktitle = {Proceedings of the 30th Italian Conference on Computational Logic,
Genova, Italy, July 1-3, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1459},
pages = {31--45},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1459/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/BeuxBCDFFGMOPST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/AnconaBM15,
author = {Davide Ancona and
Daniela Briola and
Viviana Mascardi},
editor = {Claudia Di Napoli and
Silvia Rossi and
Mariacarla Staffa},
title = {Protocols with Exceptions, Timeouts, and Handlers: {A} Uniform Framework
for Monitoring Fail-Uncontrolled and Ambient Intelligence Systems},
booktitle = {Proceedings of the 16th Workshop "From Objects to Agents", Naples,
Italy, June 17-19, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1382},
pages = {65--75},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1382/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:40 +0100},
biburl = {https://dblp.org/rec/conf/woa/AnconaBM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cilc/2015,
editor = {Davide Ancona and
Marco Maratea and
Viviana Mascardi},
title = {Proceedings of the 30th Italian Conference on Computational Logic,
Genova, Italy, July 1-3, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1459},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1459},
urn = {urn:nbn:de:0074-1459-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/DeufemiaMPPL14,
author = {Vincenzo Deufemia and
Viviana Mascardi and
Luca Paolino and
Giuseppe Polese and
Henry de Lumley},
title = {A volunteered geographic information system for collecting and rating
petroglyph data},
journal = {J. Vis. Lang. Comput.},
volume = {25},
number = {6},
pages = {963--972},
year = {2014},
url = {https://doi.org/10.1016/j.jvlc.2014.10.031},
doi = {10.1016/J.JVLC.2014.10.031},
timestamp = {Thu, 28 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vlc/DeufemiaMPPL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wias/MascardiABBR14,
author = {Viviana Mascardi and
Davide Ancona and
Matteo Barbieri and
Rafael H. Bordini and
Alessandro Ricci},
title = {CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange
and ontology services},
journal = {Web Intell. Agent Syst.},
volume = {12},
number = {1},
pages = {83--107},
year = {2014},
url = {https://doi.org/10.3233/WIA-140287},
doi = {10.3233/WIA-140287},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/wias/MascardiABBR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AnconaBFMT14,
author = {Davide Ancona and
Daniela Briola and
Amal El Fallah Seghrouchni and
Viviana Mascardi and
Patrick Taillibert},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Exploiting Prolog for Projecting Agent Interaction Protocols},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {30--45},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/AnconaBFMT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/BriolaMA14,
author = {Daniela Briola and
Viviana Mascardi and
Davide Ancona},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Distributed Runtime Verification of {JADE} and Jason Multiagent Systems
with Prolog},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {319--323},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/short3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/BriolaMA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/AnconaBFMT14,
author = {Davide Ancona and
Daniela Briola and
Amal El Fallah Seghrouchni and
Viviana Mascardi and
Patrick Taillibert},
editor = {Fabiano Dalpiaz and
J{\"{u}}rgen Dix and
M. Birna van Riemsdijk},
title = {Efficient Verification of MASs with Projections},
booktitle = {Engineering Multi-Agent Systems - Second International Workshop, {EMAS}
2014, Paris, France, May 5-6, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8758},
pages = {246--270},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-14484-9\_13},
doi = {10.1007/978-3-319-14484-9\_13},
timestamp = {Mon, 03 Jan 2022 22:22:03 +0100},
biburl = {https://dblp.org/rec/conf/dalt/AnconaBFMT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dms/DeufemiaPPML14,
author = {Vincenzo Deufemia and
Luca Paolino and
Giuseppe Polese and
Viviana Mascardi and
Henry de Lumley},
editor = {Erland Jungert},
title = {PetroAdvisor: {A} Volunteer-based Information System for Collecting
and Rating Petroglyph Data},
booktitle = {The 20th International Conference on Distributed Multimedia Systems:
Research papers on distributed multimedia systems, distance education
technologies and visual languages and computing, Pittsburgh, PA, USA,
August 27-29, 2014},
pages = {345--353},
publisher = {Knowledge Systems Institute Graduate School},
year = {2014},
timestamp = {Mon, 19 Jan 2015 17:13:20 +0100},
biburl = {https://dblp.org/rec/conf/dms/DeufemiaPPML14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromed/BriolaDMPB14,
author = {Daniela Briola and
Vincenzo Deufemia and
Viviana Mascardi and
Luca Paolino and
Nicoletta Bianchi},
editor = {Marinos Ioannides and
Nadia Magnenat{-}Thalmann and
Eleanor E. Fink and
Roko Zarnic and
Alex{-}Yianing Yen and
Ewald Quak},
title = {Ontology-Driven Processing and Management of Digital Rock Art Objects
in IndianaMAS},
booktitle = {Digital Heritage. Progress in Cultural Heritaage: Documentation, Preservation,
and Protection - 5th International Conference, EuroMed 2014, Limassol,
Cyprus, November 3-8, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8740},
pages = {217--227},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13695-0\_21},
doi = {10.1007/978-3-319-13695-0\_21},
timestamp = {Sun, 02 Oct 2022 16:00:55 +0200},
biburl = {https://dblp.org/rec/conf/euromed/BriolaDMPB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idc/BriolaMA14,
author = {Daniela Briola and
Viviana Mascardi and
Davide Ancona},
editor = {David Camacho and
Lars Braubach and
Salvatore Venticinque and
Costin Badica},
title = {Distributed Runtime Verification of {JADE} Multiagent Systems},
booktitle = {Intelligent Distributed Computing {VIII} - Proceedings of the 8th
International Symposium on Intelligent Distributed Computing, {IDC}
2014, Madrid, Spain, September 3-5, 2014},
series = {Studies in Computational Intelligence},
volume = {570},
pages = {81--91},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10422-5\_10},
doi = {10.1007/978-3-319-10422-5\_10},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/idc/BriolaMA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MascardiA13,
author = {Viviana Mascardi and
Davide Ancona},
title = {Attribute Global Types for Dynamic Checking of Protocols in Logic-based
Multiagent Systems},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013014.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MascardiA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/MascardiBA13,
author = {Viviana Mascardi and
Daniela Briola and
Davide Ancona},
editor = {Matteo Baldoni and
Cristina Baroglio and
Guido Boella and
Roberto Micalizio},
title = {On the Expressiveness of Attribute Global Types: The Formalization
of a Real Multiagent System Protocol},
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 = {300--311},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03524-6\_26},
doi = {10.1007/978-3-319-03524-6\_26},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/MascardiBA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mates/GhoshDMB13,
author = {Supriyo Ghosh and
Animesh Dutta and
Viviana Mascardi and
Daniela Briola},
editor = {Matthias Klusch and
Matthias Thimm and
Marcin Paprzycki},
title = {Exploiting MAS-Based Simulation to Improve the Indian Railways' Efficiency},
booktitle = {Multiagent System Technologies - 11th German Conference, {MATES} 2013,
Koblenz, Germany, September 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8076},
pages = {278--291},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40776-5\_24},
doi = {10.1007/978-3-642-40776-5\_24},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/mates/GhoshDMB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AnconaBM13,
author = {Davide Ancona and
Matteo Barbieri and
Viviana Mascardi},
editor = {Sung Y. Shin and
Jos{\'{e}} Carlos Maldonado},
title = {Constrained global types for dynamic checking of protocol conformance
in multi-agent systems},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
{SAC} '13, Coimbra, Portugal, March 18-22, 2013},
pages = {1377--1379},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2480362.2480620},
doi = {10.1145/2480362.2480620},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/AnconaBM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dalt/2012,
editor = {Matteo Baldoni and
Louise A. Dennis and
Viviana Mascardi and
Wamberto Weber Vasconcelos},
title = {Declarative Agent Languages and Technologies {X} - 10th International
Workshop, {DALT} 2012, Valencia, Spain, June 4, 2012, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7784},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37890-4},
doi = {10.1007/978-3-642-37890-4},
isbn = {978-3-642-37889-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avi/DeufemiaPTTMAMBL12,
author = {Vincenzo Deufemia and
Luca Paolino and
Genoveffa Tortora and
Antonella Traverso and
Viviana Mascardi and
Massimo Ancona and
Maurizio Martelli and
Nicoletta Bianchi and
Henry de Lumley},
editor = {Genny Tortora and
Stefano Levialdi and
Maurizio Tucci},
title = {Investigative analysis across documents and drawings: visual analytics
for archaeologists},
booktitle = {International Working Conference on Advanced Visual Interfaces, {AVI}
2012, Capri Island, Naples, Italy, May 22-25, 2012, Proceedings},
pages = {539--546},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254556.2254658},
doi = {10.1145/2254556.2254658},
timestamp = {Thu, 23 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avi/DeufemiaPTTMAMBL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/AnconaDM12,
author = {Davide Ancona and
Sophia Drossopoulou and
Viviana Mascardi},
editor = {Matteo Baldoni and
Louise A. Dennis and
Viviana Mascardi and
Wamberto Weber Vasconcelos},
title = {Automatic Generation of Self-monitoring MASs from Multiparty Global
Session Types in Jason},
booktitle = {Declarative Agent Languages and Technologies {X} - 10th International
Workshop, {DALT} 2012, Valencia, Spain, June 4, 2012, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7784},
pages = {76--95},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-37890-4\_5},
doi = {10.1007/978-3-642-37890-4\_5},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/dalt/AnconaDM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/MascardiHP12,
author = {Viviana Mascardi and
James A. Hendler and
Laura Papaleo},
editor = {Matteo Baldoni and
Louise A. Dennis and
Viviana Mascardi and
Wamberto Weber Vasconcelos},
title = {Semantic Web and Declarative Agent Languages and Technologies: Current
and Future Trends - (Position Paper)},
booktitle = {Declarative Agent Languages and Technologies {X} - 10th International
Workshop, {DALT} 2012, Valencia, Spain, June 4, 2012, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7784},
pages = {197--202},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-37890-4\_12},
doi = {10.1007/978-3-642-37890-4\_12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/MascardiHP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idc/BozzanoBLLMM12,
author = {Michele Bozzano and
Daniela Briola and
Diego Leone and
Angela Locoro and
Lanfranco Marasso and
Viviana Mascardi},
editor = {Giancarlo Fortino and
Costin Badica and
Michele Malgeri and
Rainer Unland},
title = {{MUSE:} MUltilinguality and SEmantics for the Citizens of the World},
booktitle = {Intelligent Distributed Computing {VI} - Proceedings of the 6th International
Symposium on Intelligent Distributed Computing - {IDC} 2012, Calabria,
Italy, September 2012},
series = {Studies in Computational Intelligence},
volume = {446},
pages = {97--102},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32524-3\_13},
doi = {10.1007/978-3-642-32524-3\_13},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/idc/BozzanoBLLMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/MascardiDMRBL12,
author = {Viviana Mascardi and
Vincenzo Deufemia and
Damiano Malafronte and
Alessandro Ricciarelli and
Nicoletta Bianchi and
Henry de Lumley},
editor = {Gordan Jezic and
Mario Kusek and
Ngoc Thanh Nguyen and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Rock Art Interpretation within Indiana {MAS}},
booktitle = {Agent and Multi-Agent Systems. Technologies and Applications - 6th
{KES} International Conference, {KES-AMSTA} 2012,Dubrovnik, Croatia,
June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7327},
pages = {271--281},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30947-2\_31},
doi = {10.1007/978-3-642-30947-2\_31},
timestamp = {Thu, 16 Mar 2023 20:00:31 +0100},
biburl = {https://dblp.org/rec/conf/kesamsta/MascardiDMRBL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MascardiL12,
author = {Viviana Mascardi and
Angela Locoro},
editor = {Sascha Ossowski and
Paola Lecca},
title = {BOwL: exploiting Boolean operators and lesk algorithm for linking
ontologies},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {398--400},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2245352},
doi = {10.1145/2245276.2245352},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/MascardiL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LocoroMS12,
author = {Angela Locoro and
Viviana Mascardi and
Anna Marina Scapolla},
editor = {Sascha Ossowski and
Paola Lecca},
title = {Evolving and validating annotations in web-based collaborative environments
through ontology matching},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {725--727},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2245412},
doi = {10.1145/2245276.2245412},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/LocoroMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AnconaMP12,
author = {Davide Ancona and
Viviana Mascardi and
Ombretta Pavarino},
editor = {Sascha Ossowski and
Paola Lecca},
title = {Ontology-based documentation extraction for semi-automatic migration
of Java code},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {1137--1143},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2231955},
doi = {10.1145/2245276.2231955},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/AnconaMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/LocoroMBMADPTPF12,
author = {Angela Locoro and
Viviana Mascardi and
Daniela Briola and
Maurizio Martelli and
Massimo Ancona and
Vincenzo Deufemia and
Luca Paolino and
Genny Tortora and
Giuseppe Polese and
Rita Francese},
editor = {Flavio De Paoli and
Giuseppe Vizzari},
title = {The Indiana {MAS} Project: Goals and Preliminary Results},
booktitle = {Proceedings of the 13th Workshop on Objects and Agents, Milano, Italy,
September 17-19, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {892},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-892/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:40 +0100},
biburl = {https://dblp.org/rec/conf/woa/LocoroMBMADPTPF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/MascardiDM11,
author = {Viviana Mascardi and
Giorgio Delzanno and
Maurizio Martelli},
title = {Some applications of Computational Logic to the development of intelligent
systems and verification methods},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {145--149},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0018},
doi = {10.3233/IA-2011-0018},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/MascardiDM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BaldoniBBMMPRS11,
author = {Matteo Baldoni and
Cristina Baroglio and
Federico Bergenti and
Elisa Marengo and
Viviana Mascardi and
Viviana Patti and
Alessandro Ricci and
Andrea Santi},
editor = {Roberto Pirrone and
Filippo Sorbello},
title = {An Interaction-Oriented Agent Framework for Open Environments},
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 = {68--79},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23954-0\_9},
doi = {10.1007/978-3-642-23954-0\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/BaldoniBBMMPRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/StallaZDM11,
author = {Alessio Stalla and
Davide Zanucco and
Agostino Dovier and
Viviana Mascardi},
editor = {Fabio Fioravanti},
title = {PrettyCLP: a Light Java Implementation for Teaching {CLP}},
booktitle = {Proceedings of the 26th Italian Conference on Computational Logic,
Pescara, Italy, August 31 - September 2, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {810},
pages = {281--295},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-810/paper-l17.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/StallaZDM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/MascardiA11,
author = {Viviana Mascardi and
Davide Ancona},
editor = {Chiaki Sakama and
Sebastian Sardi{\~{n}}a and
Wamberto Weber Vasconcelos and
Michael Winikoff},
title = {1000 Years of Coo-BDI},
booktitle = {Declarative Agent Languages and Technologies {IX} - 9th International
Workshop, {DALT} 2011, Taipei, Taiwan, May 3, 2011, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {7169},
pages = {95--101},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29113-5\_9},
doi = {10.1007/978-3-642-29113-5\_9},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/dalt/MascardiA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/MascardiABR11,
author = {Viviana Mascardi and
Davide Ancona and
Rafael H. Bordini and
Alessandro Ricci},
editor = {Olivier Boissier and
Jeffrey Bradshaw and
Longbing Cao and
Klaus Fischer and
Mohand{-}Said Hacid},
title = {CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange
and Ontology Services},
booktitle = {Proceedings of the 2011 {IEEE/WIC/ACM} International Conference on
Intelligent Agent Technology, {IAT} 2011, Campus Scientifique de la
Doua, Lyon, France, August 22-27, 2011},
pages = {109--116},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/WI-IAT.2011.255},
doi = {10.1109/WI-IAT.2011.255},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iat/MascardiABR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/LocoroGM11,
author = {Angela Locoro and
Daniele Grignani and
Viviana Mascardi},
editor = {Jomi Fred H{\"{u}}bner and
Jean{-}Marc Petit and
Einoshin Suzuki},
title = {When You Doubt, Abstain: From Misclassification to Epoch{\'{e}}
in Automatic Text Categorisation},
booktitle = {Proceedings of the 2011 {IEEE/WIC/ACM} International Joint Conference
on Web Intelligence and Intelligent Agent Technology - Workshops,
{WI-IAT} 2011, Campus Scientifique de la Doua, Lyon, France, August
22-27, 2011},
pages = {209--212},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/WI-IAT.2011.65},
doi = {10.1109/WI-IAT.2011.65},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iat/LocoroGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/PapaleoQMATL11,
author = {Laura Papaleo and
Gianluca Quercini and
Viviana Mascardi and
Massimo Ancona and
Antonella Traverso and
Henry de Lumley},
editor = {Joaquim Filipe and
Ana L. N. Fred},
title = {Agents and Ontologies for Understanding and Preserving the Rock Art
of Mount Bego},
booktitle = {{ICAART} 2011 - Proceedings of the 3rd International Conference on
Agents and Artificial Intelligence, Volume 2 - Agents, Rome, Italy,
January 28-30, 2011},
pages = {288--295},
publisher = {SciTePress},
year = {2011},
timestamp = {Thu, 23 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/PapaleoQMATL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/BarbieriM11,
author = {Matteo Barbieri and
Viviana Mascardi},
editor = {Joaquim Filipe and
Ana L. N. Fred},
title = {Hive-BDI: Extending Jason with Shared Beliefs and Stigmergy},
booktitle = {{ICAART} 2011 - Proceedings of the 3rd International Conference on
Agents and Artificial Intelligence, Volume 2 - Agents, Rome, Italy,
January 28-30, 2011},
pages = {479--482},
publisher = {SciTePress},
year = {2011},
timestamp = {Fri, 08 Jul 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/BarbieriM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/WinkelmolenM11,
author = {Fela Winkelmolen and
Viviana Mascardi},
editor = {Joaquim Filipe and
Ana L. N. Fred},
title = {Statistical Language Identification of Short Texts},
booktitle = {{ICAART} 2011 - Proceedings of the 3rd International Conference on
Agents and Artificial Intelligence, Volume 1 - Artificial Intelligence,
Rome, Italy, January 28-30, 2011},
pages = {498--503},
publisher = {SciTePress},
year = {2011},
timestamp = {Thu, 07 Jul 2011 22:16:28 +0200},
biburl = {https://dblp.org/rec/conf/icaart/WinkelmolenM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/BriolaM11,
author = {Daniela Briola and
Viviana Mascardi},
editor = {Giancarlo Fortino and
Alfredo Garro and
Luigi Palopoli and
Wilma Russo and
Giandomenico Spezzano},
title = {Design and Implementation of a NetLogo Interface for the Stand-Alone
{FYPA} System},
booktitle = {Proceedings of the 12th Workshop on Objects and Agents, Rende (CS),
Italy, Jul 4-6, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {741},
pages = {41--50},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-741/ID10\_Briola\_Mascardi.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:40 +0100},
biburl = {https://dblp.org/rec/conf/woa/BriolaM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/LocoroMMS11,
author = {Angela Locoro and
Viviana Mascardi and
Franco Mortara and
Renato Sanna},
editor = {Giancarlo Fortino and
Alfredo Garro and
Luigi Palopoli and
Wilma Russo and
Giandomenico Spezzano},
title = {Managing Unavailabilities in a Dynamic Scenario Following an Agent-Based
Approach},
booktitle = {Proceedings of the 12th Workshop on Objects and Agents, Rende (CS),
Italy, Jul 4-6, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {741},
pages = {58--67},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-741/ID17\_LocoroMascardiMontaraSanna.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/LocoroMMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/BriolaM11a,
author = {Daniela Briola and
Viviana Mascardi},
editor = {Giancarlo Fortino and
Alfredo Garro and
Luigi Palopoli and
Wilma Russo and
Giandomenico Spezzano},
title = {Multi Agent Resource Allocation: a Comparison of Five Negotiation
Protocols},
booktitle = {Proceedings of the 12th Workshop on Objects and Agents, Rende (CS),
Italy, Jul 4-6, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {741},
pages = {95--104},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-741/ID9\_Briola\_Mascardi.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/BriolaM11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/LocoroGM11,
author = {Angela Locoro and
Daniele Grignani and
Viviana Mascardi},
editor = {Marenglen Biba and
Fatos Xhafa},
title = {{MANENT:} An Infrastructure for Integrating, Structuring and Searching
Digital Libraries},
booktitle = {Learning Structure and Schemas from Documents},
series = {Studies in Computational Intelligence},
volume = {375},
pages = {315--341},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22913-8\_15},
doi = {10.1007/978-3-642-22913-8\_15},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/sci/LocoroGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mags/BaldoniBM10,
author = {Matteo Baldoni and
Cristina Baroglio and
Viviana Mascardi},
title = {Special Issue: Agents, Web Services and Ontologies: Integrated Methodologies},
journal = {Multiagent Grid Syst.},
volume = {6},
number = {2},
pages = {103--104},
year = {2010},
url = {https://doi.org/10.3233/MGS-2010-0143},
doi = {10.3233/MGS-2010-0143},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mags/BaldoniBM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/polibits/VallesRLM10,
author = {Enrique Vall{\'{e}}s and
Paolo Rosso and
Angela Locoro and
Viviana Mascardi},
title = {An{\'{a}}lisis de Opiniones con Ontolog{\'{\i}}as},
journal = {Polibits},
volume = {41},
pages = {29--37},
year = {2010},
url = {https://doi.org/10.17562/pb-41-5},
doi = {10.17562/PB-41-5},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/polibits/VallesRLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/MascardiLR10,
author = {Viviana Mascardi and
Angela Locoro and
Paolo Rosso},
title = {Automatic Ontology Matching via Upper Ontologies: {A} Systematic Evaluation},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {22},
number = {5},
pages = {609--623},
year = {2010},
url = {https://doi.org/10.1109/TKDE.2009.154},
doi = {10.1109/TKDE.2009.154},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/MascardiLR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/BozzanoLMM10,
author = {Michele Bozzano and
Angela Locoro and
Maurizio Martelli and
Viviana Mascardi},
editor = {Wolfgang Faber and
Nicola Leone},
title = {Trattamento del Linguaggio Naturale Tramite Prolog: un Approccio Promettente
per Generare Istituzioni Virtuali da Testi Scritti},
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/paper07.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/BozzanoLMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/LocoroMS10,
author = {Angela Locoro and
Viviana Mascardi and
Anna Marina Scapolla},
editor = {Joaquim Filipe and
Ana L. N. Fred and
Bernadette Sharp},
title = {{NLP} and Ontology Matching - {A} Successful Combination for Trialogical
Learning},
booktitle = {{ICAART} 2010 - Proceedings of the International Conference on Agents
and Artificial Intelligence, Volume 1 - Artificial Intelligence, Valencia,
Spain, January 22-24, 2010},
pages = {253--258},
publisher = {{INSTICC} Press},
year = {2010},
timestamp = {Wed, 03 Mar 2010 08:01:07 +0100},
biburl = {https://dblp.org/rec/conf/icaart/LocoroMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mallow/BaldoniBBBMMMPPRRS10,
author = {Matteo Baldoni and
Cristina Baroglio and
Federico Bergenti and
Antonio Boccalatte and
Elisa Marengo and
Maurizio Martelli and
Viviana Mascardi and
Luca Padovani and
Viviana Patti and
Alessandro Ricci and
Gianfranco Rossi and
Andrea Santi},
editor = {Olivier Boissier and
Amal El Fallah Seghrouchni and
Salima Hassas and
Nicolas Maudet},
title = {{MERCURIO:} An Interaction-oriented Framework for Designing, Verifying
and Programming Multi-Agent Systems},
booktitle = {Proceedings of The Multi-Agent Logics, Languages, and Organisations
Federated Workshops {(MALLOW} 2010), Lyon, France, August 30 - September
2, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {627},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-627/coin\_9.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:29 +0100},
biburl = {https://dblp.org/rec/conf/mallow/BaldoniBBBMMMPPRRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vast/AnconaMQBLPST10,
author = {Massimo Ancona and
Viviana Mascardi and
Gianluca Quercini and
Anton Bogdanovych and
Henry de Lumley and
Laura Papaleo and
Simeon Simoff and
Antonella Traverso},
editor = {Alessandro Artusi and
Morwena Joly{-}Parvex and
Genevi{\`{e}}ve Lucet and
Denis Pitzalis and
Alejandro Rib{\'{e}}s},
title = {Virtual Institutions for Preserving and Simulating the Culture of
Mount Bego's Ancient People},
booktitle = {11th International Symposium on Virtual Reality, Archaeology, and
Cultural Heritage, incorporating the 8th Eurographics Workshop on
Graphics and Cultural Heritage, {VAST} 2010 - Short and Project Papers,
Paris, France, September 21-24, 2010},
publisher = {Eurographics Association},
year = {2010},
url = {https://doi.org/10.2312/PE/VAST/VAST10S/005-008},
doi = {10.2312/PE/VAST/VAST10S/005-008},
timestamp = {Wed, 09 Sep 2020 17:52:00 +0200},
biburl = {https://dblp.org/rec/conf/vast/AnconaMQBLPST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/BaldoniBBBMMMPPRRS10,
author = {Matteo Baldoni and
Cristina Baroglio and
Federico Bergenti and
Antonio Boccalatte and
Elisa Marengo and
Maurizio Martelli and
Viviana Mascardi and
Luca Padovani and
Viviana Patti and
Alessandro Ricci and
Gianfranco Rossi and
Andrea Santi},
editor = {Andrea Omicini and
Mirko Viroli},
title = {{MERCURIO:} An Interaction-oriented Framework for Designing, Verifying
and Programming Multi-Agent Systems},
booktitle = {Proceedings of the 11th {WOA} 2010 Workshop, Dagli Oggetti Agli Agenti,
Rimini, Italy, September 5-7, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {621},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-621/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:40 +0100},
biburl = {https://dblp.org/rec/conf/woa/BaldoniBBBMMMPPRRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/agp/BaldoniBMOT10,
author = {Matteo Baldoni and
Cristina Baroglio and
Viviana Mascardi and
Andrea Omicini and
Paolo Torroni},
editor = {Agostino Dovier and
Enrico Pontelli},
title = {Agents, Multi-Agent Systems and Declarative Programming: What, When,
Where, Why, Who, How?},
booktitle = {A 25-Year Perspective on Logic Programming: Achievements of the Italian
Association for Logic Programming, {GULP}},
series = {Lecture Notes in Computer Science},
volume = {6125},
pages = {204--230},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14309-0\_10},
doi = {10.1007/978-3-642-14309-0\_10},
timestamp = {Sun, 25 Oct 2020 23:16:08 +0100},
biburl = {https://dblp.org/rec/conf/agp/BaldoniBMOT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/LocoroM09,
author = {Angela Locoro and
Viviana Mascardi},
editor = {Jan L. G. Dietz},
title = {A Correspondence Repair Algorithm based on Word Sense Disambiguation
and Upper Ontologies},
booktitle = {{KEOD} 2009 - Proceedings of the International Conference on Knowledge
Engineering and Ontology Development, Funchal - Madeira, Portugal,
October 6-8, 2009},
pages = {239--246},
publisher = {{INSTICC} Press},
year = {2009},
timestamp = {Thu, 27 Oct 2011 12:41:52 +0200},
biburl = {https://dblp.org/rec/conf/ic3k/LocoroM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mallow/BaldoniBBM09,
author = {Matteo Baldoni and
Cristina Baroglio and
Jamal Bentahar and
Viviana Mascardi},
editor = {Matteo Baldoni and
Cristina Baroglio and
Jamal Bentahar and
Guido Boella and
Massimo Cossentino and
Mehdi Dastani and
Barbara Dunin{-}Keplicz and
Giancarlo Fortino and
Marie{-}Pierre Gleizes and
Jo{\~{a}}o Leite and
Viviana Mascardi and
Julian A. Padget and
Juan Pav{\'{o}}n and
Axel Polleres and
Amal El Fallah Seghrouchni and
Paolo Torroni and
Rineke Verbrugge},
title = {Introductory Essay of MALLOW-AWESOME'009},
booktitle = {Proceedings of the Second Multi-Agent Logics, Languages, and Organisations
Federated Workshops, Turin, Italy, September 7-10, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {494},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-494/mallowawesomeintroductoryessay.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:29 +0100},
biburl = {https://dblp.org/rec/conf/mallow/BaldoniBBM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mallow/MascardiA09,
author = {Viviana Mascardi and
Davide Ancona},
editor = {Matteo Baldoni and
Cristina Baroglio and
Jamal Bentahar and
Guido Boella and
Massimo Cossentino and
Mehdi Dastani and
Barbara Dunin{-}Keplicz and
Giancarlo Fortino and
Marie{-}Pierre Gleizes and
Jo{\~{a}}o Leite and
Viviana Mascardi and
Julian A. Padget and
Juan Pav{\'{o}}n and
Axel Polleres and
Amal El Fallah Seghrouchni and
Paolo Torroni and
Rineke Verbrugge},
title = {Exploiting Agents and Ontologies for Type- and Meaning-Safe Adaptation
of Java Programs},
booktitle = {Proceedings of the Second Multi-Agent Logics, Languages, and Organisations
Federated Workshops, Turin, Italy, September 7-10, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {494},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-494/mallowawesomepaper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mallow/MascardiA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/BriolaMMCM09,
author = {Daniela Briola and
Viviana Mascardi and
Maurizio Martelli and
Riccardo Caccia and
Carlo Milani},
editor = {Federico Bergenti},
title = {Dynamic Resource Allocation in a {MAS:} {A} Case Study from the Industry},
booktitle = {Proceedings of the 10th Workshop "From Objects to Agents", Parma,
Italy, July 9-10, 2009},
pages = {125--133},
publisher = {Seneca Edizioni Torino},
year = {2009},
timestamp = {Wed, 15 Nov 2023 13:07:42 +0100},
biburl = {https://dblp.org/rec/conf/woa/BriolaMMCM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mallow/2009,
editor = {Matteo Baldoni and
Cristina Baroglio and
Jamal Bentahar and
Guido Boella and
Massimo Cossentino and
Mehdi Dastani and
Barbara Dunin{-}Keplicz and
Giancarlo Fortino and
Marie{-}Pierre Gleizes and
Jo{\~{a}}o Leite and
Viviana Mascardi and
Julian A. Padget and
Juan Pav{\'{o}}n and
Axel Polleres and
Amal El Fallah Seghrouchni and
Paolo Torroni and
Rineke Verbrugge},
title = {Proceedings of the Second Multi-Agent Logics, Languages, and Organisations
Federated Workshops, Turin, Italy, September 7-10, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {494},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-494},
urn = {urn:nbn:de:0074-494-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mallow/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/CasellaDMCM08,
author = {Giovanni Casella and
Vincenzo Deufemia and
Viviana Mascardi and
Gennaro Costagliola and
Maurizio Martelli},
title = {An agent-based framework for sketched symbol interpretation},
journal = {J. Vis. Lang. Comput.},
volume = {19},
number = {2},
pages = {225--257},
year = {2008},
url = {https://doi.org/10.1016/j.jvlc.2007.04.002},
doi = {10.1016/J.JVLC.2007.04.002},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/CasellaDMCM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MascardiDM08,
author = {Viviana Mascardi and
Giorgio Delzanno and
Maurizio Martelli},
editor = {Matteo Baldoni and
Cristina Baroglio},
title = {Computational Logic in Genova},
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/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:22 +0100},
biburl = {https://dblp.org/rec/conf/birthday/MascardiDM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisis-spain/MascardiBMCM08,
author = {Viviana Mascardi and
Daniela Briola and
Maurizio Martelli and
Riccardo Caccia and
Carlo Milani},
editor = {Emilio Corchado and
Rodolfo Zunino and
Paolo Gastaldo and
{\'{A}}lvaro Herrero},
title = {Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed
Agents},
booktitle = {Proceedings of the International Workshop on Computational Intelligence
in Security for Information Systems, CISIS'08, Genova, Italy, October
23-24, 2008},
series = {Advances in Soft Computing},
volume = {53},
pages = {108--115},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88181-0\_14},
doi = {10.1007/978-3-540-88181-0\_14},
timestamp = {Fri, 12 Aug 2022 13:44:54 +0200},
biburl = {https://dblp.org/rec/conf/cisis-spain/MascardiBMCM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/visual/CasellaDMMT08,
author = {Giovanni Casella and
Vincenzo Deufemia and
Viviana Mascardi and
Maurizio Martelli and
Genoveffa Tortora},
editor = {Monica Sebillo and
Giuliana Vitiello and
Gerald Schaefer},
title = {Reasoning about Hand-Drawn Sketches: An Approach Based on Intelligent
Software Agents},
booktitle = {Visual Information Systems. Web-Based Visual Information Search and
Management, 10th International Conference, {VISUAL} 2008, Salerno,
Italy, September 11-12, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5188},
pages = {302--314},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85891-1\_33},
doi = {10.1007/978-3-540-85891-1\_33},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/visual/CasellaDMMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/BriolaMMACM08,
author = {Daniela Briola and
Viviana Mascardi and
Maurizio Martelli and
Gabriele Arecco and
Riccardo Caccia and
Carlo Milani},
editor = {Matteo Baldoni and
Massimo Cossentino and
Flavio De Paoli and
Valeria Seidita},
title = {A Prolog-Based {MAS} for Railway Signalling Monitoring: Implementation
and Experiments},
booktitle = {Proceedings of the 9th Workshop "From Objects to Agents", Palermo,
Italy, July 17-18, 2008},
pages = {11--18},
publisher = {Seneca Edizioni Torino},
year = {2008},
timestamp = {Thu, 16 Nov 2023 15:16:18 +0100},
biburl = {https://dblp.org/rec/conf/woa/BriolaMMACM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/LocoroMB08,
author = {Angela Locoro and
Viviana Mascardi and
Daniela Briola},
editor = {Matteo Baldoni and
Massimo Cossentino and
Flavio De Paoli and
Valeria Seidita},
title = {Ontology Agents in FIPA-compliant Platforms: Survey and a New Proposal},
booktitle = {Proceedings of the 9th Workshop "From Objects to Agents", Palermo,
Italy, July 17-18, 2008},
pages = {68--75},
publisher = {Seneca Edizioni Torino},
year = {2008},
timestamp = {Thu, 16 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/LocoroMB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaose/CasellaM07,
author = {Giovanni Casella and
Viviana Mascardi},
title = {West2East: exploiting WEb Service Technologies to Engineer Agent-based
SofTware},
journal = {Int. J. Agent Oriented Softw. Eng.},
volume = {1},
number = {3/4},
pages = {396--434},
year = {2007},
url = {https://doi.org/10.1504/IJAOSE.2007.016267},
doi = {10.1504/IJAOSE.2007.016267},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijaose/CasellaM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdar/CasellaDM07,
author = {Giovanni Casella and
Vincenzo Deufemia and
Viviana Mascardi},
title = {A Multi-Agent System for Hand-drawn Diagram Recognition},
booktitle = {9th International Conference on Document Analysis and Recognition
{(ICDAR} 2007), 23-26 September, Curitiba, Paran{\'{a}}, Brazil},
pages = {739--743},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICDAR.2007.4377013},
doi = {10.1109/ICDAR.2007.4377013},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdar/CasellaDM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lads/MascardiMG07,
author = {Viviana Mascardi and
Maurizio Martelli and
Ivana Gungui},
editor = {Mehdi Dastani and
Amal El Fallah Seghrouchni and
Jo{\~{a}}o Leite and
Paolo Torroni},
title = {DCaseLP: {A} Prototyping Environment for Multi-language Agent Systems},
booktitle = {Languages, Methodologies and Development Tools for Multi-Agent Systems,
First International Workshop, {LADS} 2007, Durham, UK, September 4-6,
2007. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5118},
pages = {139--155},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-85058-8\_9},
doi = {10.1007/978-3-540-85058-8\_9},
timestamp = {Wed, 12 Aug 2020 21:55:18 +0200},
biburl = {https://dblp.org/rec/conf/lads/MascardiMG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/BaldoniBPMM07,
author = {Matteo Baldoni and
Antonio Boccalatte and
Flavio De Paoli and
Maurizio Martelli and
Viviana Mascardi},
editor = {Matteo Baldoni and
Antonio Boccalatte and
Flavio De Paoli and
Maurizio Martelli and
Viviana Mascardi},
title = {Preface to the Proceedings of {WOA} 2007},
booktitle = {{WOA} 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop
"From Objects to Agents": Agents and Industry: Technological Applications
of Software Agents, 24-25 September 2007, Genova, Italy},
publisher = {Seneca Edizioni Torino},
year = {2007},
url = {http://woa07.disi.unige.it/papers/preface.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/BaldoniBPMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/MascardiCR07,
author = {Viviana Mascardi and
Valentina Cord{\`{\i}} and
Paolo Rosso},
editor = {Matteo Baldoni and
Antonio Boccalatte and
Flavio De Paoli and
Maurizio Martelli and
Viviana Mascardi},
title = {A Comparison of Upper Ontologies},
booktitle = {{WOA} 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop
"From Objects to Agents": Agents and Industry: Technological Applications
of Software Agents, 24-25 September 2007, Genova, Italy},
pages = {55--64},
publisher = {Seneca Edizioni Torino},
year = {2007},
url = {http://woa07.disi.unige.it/papers/mascardi.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/MascardiCR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/woa/2007,
editor = {Matteo Baldoni and
Antonio Boccalatte and
Flavio De Paoli and
Maurizio Martelli and
Viviana Mascardi},
title = {{WOA} 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop
"From Objects to Agents": Agents and Industry: Technological
Applications of Software Agents, 24-25 September 2007, Genova, Italy},
publisher = {Seneca Edizioni Torino},
year = {2007},
isbn = {978-88-6122-061-4},
timestamp = {Mon, 15 Dec 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/CasellaCDMM06,
author = {Giovanni Casella and
Gennaro Costagliola and
Vincenzo Deufemia and
Maurizio Martelli and
Viviana Mascardi},
title = {An Agent-Based Framework for Context-Driven Interpretation of Symbols
in Diagrammatic Sketches},
booktitle = {2006 {IEEE} Symposium on Visual Languages and Human-Centric Computing
{(VL/HCC} 2006), 4-8 September 2006, Brighton, {UK}},
pages = {73--80},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/VLHCC.2006.8},
doi = {10.1109/VLHCC.2006.8},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/CasellaCDMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbisp2p/GuerriniMM05,
author = {Giovanna Guerrini and
Viviana Mascardi and
Marco Mesiti},
editor = {Gianluca Moro and
Sonia Bergamaschi and
Sam Joseph and
Jean{-}Henry Morin and
Aris M. Ouksel},
title = {A Semantic Information Retrieval Advertisement and Policy Based System
for a {P2P} Network},
booktitle = {Databases, Information Systems, and Peer-to-Peer Computing, International
Workshops, {DBISP2P} 2005/2006, Trondheim, Norway, August 28-29, 2005,
Seoul, Korea, September 11, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4125},
pages = {147--154},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-71661-7\_13},
doi = {10.1007/978-3-540-71661-7\_13},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/dbisp2p/GuerriniMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/MontagnaDMM05,
author = {Roberto Montagna and
Giorgio Delzanno and
Maurizio Martelli and
Viviana Mascardi},
editor = {Marie{-}Pierre Gleizes and
Gal A. Kaminka and
Ann Now{\'{e}} and
Sascha Ossowski and
Karl Tuyls and
Katja Verbeeck},
title = {BDI{\^{}}ATL : An Alternating-Time {BDI} Logic for Multiagent Systems},
booktitle = {{EUMAS} 2005 - Proceedings of the Third European Workshop on Multi-Agent
Systems, Brussels, Belgium, December 7-8, 2005},
pages = {214--223},
publisher = {Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten},
year = {2005},
timestamp = {Mon, 07 Oct 2019 16:15:28 +0200},
biburl = {https://dblp.org/rec/conf/eumas/MontagnaDMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/BozzoMAB05,
author = {Luigi Bozzo and
Viviana Mascardi and
Davide Ancona and
Paolo Busetta},
editor = {Marie{-}Pierre Gleizes and
Gal A. Kaminka and
Ann Now{\'{e}} and
Sascha Ossowski and
Karl Tuyls and
Katja Verbeeck},
title = {{COOWS:} Adaptive {BDI} Agents meet Service-Oriented Computing},
booktitle = {{EUMAS} 2005 - Proceedings of the Third European Workshop on Multi-Agent
Systems, Brussels, Belgium, December 7-8, 2005},
pages = {473},
publisher = {Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten},
year = {2005},
timestamp = {Fri, 16 Dec 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eumas/BozzoMAB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/MascardiDA05,
author = {Viviana Mascardi and
Daniela Demergasso and
Davide Ancona},
editor = {Flavio Corradini and
Flavio De Paoli and
Emanuela Merelli and
Andrea Omicini},
title = {Languages for Programming BDI-style Agents: an Overview},
booktitle = {{WOA} 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop
"From Objects to Agents": Simulation and Formal Analysis of Complex
Systems, 14-16 November 2005, Camerino, MC, Italy},
pages = {9--15},
publisher = {Pitagora Editrice Bologna},
year = {2005},
url = {http://lia.deis.unibo.it/books/woa2005/papers/2.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/MascardiDA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/CordiLMM05,
author = {Valentina Cord{\`{\i}} and
Paolo Lombardi and
Maurizio Martelli and
Viviana Mascardi},
editor = {Flavio Corradini and
Flavio De Paoli and
Emanuela Merelli and
Andrea Omicini},
title = {An Ontology-Based Similarity between Sets of Concepts},
booktitle = {{WOA} 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop
"From Objects to Agents": Simulation and Formal Analysis of Complex
Systems, 14-16 November 2005, Camerino, MC, Italy},
pages = {16--21},
publisher = {Pitagora Editrice Bologna},
year = {2005},
url = {http://lia.deis.unibo.it/books/woa2005/papers/3.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/CordiLMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/RoggeroPM05,
author = {Davide Roggero and
Fioravante Patrone and
Viviana Mascardi},
editor = {Flavio Corradini and
Flavio De Paoli and
Emanuela Merelli and
Andrea Omicini},
title = {Designing and Implementing Electronic Auctions in a Multiagent System
Environment},
booktitle = {{WOA} 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop
"From Objects to Agents": Simulation and Formal Analysis of Complex
Systems, 14-16 November 2005, Camerino, MC, Italy},
pages = {157--163},
publisher = {Pitagora Editrice Bologna},
year = {2005},
url = {http://lia.deis.unibo.it/books/woa2005/papers/22.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/RoggeroPM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/BaldoniBMPSTM05,
author = {Matteo Baldoni and
Cristina Baroglio and
Alberto Martelli and
Viviana Patti and
Claudio Schifanella and
Laura Torasso and
Viviana Mascardi},
editor = {Flavio Corradini and
Flavio De Paoli and
Emanuela Merelli and
Andrea Omicini},
title = {Personalization, Verification and Conformance for Logic-based Communicating
Agents},
booktitle = {{WOA} 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop
"From Objects to Agents": Simulation and Formal Analysis of Complex
Systems, 14-16 November 2005, Camerino, MC, Italy},
pages = {177--183},
publisher = {Pitagora Editrice Bologna},
year = {2005},
url = {http://lia.deis.unibo.it/books/woa2005/papers/25.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/BaldoniBMPSTM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MascardiMS04,
author = {Viviana Mascardi and
Maurizio Martelli and
Leon Sterling},
title = {Logic-Based Specification Languages for Intelligent Software Agents},
journal = {Theory Pract. Log. Program.},
volume = {4},
number = {4},
pages = {429--494},
year = {2004},
url = {https://doi.org/10.1017/S1471068404002029},
doi = {10.1017/S1471068404002029},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MascardiMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AnconaMHB04,
author = {Davide Ancona and
Viviana Mascardi and
Jomi Fred H{\"{u}}bner and
Rafael H. Bordini},
title = {Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange},
booktitle = {3rd International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2004), 19-23 August 2004, New York, NY, {USA}},
pages = {696--705},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10077},
doi = {10.1109/AAMAS.2004.10077},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/AnconaMHB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/BaldoniBGMMMPS04,
author = {Matteo Baldoni and
Cristina Baroglio and
Ivana Gungui and
Alberto Martelli and
Maurizio Martelli and
Viviana Mascardi and
Viviana Patti and
Claudio Schifanella},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Paolo Torroni and
Pinar Yolum},
title = {Reasoning About Agents' Interaction Protocols Inside DCaseLP},
booktitle = {Declarative Agent Languages and Technologies II, Second International
Workshop, {DALT} 2004, New York, NY, USA, July 19, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3476},
pages = {112--131},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493402\_7},
doi = {10.1007/11493402\_7},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/BaldoniBGMMMPS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/MartelliM03,
author = {Maurizio Martelli and
Viviana Mascardi},
editor = {Francesco Buccafurri},
title = {From {UML} Diagrams to Jess Rules: Integrating {OO} and Rule-Based
Languages to Specify, Implement and Execute Agents},
booktitle = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio
Calabria, Italy, September 3-5, 2003},
pages = {275--286},
year = {2003},
timestamp = {Tue, 24 Jan 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/MartelliM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JuanSMM03,
author = {Thomas Juan and
Leon Sterling and
Maurizio Martelli and
Viviana Mascardi},
title = {Customizing {AOSE} methodologies by reusing {AOSE} features},
booktitle = {The Second International Joint Conference on Autonomous Agents {\&}
Multiagent Systems, {AAMAS} 2003, July 14-18, 2003, Melbourne, Victoria,
Australia, Proceedings},
pages = {113--120},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/860575.860594},
doi = {10.1145/860575.860594},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/JuanSMM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/AnconaM03,
author = {Davide Ancona and
Viviana Mascardi},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Leon Sterling and
Paolo Torroni},
title = {Coo-BDI: Extending the {BDI} Model with Cooperativity},
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 = {109--134},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25932-9\_7},
doi = {10.1007/978-3-540-25932-9\_7},
timestamp = {Fri, 27 Mar 2020 08:51:13 +0100},
biburl = {https://dblp.org/rec/conf/dalt/AnconaM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mips/DelatoMMMV03,
author = {M. Delato and
Alberto Martelli and
Maurizio Martelli and
Viviana Mascardi and
Alessandro Verri},
editor = {Giorgio Ventre and
Roberto Canonico},
title = {A Multimedia, Multichannel, and Personalized News Provider},
booktitle = {Interactive Multimedia on Next Generation Networks, First International
Workshop on Multimedia Interactive Protocols and Systems, {MIPS} 2003,
Napoli, Italy, November 18-21, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2899},
pages = {388--399},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40012-7\_32},
doi = {10.1007/978-3-540-40012-7\_32},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/mips/DelatoMMMV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/AstesianoMMR03,
author = {Egidio Astesiano and
Maurizio Martelli and
Viviana Mascardi and
Gianna Reggio},
title = {From Requirement Specification to Prototype Execution: a Combination
of Multiview Use-Case Driven Methods and Agent-Oriented Techniques},
booktitle = {Proceedings of the Fifteenth International Conference on Software
Engineering {\&} Knowledge Engineering (SEKE'2003), Hotel Sofitel,
San Francisco Bay, CA, USA, July 1-3, 2003},
pages = {578--585},
year = {2003},
timestamp = {Fri, 18 Feb 2005 13:16:38 +0100},
biburl = {https://dblp.org/rec/conf/seke/AstesianoMMR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0311024,
author = {Viviana Mascardi and
Maurizio Martelli and
Leon Sterling},
title = {Logic-Based Specification Languages for Intelligent Software Agents},
journal = {CoRR},
volume = {cs.AI/0311024},
year = {2003},
url = {http://arxiv.org/abs/cs/0311024},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0311024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/EiterM02,
author = {Thomas Eiter and
Viviana Mascardi},
title = {Comparing environments for developing software agents},
journal = {{AI} Commun.},
volume = {15},
number = {4},
pages = {169--197},
year = {2002},
url = {http://content.iospress.com/articles/ai-communications/aic264},
timestamp = {Fri, 15 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/EiterM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/MartelliMS02,
author = {Maurizio Martelli and
Viviana Mascardi and
Leon Sterling},
editor = {Juan Jos{\'{e}} Moreno{-}Navarro and
Julio Mari{\~{n}}o{-}Carballo},
title = {Logic-Based Languages to Model and Program Intelligent Agents},
booktitle = {{AGP} 2002: Proceedings of the Joint Conference on Declarative Programming,
APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002},
pages = {105--122},
publisher = {Facultad de Inform{\'{a}}tica, Universidad Polit{\'{e}}cnica
de Madrid},
year = {2002},
url = {https://www.programmazionelogica.it/wp-content/uploads/2002/09/agp02-martelli-mascardi-sterling.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/MartelliMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/EiterMS02,
author = {Thomas Eiter and
Viviana Mascardi and
V. S. Subrahmanian},
editor = {Antonis C. Kakas and
Fariba Sadri},
title = {Error-Tolerant Agents},
booktitle = {Computational Logic: Logic Programming and Beyond, Essays in Honour
of Robert A. Kowalski, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {2407},
pages = {586--625},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45628-7\_22},
doi = {10.1007/3-540-45628-7\_22},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/EiterMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/AlbertoniMMM02,
author = {Riccardo Albertoni and
Maurizio Martelli and
Viviana Mascardi and
Stefano Miglia},
editor = {Flavio De Paoli and
Sara Manzoni and
Agostino Poggi},
title = {Specifica, Implementazione ed Esecuzione di un Prototipo di Sistema
Multi-Agente in D-CaseLP},
booktitle = {{WOA} 2002: Dagli Oggetti agli Agenti. 3rd AI*IA/TABOO Joint Workshop
"From Objects to Agents": From Information to Knowledge, 18-19 November
2002, Milano, Italy},
pages = {149--156},
publisher = {Pitagora Editrice Bologna},
year = {2002},
timestamp = {Tue, 18 Jan 2005 10:06:14 +0100},
biburl = {https://dblp.org/rec/conf/woa/AlbertoniMMM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/MariniMMZ00,
author = {Simone Marini and
Maurizio Martelli and
Viviana Mascardi and
Floriano Zini},
editor = {Cristiano Castelfranchi and
Yves Lesp{\'{e}}rance},
title = {Specification of Heterogeneous Agent Architectures},
booktitle = {Intelligent Agents {VII.} Agent Theories Architectures and Languages,
7th International Workshop, {ATAL} 2000, Boston, MA, USA, July 7-9,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1986},
pages = {275--289},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44631-1\_19},
doi = {10.1007/3-540-44631-1\_19},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/MariniMMZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/MariniMMZ00,
author = {Simone Marini and
Maurizio Martelli and
Viviana Mascardi and
Floriano Zini},
editor = {Antonio Corradi and
Andrea Omicini and
Agostino Poggi},
title = {{HEMASL:} {A} Flexible Language to Specify Heterogeneous 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 = {76--81},
publisher = {Pitagora Editrice Bologna},
year = {2000},
timestamp = {Mon, 17 Jan 2005 15:51:56 +0100},
biburl = {https://dblp.org/rec/conf/woa/MariniMMZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/MartelliMZ99,
author = {Maurizio Martelli and
Viviana Mascardi and
Floriano Zini},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Specification and Simulation of Multi-Agent Systems in CaseLP},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {13--28},
year = {1999},
timestamp = {Wed, 01 Dec 2004 15:33:47 +0100},
biburl = {https://dblp.org/rec/conf/agp/MartelliMZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icscCd/MascardiM99,
author = {Viviana Mascardi and
Emanuela Merelli},
editor = {Francesco Masulli and
Riccardo Parenti},
title = {Agent-Oriented and Constraint Technologies for Distributed Transaction
Management},
booktitle = {Proceedings of the Third {ICSC} Symposia on Intelligent Industrial
Automation (IIA'99) and Soft Computing (SOCO'99), June 1-4, 1999,
Genova, Italy},
publisher = {{ICSC} Academic Press, Rochester, NY, {USA}},
year = {1999},
timestamp = {Mon, 14 Feb 2005 13:38:46 +0100},
biburl = {https://dblp.org/rec/conf/icscCd/MascardiM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/BozzanoDMMZ99,
author = {Marco Bozzano and
Giorgio Delzanno and
Maurizio Martelli and
Viviana Mascardi and
Floriano Zini},
editor = {Gopal Gupta},
title = {Multi-agent Systems Development as a Software Engineering Enterprise},
booktitle = {Practical Aspects of Declarative Languages, First International Workshop,
{PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1551},
pages = {46--60},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49201-1\_4},
doi = {10.1007/3-540-49201-1\_4},
timestamp = {Wed, 26 Oct 2022 11:14:38 +0200},
biburl = {https://dblp.org/rec/conf/padl/BozzanoDMMZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/99/BozzanoDMMZ99,
author = {Marco Bozzano and
Giorgio Delzanno and
Maurizio Martelli and
Viviana Mascardi and
Floriano Zini},
editor = {Krzysztof R. Apt and
Victor W. Marek and
Mirek Truszczynski and
David Scott Warren},
title = {Logic Programming and Multi-Agent Systems: {A} Synergic Combination
for Applications and Semantics},
booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective},
series = {Artificial Intelligence},
pages = {5--32},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-642-60085-2\_1},
doi = {10.1007/978-3-642-60085-2\_1},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/99/BozzanoDMMZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paam/MartelliMZ98,
author = {Maurizio Martelli and
Viviana Mascardi and
Floriano Zini},
editor = {Hyacinth S. Nwana and
Divine T. Ndumu},
title = {Towards Multi-Agent Software Prototyping},
booktitle = {Proceedings of the Third International Conference on the Practical
Application of Intelligent Agents and Multi-Agent Technology, {PAAM}
1998, Westminster Central Hall, London, UK, March 23-25, 1998},
pages = {331--354},
publisher = {Practical Application Company Ltd.},
year = {1998},
timestamp = {Tue, 29 Nov 2022 11:00:52 +0100},
biburl = {https://dblp.org/rec/conf/paam/MartelliMZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/MartelliMZ97,
author = {Maurizio Martelli and
Viviana Mascardi and
Floriano Zini},
editor = {Moreno Falaschi and
Marisa Navarro and
Alberto Policriti},
title = {Applying Logic Programming to the Specification of Complex Applications},
booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97,
Grado, Italy, June 16-19, 1997},
pages = {491--500},
year = {1997},
timestamp = {Thu, 02 Dec 2004 11:23:16 +0100},
biburl = {https://dblp.org/rec/conf/agp/MartelliMZ97.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-21 17:43 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:
