Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stefania Costantini
@inproceedings{DBLP:conf/semco/PersiaGPDRCG24,
author = {Fabio Persia and
Mouzhi Ge and
Giovanni Pilato and
Daniela D'Auria and
Andrea Rafanelli and
Stefania Costantini and
Giovanni De Gasperis},
title = {Leveraging {DALI} to Refine Route Planning by Dynamically Avoiding
Risky POIs},
booktitle = {18th {IEEE} International Conference on Semantic Computing, {ICSC}
2024, Laguna Hills, CA, USA, February 5-7, 2024},
pages = {351--354},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICSC59802.2024.00061},
doi = {10.1109/ICSC59802.2024.00061},
timestamp = {Wed, 27 Mar 2024 21:31:51 +0100},
biburl = {https://dblp.org/rec/conf/semco/PersiaGPDRCG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-07547,
author = {Stefania Costantini},
title = {Ensuring trustworthy and ethical behaviour in intelligent logical
agents},
journal = {CoRR},
volume = {abs/2402.07547},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.07547},
doi = {10.48550/ARXIV.2402.07547},
eprinttype = {arXiv},
eprint = {2402.07547},
timestamp = {Mon, 19 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-07547.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmpb/BertoncelliCPBD23,
author = {Carlo M. Bertoncelli and
Stefania Costantini and
Fabio Persia and
Domenico Bertoncelli and
Daniela D'Auria},
title = {PredictMed-epilepsy: {A} multi-agent based system for epilepsy detection
and prediction in neuropediatrics},
journal = {Comput. Methods Programs Biomed.},
volume = {236},
pages = {107548},
year = {2023},
url = {https://doi.org/10.1016/j.cmpb.2023.107548},
doi = {10.1016/J.CMPB.2023.107548},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cmpb/BertoncelliCPBD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/RafanelliCG23,
author = {Andrea Rafanelli and
Stefania Costantini and
Giovanni De Gasperis},
title = {Neural-logic multi-agent system for flood event detection},
journal = {Intelligenza Artificiale},
volume = {17},
number = {1},
pages = {19--35},
year = {2023},
url = {https://doi.org/10.3233/IA-230004},
doi = {10.3233/IA-230004},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/RafanelliCG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/DellAcquaC23,
author = {Pierangelo Dell'Acqua and
Stefania Costantini},
title = {Empathetic human-agent interaction via emotional behavior trees},
journal = {Intelligenza Artificiale},
volume = {17},
number = {1},
pages = {89--100},
year = {2023},
url = {https://doi.org/10.3233/IA-230014},
doi = {10.3233/IA-230014},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/DellAcquaC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LauretisPCD23,
author = {Lorenzo De Lauretis and
Fabio Persia and
Stefania Costantini and
Daniela D'Auria},
title = {How to leverage intelligent agents and complex event processing to
improve patient monitoring},
journal = {J. Log. Comput.},
volume = {33},
number = {4},
pages = {900--935},
year = {2023},
url = {https://doi.org/10.1093/logcom/exad016},
doi = {10.1093/LOGCOM/EXAD016},
timestamp = {Tue, 18 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LauretisPCD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GasperisCRMLD23,
author = {Giovanni De Gasperis and
Stefania Costantini and
Andrea Rafanelli and
Patrizio Migliarini and
Ivan Letteri and
Abeer Dyoub},
title = {Extension of constraint-procedural logic-generated environments for
deep Q-learning agent training and benchmarking},
journal = {J. Log. Comput.},
volume = {33},
number = {8},
pages = {1712--1733},
year = {2023},
url = {https://doi.org/10.1093/logcom/exad032},
doi = {10.1093/LOGCOM/EXAD032},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/GasperisCRMLD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CostantiniPRT23,
author = {Stefania Costantini and
Enrico Pontelli and
Alessandra Russo and
Francesca Toni},
title = {Introduction to the 39\({}^{\mbox{th}}\) International Conference
on Logic Programming Special Issue},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {4},
pages = {624--631},
year = {2023},
url = {https://doi.org/10.1017/s1471068423000212},
doi = {10.1017/S1471068423000212},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CostantiniPRT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CostantiniBBMFP23,
author = {Stefania Costantini and
Carlo Maria Bertoncelli and
Domenico Bertoncelli and
Pasquale De Meo and
Rino Falcone and
Fabio Persia and
Silvia Rossi},
editor = {Francesco Calimeri and
Mauro Dragoni and
Fabio Stella},
title = {The PredictMed-POMAS Architecture for Intelligent Patient Monitoring
within a Complex Healthcare Ecosystem},
booktitle = {Proceedings of the 2nd AIxIA Workshop on Artificial Intelligence For
Healthcare (HC@AIxIA 2023) co-located with the 22nd International
Conference of the Italian Association for Artificial Intelligence
(AIxIA 2023), Rome, Italy, 08 November 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3578},
pages = {145--160},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3578/paper12.pdf},
timestamp = {Thu, 14 Dec 2023 18:10:23 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CostantiniBBMFP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/RafanelliCG23,
author = {Andrea Rafanelli and
Stefania Costantini and
Giovanni De Gasperis},
editor = {Riccardo De Benedictis and
Matteo Castiglioni and
Diodato Ferraioli and
Vadim Malvone and
Marco Maratea and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {Experimenting an Approach to Neuro-Symbolic {RL}},
booktitle = {Proceedings of the the Italian Workshop on Planning and Scheduling,
{RCRA} Workshop on Experimental evaluation of algorithms for solving
problems with combinatorial explosion, and {SPIRIT} Workshop on Strategies,
Prediction, Interaction, and Reasoning in Italy {(IPS-RCRA-SPIRIT}
2023) co-located with 22nd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2023, November 7-9th,
2023, Rome, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3585},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3585/paper9\_RCRA8.pdf},
timestamp = {Tue, 02 Jan 2024 17:44:44 +0100},
biburl = {https://dblp.org/rec/conf/aiia/RafanelliCG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/Costantini023,
author = {Stefania Costantini and
Andrea Formisano},
editor = {Agostino Dovier and
Andrea Formisano},
title = {Fast Prototyping of a Solver for Reduct-based {ELP} Semantics},
booktitle = {Proceedings of the 38th Italian Conference on Computational Logic,
Udine, Italy, June 21-23, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3428},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3428/paper9.pdf},
timestamp = {Wed, 05 Jul 2023 16:52:15 +0200},
biburl = {https://dblp.org/rec/conf/cilc/Costantini023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/Costantini0P23,
author = {Stefania Costantini and
Andrea Formisano and
Valentina Pitoni},
editor = {Agostino Dovier and
Andrea Formisano},
title = {Preference Management in Epistemic Logic {L-DINF}},
booktitle = {Proceedings of the 38th Italian Conference on Computational Logic,
Udine, Italy, June 21-23, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3428},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3428/paper10.pdf},
timestamp = {Wed, 05 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cilc/Costantini0P23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ital-ia/DyoubCMD23,
author = {Abeer Dyoub and
Stefania Costantini and
Andrea Monaldini and
Pierangelo Dell'Acqua},
editor = {Fabrizio Falchi and
Fosca Giannotti and
Anna Monreale and
Chiara Boldrini and
Salvatore Rinzivillo and
Sara Colantonio},
title = {Towards Empathetic Care Robots},
booktitle = {Proceedings of the Italia Intelligenza Artificiale - Thematic Workshops
co-located with the 3rd {CINI} National Lab {AIIS} Conference on Artificial
Intelligence (Ital {IA} 2023), Pisa, Italy, May 29-30, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3486},
pages = {335--340},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3486/145.pdf},
timestamp = {Thu, 21 Sep 2023 17:01:40 +0200},
biburl = {https://dblp.org/rec/conf/ital-ia/DyoubCMD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/Costantini0P23,
author = {Stefania Costantini and
Andrea Formisano and
Valentina Pitoni},
editor = {Rino Falcone and
Cristiano Castelfranchi and
Alessandro Sapienza and
Filippo Cantucci},
title = {A Timed Epistemic Logic for Formalizing Cooperation among Groups of
Agents},
booktitle = {Proceedings of the 24th Workshop "From Objects to Agents", Roma, Italy,
November 6-8, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3579},
pages = {151--166},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3579/paper11.pdf},
timestamp = {Thu, 14 Dec 2023 18:10:23 +0100},
biburl = {https://dblp.org/rec/conf/woa/Costantini0P23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2308-14898,
editor = {Enrico Pontelli and
Stefania Costantini and
Carmine Dodaro and
Sarah Alice Gaggl and
Roberta Calegari and
Artur S. d'Avila Garcez and
Francesco Fabiano and
Alessandra Mileo and
Alessandra Russo and
Francesca Toni},
title = {Proceedings 39th International Conference on Logic Programming, {ICLP}
2023, Imperial College London, UK, 9th July 2023 - 15th July 2023},
series = {{EPTCS}},
volume = {385},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.385},
doi = {10.4204/EPTCS.385},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-14898.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-16344,
author = {Stefania Costantini and
Andrea Formisano},
title = {Epistemic Logic Programs: a study of some properties},
journal = {CoRR},
volume = {abs/2309.16344},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.16344},
doi = {10.48550/ARXIV.2309.16344},
eprinttype = {arXiv},
eprint = {2309.16344},
timestamp = {Tue, 17 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-16344.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/digitalsociety/DyoubCL22,
author = {Abeer Dyoub and
Stefania Costantini and
Francesca Alessandra Lisi},
title = {Learning Domain Ethical Principles from Interactions with Users},
journal = {Digit. Soc.},
volume = {1},
number = {3},
year = {2022},
url = {https://doi.org/10.1007/s44206-022-00026-y},
doi = {10.1007/S44206-022-00026-Y},
timestamp = {Thu, 13 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/digitalsociety/DyoubCL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Costantini22,
author = {Stefania Costantini},
title = {Ensuring trustworthy and ethical behaviour in intelligent logical
agents},
journal = {J. Log. Comput.},
volume = {32},
number = {2},
pages = {443--478},
year = {2022},
url = {https://doi.org/10.1093/logcom/exab091},
doi = {10.1093/LOGCOM/EXAB091},
timestamp = {Tue, 15 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Costantini22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnse/CavallaroCMLS22,
author = {Lucia Cavallaro and
Stefania Costantini and
Pasquale De Meo and
Antonio Liotta and
Giovanni Stilo},
title = {Network Connectivity Under a Probabilistic Node Failure Model},
journal = {{IEEE} Trans. Netw. Sci. Eng.},
volume = {9},
number = {4},
pages = {2463--2480},
year = {2022},
url = {https://doi.org/10.1109/TNSE.2022.3164357},
doi = {10.1109/TNSE.2022.3164357},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tnse/CavallaroCMLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/RafanelliCO22,
author = {Andrea Rafanelli and
Stefania Costantini and
Andrea Omicini},
editor = {Agostino Dovier and
Angelo Montanari and
Andrea Orlandini},
title = {Position Paper: On the Role of Abductive Reasoning in Semantic Image
Segmentation},
booktitle = {Proceedings of the Discussion Papers - 22nd International Conference
of the Italian Association for Artificial Intelligence (AIxIA 2022
DP), Udine, Italy, November 28 - December 2, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3419},
pages = {75--84},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3419/paper9.pdf},
timestamp = {Tue, 04 Jul 2023 16:37:20 +0200},
biburl = {https://dblp.org/rec/conf/aiia/RafanelliCO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/Costantini0P22,
author = {Stefania Costantini and
Andrea Formisano and
Valentina Pitoni},
editor = {Roberta Calegari and
Giovanni Ciatto and
Andrea Omicini},
title = {Temporalizing Epistemic Logic {L-DINF}},
booktitle = {Proceedings of the 37th Italian Conference on Computational Logic,
Bologna, Italy, June 29 - July 1, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3204},
pages = {119--133},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3204/paper\_13.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/Costantini0P22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/LauretisPC22,
author = {Lorenzo De Lauretis and
Fabio Persia and
Stefania Costantini},
editor = {Roberta Calegari and
Giovanni Ciatto and
Andrea Omicini},
title = {An Intelligent Ecosystem to improve Patient Monitoring using Wearables
and Artificial Intelligence},
booktitle = {Proceedings of the 37th Italian Conference on Computational Logic,
Bologna, Italy, June 29 - July 1, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3204},
pages = {141--153},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3204/paper\_16.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/LauretisPC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/Costantini022,
author = {Stefania Costantini and
Andrea Formisano},
editor = {Roberta Calegari and
Giovanni Ciatto and
Andrea Omicini},
title = {Epistemic Logic Programs: an approach to Semantic Comparison},
booktitle = {Proceedings of the 37th Italian Conference on Computational Logic,
Bologna, Italy, June 29 - July 1, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3204},
pages = {186--200},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3204/paper\_20.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/Costantini022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniGM22,
author = {Stefania Costantini and
Giovanni De Gasperis and
Patrizio Migliarini},
editor = {Roberta Calegari and
Giovanni Ciatto and
Andrea Omicini},
title = {Constraint-Procedural Logic Generated Environments for Deep Q-learning
Agent training and benchmarking},
booktitle = {Proceedings of the 37th Italian Conference on Computational Logic,
Bologna, Italy, June 29 - July 1, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3204},
pages = {268--278},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3204/paper\_27.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CostantiniGM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/LauretisPC22,
author = {Lorenzo De Lauretis and
Fabio Persia and
Stefania Costantini},
editor = {Mario Alviano and
Andreas Pieris},
title = {Intelligent Agents and Complex Event Processing to enhance Patient
Monitoring},
booktitle = {Proceedings of the 4th International Workshop on the Resurgence of
Datalog in Academia and Industry (Datalog-2.0 2022) co-located with
the 16th International Conference on Logic Programming and Nonmonotonic
Reasoning {(LPNMR} 2022), Genova-Nervi, Italy, September 5, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {212--218},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/short10.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:45 +0100},
biburl = {https://dblp.org/rec/conf/datalog/LauretisPC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccel/LauretisCPB22,
author = {Lorenzo De Lauretis and
Stefania Costantini and
Enrico Pallotta and
Clara Balsano},
title = {An Ontology of Medical Wearables},
booktitle = {{IEEE} International Conference on Consumer Electronics, {ICCE} 2022,
Las Vegas, NV, USA, January 7-9, 2022},
pages = {1--4},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICCE53296.2022.9730210},
doi = {10.1109/ICCE53296.2022.9730210},
timestamp = {Wed, 23 Mar 2022 17:30:12 +0100},
biburl = {https://dblp.org/rec/conf/iccel/LauretisCPB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Costantini022,
author = {Stefania Costantini and
Andrea Formisano},
editor = {Joaqu{\'{\i}}n Arias and
Roberta Calegari and
Luke Dickens and
Wolfgang Faber and
Jorge Fandinno and
Gopal Gupta and
Markus Hecher and
Daniela Inclezan and
Emily LeBlanc and
Michael Morak and
Elmer Salazar and
Jessica Zangari},
title = {Epistemic Logic Programs: a Novel Perspective and Some Extensions},
booktitle = {Proceedings of the International Conference on Logic Programming 2022
Workshops co-located with the 38th International Conference on Logic
Programming {(ICLP} 2022), Haifa, Israel, July 31st - August 1st,
2022},
series = {{CEUR} Workshop Proceedings},
volume = {3193},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3193/paper1EELP.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Costantini022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Costantini0P22,
author = {Stefania Costantini and
Andrea Formisano and
Valentina Pitoni},
editor = {Jesse Heyninck and
Thomas Meyer and
Marco Ragni and
Matthias Thimm and
Gabriele Kern{-}Isberner},
title = {Cognitive Aspects in Epistemic Logic {L-DINF}},
booktitle = {Proceedings of the Workshop on Cognitive Aspects of Knowledge Representation
co-located with the 31st international join conference on artificial
intelligence {(IJCAI-ECAI} 2022), Vienna, Austria, July 23, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3251},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3251/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:32 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/Costantini0P22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/LauretisPC22,
author = {Lorenzo De Lauretis and
Fabio Persia and
Stefania Costantini},
title = {A Smart Ecosystem to improve Patient Monitoring using Wearables, Intelligent
Agents, Complex Event Processing and Image Processing},
booktitle = {{IEEE} Symposium on Computers and Communications, {ISCC} 2022, Rhodes,
Greece, June 30 - July 3, 2022},
pages = {1--7},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ISCC55528.2022.9912829},
doi = {10.1109/ISCC55528.2022.9912829},
timestamp = {Tue, 25 Oct 2022 21:20:50 +0200},
biburl = {https://dblp.org/rec/conf/iscc/LauretisPC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DyoubCL22,
author = {Abeer Dyoub and
Stefania Costantini and
Ivan Letteri},
editor = {Pierangela Bruno and
Francesco Calimeri and
Francesco Cauteruccio and
Marco Maratea and
Giorgio Terracina and
Mauro Vallati},
title = {Care Robots Learning Rules of Ethical Behavior Under the Supervision
of an Ethical Teacher (Short paper)},
booktitle = {Joint Proceedings of the 1st International Workshop on HYbrid Models
for Coupling Deductive and Inductive ReAsoning {(HYDRA} 2022) and
the 29th {RCRA} Workshop on Experimental Evaluation of Algorithms
for Solving Problems with Combinatorial Explosion {(RCRA} 2022) co-located
with the 16th International Conference on Logic Programming and Non-monotonic
Reasoning {(LPNMR} 2022), Genova Nervi, Italy, September 5, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3281},
pages = {1--8},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3281/paper1.pdf},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DyoubCL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CostantiniF22,
author = {Stefania Costantini and
Andrea Formisano},
editor = {Georg Gottlob and
Daniela Inclezan and
Marco Maratea},
title = {Epistemic Logic Programs: {A} Study of Some Properties},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 16th International
Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13416},
pages = {131--144},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15707-3\_11},
doi = {10.1007/978-3-031-15707-3\_11},
timestamp = {Fri, 02 Sep 2022 08:42:30 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/CostantiniF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Costantini0P22,
author = {Stefania Costantini and
Andrea Formisano and
Valentina Pitoni},
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {Modelling Agents Roles in the Epistemic Logic {L-DINF}},
booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
pages = {70--79},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:30 +0100},
biburl = {https://dblp.org/rec/conf/nmr/Costantini0P22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/Costantini0P22,
author = {Stefania Costantini and
Andrea Formisano and
Valentina Pitoni},
editor = {Guido Governatori and
Anni{-}Yasmin Turhan},
title = {Cooperation Among Groups of Agents in the Epistemic Logic {L-DINF}},
booktitle = {Rules and Reasoning - 6th International Joint Conference on Rules
and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13752},
pages = {280--295},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21541-4\_18},
doi = {10.1007/978-3-031-21541-4\_18},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/Costantini0P22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/CostantiniD22,
author = {Stefania Costantini and
Pierangelo Dell'Acqua},
editor = {Angelo Ferrando and
Viviana Mascardi},
title = {Emotional behavior trees for empathetic human-automation interaction},
booktitle = {Proceedings of the 23rd Workshop "From Objects to Agents", Genova,
Italy, September 1-3, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3261},
pages = {1--16},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3261/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:40 +0100},
biburl = {https://dblp.org/rec/conf/woa/CostantiniD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/RafanelliCG22,
author = {Andrea Rafanelli and
Stefania Costantini and
Giovanni De Gasperis},
editor = {Angelo Ferrando and
Viviana Mascardi},
title = {A multi-agent-system framework for flooding events},
booktitle = {Proceedings of the 23rd Workshop "From Objects to Agents", Genova,
Italy, September 1-3, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3261},
pages = {142--151},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3261/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/RafanelliCG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CostantiniF21,
author = {Stefania Costantini and
Andrea Formisano},
title = {Adding Metalogic Features to Knowledge Representation Languages},
journal = {Fundam. Informaticae},
volume = {181},
number = {1},
pages = {71--98},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2051},
doi = {10.3233/FI-2021-2051},
timestamp = {Mon, 05 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CostantiniF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijimai/CostantiniGL21,
author = {Stefania Costantini and
Giovanni De Gasperis and
Lorenzo De Lauretis},
title = {An Application of Declarative Languages in Distributed Architectures:
{ASP} and {DALI} Microservices},
journal = {Int. J. Interact. Multim. Artif. Intell.},
volume = {6},
number = {5},
pages = {66--78},
year = {2021},
url = {https://www.ijimai.org/journal/bibcite/reference/2883},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijimai/CostantiniGL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/Costantini0P21,
author = {Stefania Costantini and
Andrea Formisano and
Valentina Pitoni},
editor = {Frank Dignum and
Alessio Lomuscio and
Ulle Endriss and
Ann Now{\'{e}}},
title = {A Logic of Inferable in Multi-Agent Systems with Budget and Costs},
booktitle = {{AAMAS} '21: 20th International Conference on Autonomous Agents and
Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
pages = {1483--1485},
publisher = {{ACM}},
year = {2021},
url = {https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1483.pdf},
doi = {10.5555/3463952.3464133},
timestamp = {Wed, 20 Jul 2022 17:03:47 +0200},
biburl = {https://dblp.org/rec/conf/atal/Costantini0P21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/DyoubCLL21,
author = {Abeer Dyoub and
Stefania Costantini and
Francesca A. Lisi and
Ivan Letteri},
editor = {Stefania Monica and
Federico Bergenti},
title = {Ethical Monitoring and Evaluation of Dialogues with a {MAS}},
booktitle = {Proceedings of the 36th Italian Conference on Computational Logic,
Parma, Italy, September 7-9, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3002},
pages = {158--172},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3002/paper13.pdf},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cilc/DyoubCLL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniLFGP21,
author = {Stefania Costantini and
Lorenzo De Lauretis and
Claudio Ferri and
Jessica Giancola and
Fabio Persia},
editor = {Stefania Monica and
Federico Bergenti},
title = {A Smart Health Assistant via {DALI} Logical Agents},
booktitle = {Proceedings of the 36th Italian Conference on Computational Logic,
Parma, Italy, September 7-9, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3002},
pages = {173--187},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3002/paper15.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CostantiniLFGP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emas/Costantini0P21,
author = {Stefania Costantini and
Andrea Formisano and
Valentina Pitoni},
editor = {Natasha Alechina and
Matteo Baldoni and
Brian Logan},
title = {An Epistemic Logic for Modular Development of Multi-Agent Systems},
booktitle = {Engineering Multi-Agent Systems - 9th International Workshop, {EMAS}
2021, Virtual Event, May 3-4, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13190},
pages = {72--91},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-97457-2\_5},
doi = {10.1007/978-3-030-97457-2\_5},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emas/Costantini0P21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Costantini21,
author = {Stefania Costantini},
editor = {Joaqu{\'{\i}}n Arias and
Fabio Aurelio D'Asaro and
Abeer Dyoub and
Gopal Gupta and
Markus Hecher and
Emily LeBlanc and
Rafael Pe{\~{n}}aloza and
Elmer Salazar and
Ari Saptawijaya and
Felix Weitk{\"{a}}mper and
Jessica Zangari},
title = {Top-down Splitting Property for Epistemic Logic Programs},
booktitle = {Proceedings of the International Conference on Logic Programming 2021
Workshops co-located with the 37th International Conference on Logic
Programming {(ICLP} 2021), Porto, Portugal (virtual), September 20th-21st,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2970},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2970/aspocppaper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Costantini21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iotbd/LauretisLCC21,
author = {Lorenzo De Lauretis and
Tiziano Lombardi and
Stefania Costantini and
Ludovica Clementini},
editor = {Gary B. Wills and
P{\'{e}}ter Kacsuk and
Victor Chang},
title = {An Arduino-based Device to Detect Dangerous Audio Noises},
booktitle = {Proceedings of the 6th International Conference on Internet of Things,
Big Data and Security, IoTBDS 2021, Online Streaming, April 23-25,
2021},
pages = {303--308},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010476403030308},
doi = {10.5220/0010476403030308},
timestamp = {Mon, 31 May 2021 12:07:54 +0200},
biburl = {https://dblp.org/rec/conf/iotbd/LauretisLCC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Costantini0P21,
author = {Stefania Costantini and
Andrea Formisano and
Valentina Pitoni},
editor = {Wolfgang Faber and
Gerhard Friedrich and
Martin Gebser and
Michael Morak},
title = {An Epistemic Logic for Multi-agent Systems with Budget and Costs},
booktitle = {Logics in Artificial Intelligence - 17th European Conference, {JELIA}
2021, Virtual Event, May 17-20, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12678},
pages = {101--115},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-75775-5\_8},
doi = {10.1007/978-3-030-75775-5\_8},
timestamp = {Sun, 16 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Costantini0P21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/transai/PersiaCFLD21,
author = {Fabio Persia and
Stefania Costantini and
Claudio Ferri and
Lorenzo De Lauretis and
Daniela D'Auria},
title = {A Smart Framework for Automatically Analyzing Electrocardiograms},
booktitle = {Third International Conference on Transdisciplinary AI, TransAI 2021,
Laguna Hills, CA, USA, September 20-22, 2021},
pages = {64--67},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/TransAI51903.2021.00019},
doi = {10.1109/TRANSAI51903.2021.00019},
timestamp = {Thu, 18 Jan 2024 15:14:56 +0100},
biburl = {https://dblp.org/rec/conf/transai/PersiaCFLD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08294,
author = {Abeer Dyoub and
Stefania Costantini and
Ivan Letteri and
Francesca A. Lisi},
editor = {Andrea Formisano and
Yanhong Annie Liu and
Bart Bogaerts and
Alex Brik and
Ver{\'{o}}nica Dahl and
Carmine Dodaro and
Paul Fodor and
Gian Luca Pozzato and
Joost Vennekens and
Neng{-}Fa Zhou},
title = {A Logic-based Multi-agent System for Ethical Monitoring and Evaluation
of Dialogues},
booktitle = {Proceedings 37th International Conference on Logic Programming (Technical
Communications), {ICLP} Technical Communications 2021, Porto (virtual
event), 20-27th September 2021},
series = {{EPTCS}},
volume = {345},
pages = {182--188},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.345.32},
doi = {10.4204/EPTCS.345.32},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08294.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-06780,
author = {Pedro Cabalar and
Stefania Costantini and
Giovanni De Gasperis and
Andrea Formisano},
title = {Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context
systems in dynamic environments")},
journal = {CoRR},
volume = {abs/2106.06780},
year = {2021},
url = {https://arxiv.org/abs/2106.06780},
eprinttype = {arXiv},
eprint = {2106.06780},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-06780.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-05157,
author = {Stefania Costantini},
title = {Self-checking Logical Agents},
journal = {CoRR},
volume = {abs/2111.05157},
year = {2021},
url = {https://arxiv.org/abs/2111.05157},
eprinttype = {arXiv},
eprint = {2111.05157},
timestamp = {Wed, 10 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-05157.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CostantiniP20,
author = {Stefania Costantini and
Valentina Pitoni},
editor = {Cataldo Musto and
Daniele Magazzeni and
Salvatore Ruggieri and
Giovanni Semeraro},
title = {Towards a Logic of "Inferable" for Self-Aware Transparent
Logical Agents},
booktitle = {Proceedings of the Italian Workshop on Explainable Artificial Intelligence
co-located with 19th International Conference of the Italian Association
for Artificial Intelligence, XAI.it@AIxIA 2020, Online Event, November
25-26, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2742},
pages = {68--79},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2742/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CostantiniP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/DyoubCLL20,
author = {Abeer Dyoub and
Stefania Costantini and
Francesca Alessandra Lisi and
Ivan Letteri},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Logic-based Machine Learning for Transparent Ethical Agents},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {169--183},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/DyoubCLL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/Costantini20,
author = {Stefania Costantini},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Ensuring Trustworthy and Ethical Behavior in Intelligent Logical Agents},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {184--198},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/Costantini20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LauretisLC20,
author = {Lorenzo De Lauretis and
Tiziano Lombardi and
Stefania Costantini},
editor = {Ester Zumpano and
Andrea Tagarelli and
Carmela Comito and
Sergio Greco and
Pierangelo Veltri and
Agusti Solanas and
Inmaculada Mora and
Miquel S{\`{a}}nchez{-}Marr{\`{e}}},
title = {EarSaver: {A} Device to Detect Dangerous Audio Noises},
booktitle = {Proceedings of the First International {AAI4H} - Advances in Artificial
Intelligence for Healthcare Workshop co-located with the 24th European
Conference on Artificial Intelligence {(ECAI} 2020), Santiago de Compostela,
Spain, September 4, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2820},
pages = {4--7},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2820/AAI4H-1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/ecai/LauretisLC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/GallinaP0MHCDC20,
author = {Barbara Gallina and
G{\"{o}}rkem Pa{\c{c}}aci and
David Johnson and
Steve McKeever and
Andreas Hamfelt and
Stefania Costantini and
Pierangelo Dell'Acqua and
Gloria Cerasela Crisan},
editor = {Grzegorz J. Nalepa and
Michal Araszkiewicz and
Martin Atzmueller and
Bart Verheij and
Szymon Bobek},
title = {Towards Explainable, Compliant and Adaptive Human-Automation Interaction},
booktitle = {Proceedings of the 3rd EXplainable {AI} in Law Workshop {(XAILA} 2020)
co-located with 33rd International Conference on Legal Knowledge and
Information Systems {(JURIX} 2020), Prague, Czech Republic, December
9th, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2891},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2891/XAILA-2020\_paper\_6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:15 +0100},
biburl = {https://dblp.org/rec/conf/jurix/GallinaP0MHCDC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paams/DyoubCLG20,
author = {Abeer Dyoub and
Stefania Costantini and
Francesca A. Lisi and
Giovanni De Gasperis},
editor = {Yves Demazeau and
Tom Holvoet and
Juan M. Corchado and
Stefania Costantini},
title = {Demo Paper: Monitoring and Evaluation of Ethical Behavior in Dialog
Systems},
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 = {403--407},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-49778-1\_35},
doi = {10.1007/978-3-030-49778-1\_35},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paams/DyoubCLG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/websci/CostantiniMGMPS20,
author = {Stefania Costantini and
Pasquale De Meo and
Angelo Giorgianni and
Valentina Migliorato and
Alessandro Provetti and
Federico Salvia},
editor = {Emilio Ferrara and
Pauline Leonard and
Wendy Hall},
title = {Exploring Low-degree nodes first accelerates Network Exploration},
booktitle = {WebSci '20: 12th {ACM} Conference on Web Science, Southampton, UK,
July 6-10, 2020},
pages = {241--249},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3394231.3397914},
doi = {10.1145/3394231.3397914},
timestamp = {Tue, 30 Nov 2021 14:57:52 +0100},
biburl = {https://dblp.org/rec/conf/websci/CostantiniMGMPS20.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-11186,
author = {Abeer Dyoub and
Stefania Costantini and
Francesca A. Lisi},
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 = {Logic Programming and Machine Ethics},
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 = {6--17},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.325.6},
doi = {10.4204/EPTCS.325.6},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-11186.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-10250,
author = {Stefania Costantini and
Lorenzo De Lauretis},
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 = {An application of Answer Set Programming in Distributed Architectures:
{ASP} Microservices},
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 = {230--243},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.325.28},
doi = {10.4204/EPTCS.325.28},
timestamp = {Wed, 04 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10250.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/paams/2020,
editor = {Yves Demazeau and
Tom Holvoet and
Juan M. Corchado and
Stefania Costantini},
title = {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},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-49778-1},
doi = {10.1007/978-3-030-49778-1},
isbn = {978-3-030-49777-4},
timestamp = {Thu, 02 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paams/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-08050,
author = {Stefania Costantini and
Pasquale De Meo and
Angelo Giorgianni and
Valentina Migliorato and
Alessandro Provetti and
Federico Salvia},
title = {Exploring Low-degree Nodes First Accelerates Network Exploration},
journal = {CoRR},
volume = {abs/2005.08050},
year = {2020},
url = {https://arxiv.org/abs/2005.08050},
eprinttype = {arXiv},
eprint = {2005.08050},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-08050.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-13551,
author = {Lucia Cavallaro and
Stefania Costantini and
Pasquale De Meo and
Antonio Liotta and
Giovanni Stilo},
title = {Network connectivity under a probabilistic node failure model},
journal = {CoRR},
volume = {abs/2006.13551},
year = {2020},
url = {https://arxiv.org/abs/2006.13551},
eprinttype = {arXiv},
eprint = {2006.13551},
timestamp = {Wed, 01 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-13551.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/CabalarCGF19,
author = {Pedro Cabalar and
Stefania Costantini and
Giovanni De Gasperis and
Andrea Formisano},
title = {Multi-context systems in dynamic environments},
journal = {Ann. Math. Artif. Intell.},
volume = {86},
number = {1-3},
pages = {87--120},
year = {2019},
url = {https://doi.org/10.1007/s10472-019-09622-0},
doi = {10.1007/S10472-019-09622-0},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/CabalarCGF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/CostantiniGO19,
author = {Stefania Costantini and
Giovanni De Gasperis and
Raffaele Olivieri},
title = {Digital forensics and investigations meet artificial intelligence},
journal = {Ann. Math. Artif. Intell.},
volume = {86},
number = {1-3},
pages = {193--229},
year = {2019},
url = {https://doi.org/10.1007/s10472-019-09632-y},
doi = {10.1007/S10472-019-09632-Y},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/CostantiniGO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Costantini19,
author = {Stefania Costantini},
title = {About Epistemic Negation and World Views in Epistemic Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {790--807},
year = {2019},
url = {https://doi.org/10.1017/S147106841900019X},
doi = {10.1017/S147106841900019X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Costantini19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CostantiniLO19,
author = {Stefania Costantini and
Francesca A. Lisi and
Raffaele Olivieri},
editor = {Marco Maratea and
Mauro Vallati},
title = {Knowledge Representation and Reasoning meets Digital Forensics: The
{COST} Action DigForASP (short paper)},
booktitle = {Joint Proceedings of the {RCRA} International Workshop and of the
{RCRA} Incontri e Confronti Workshop co-located with the 18th International
Conference of the Italian Association for Artificial Intelligence
{(AIIA} 2019), Rende, Italy, November 19-20, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2538},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2538/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CostantiniLO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/DyoubCL19,
author = {Abeer Dyoub and
Stefania Costantini and
Francesca A. Lisi},
editor = {Salvatore Maria Anzalone and
Luca Buoncompagni and
Alberto Castellini and
Alberto Finzi},
title = {An Approach Towards Ethical Chatbots in Customer Service},
booktitle = {Proceedings of the 6th Italian Workshop on Artificial Intelligence
and Robotics co-located with the {XVIII} International Conference
of the Italian Association for Artificial Intelligence (AI*IA 2019),
Rende, Italy, November 22, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2594},
pages = {1--5},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2594/short1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/DyoubCL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CostantiniF19,
author = {Stefania Costantini and
Andrea Formisano},
editor = {Mario Alviano and
Gianluigi Greco and
Francesco Scarcello},
title = {Augmenting Datalog\({}^{\mbox{{\(\pm\)}}}\) with Customizable Metalogic
Features for Powerful Ontological Reasoning},
booktitle = {AI*IA 2019 - Advances in Artificial Intelligence - XVIIIth International
Conference of the Italian Association for Artificial Intelligence,
Rende, Italy, November 19-22, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11946},
pages = {30--45},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35166-3\_3},
doi = {10.1007/978-3-030-35166-3\_3},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/CostantiniF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CostantiniP19,
author = {Stefania Costantini and
Valentina Pitoni},
editor = {Mario Alviano and
Gianluigi Greco and
Francesco Scarcello},
title = {Memory Management in Resource-Bounded Agents},
booktitle = {AI*IA 2019 - Advances in Artificial Intelligence - XVIIIth International
Conference of the Italian Association for Artificial Intelligence,
Rende, Italy, November 19-22, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11946},
pages = {46--58},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35166-3\_4},
doi = {10.1007/978-3-030-35166-3\_4},
timestamp = {Mon, 18 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CostantiniP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aike/CostantiniGM19,
author = {Stefania Costantini and
Giovanni De Gasperis and
Patrizio Migliarini},
title = {Multi-agent System Engineering for Emphatic Human-Robot Interaction},
booktitle = {2nd {IEEE} International Conference on Artificial Intelligence and
Knowledge Engineering, {AIKE} 2019, Sardinia, Italy, June 3-5, 2019},
pages = {36--42},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/AIKE.2019.00015},
doi = {10.1109/AIKE.2019.00015},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aike/CostantiniGM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniF19,
author = {Stefania Costantini and
Andrea Formisano},
editor = {Alberto Casagrande and
Eugenio G. Omodeo},
title = {Augmenting Knowledge Representation and Reasoning Languages with Customizable
Metalogic Features},
booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
Trieste, Italy, June 19-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2396},
pages = {14--29},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2396/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CostantiniF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniLO19,
author = {Stefania Costantini and
Francesca Alessandra Lisi and
Raffaele Olivieri},
editor = {Alberto Casagrande and
Eugenio G. Omodeo},
title = {DigForASP: {A} European Cooperation Network for Logic-based {AI} in
Digital Forensics},
booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
Trieste, Italy, June 19-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2396},
pages = {138--146},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2396/paper34.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CostantiniLO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniP19,
author = {Stefania Costantini and
Valentina Pitoni},
editor = {Alberto Casagrande and
Eugenio G. Omodeo},
title = {Reasoning about Memory Management in Resource-Bounded Agents},
booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
Trieste, Italy, June 19-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2396},
pages = {217--228},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2396/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CostantiniP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/DyoubCL19,
author = {Abeer Dyoub and
Stefania Costantini and
Francesca Alessandra Lisi},
editor = {Alberto Casagrande and
Eugenio G. Omodeo},
title = {Learning Answer Set Programming Rules For Ethical Machines},
booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
Trieste, Italy, June 19-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2396},
pages = {300--315},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2396/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/DyoubCL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/LauretisC19,
author = {Lorenzo De Lauretis and
Stefania Costantini},
editor = {Alberto Casagrande and
Eugenio G. Omodeo},
title = {An Ontology to Improve the First Aid Service Quality},
booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
Trieste, Italy, June 19-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2396},
publisher = {CEUR-WS.org},
year = {2019},
timestamp = {Tue, 02 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cilc/LauretisC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/DyoubCL19,
author = {Abeer Dyoub and
Stefania Costantini and
Francesca A. Lisi},
editor = {Dimitar Kazakov and
Can Erten},
title = {Towards an {ILP} Application in Machine Ethics},
booktitle = {Inductive Logic Programming - 29th International Conference, {ILP}
2019, Plovdiv, Bulgaria, September 3-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11770},
pages = {26--35},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-49210-6\_3},
doi = {10.1007/978-3-030-49210-6\_3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/DyoubCL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/CostantiniP19,
author = {Stefania Costantini and
Valentina Pitoni},
editor = {Matteo Baldoni and
Mehdi Dastani and
Beishui Liao and
Yuko Sakurai and
Rym Zalila{-}Wenkstern},
title = {{K-ACE:} {A} Flexible Environment for Knowledge-Aware Multi-Agent
Systems},
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 = {19--35},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33792-6\_2},
doi = {10.1007/978-3-030-33792-6\_2},
timestamp = {Mon, 28 Oct 2019 17:18:02 +0100},
biburl = {https://dblp.org/rec/conf/prima/CostantiniP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/LauretisCL19,
author = {Lorenzo De Lauretis and
Stefania Costantini and
Ivan Letteri},
title = {An ontology to improve the first aid service quality},
booktitle = {2019 {IEEE} International Conference on Systems, Man and Cybernetics,
{SMC} 2019, Bari, Italy, October 6-9, 2019},
pages = {1479--1483},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SMC.2019.8914460},
doi = {10.1109/SMC.2019.8914460},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smc/LauretisCL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08255,
author = {Abeer Dyoub and
Stefania Costantini and
Francesca A. Lisi},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Towards Ethical Machines Via Logic Programming},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {333--339},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.39},
doi = {10.4204/EPTCS.306.39},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08255.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08256,
author = {Valentina Pitoni and
Stefania Costantini},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {A Temporal Module for Logical Frameworks},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {340--346},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.40},
doi = {10.4204/EPTCS.306.40},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08256.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-09867,
author = {Stefania Costantini},
title = {About epistemic negation and world views in Epistemic Logic Programs},
journal = {CoRR},
volume = {abs/1907.09867},
year = {2019},
url = {http://arxiv.org/abs/1907.09867},
eprinttype = {arXiv},
eprint = {1907.09867},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-09867.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaose/CostantiniF18,
author = {Stefania Costantini and
Andrea Formisano},
title = {Augmenting agent computational environments with quantitative reasoning
modules and customisable bridge rules},
journal = {Int. J. Agent Oriented Softw. Eng.},
volume = {6},
number = {3/4},
pages = {245--274},
year = {2018},
url = {https://doi.org/10.1504/IJAOSE.2018.096415},
doi = {10.1504/IJAOSE.2018.096415},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijaose/CostantiniF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/DyoubCG18,
author = {Abeer Dyoub and
Stefania Costantini and
Giovanni De Gasperis},
title = {Answer set programming and agents},
journal = {Knowl. Eng. Rev.},
volume = {33},
pages = {e19},
year = {2018},
url = {https://doi.org/10.1017/S0269888918000164},
doi = {10.1017/S0269888918000164},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/DyoubCG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/CostantiniG18,
author = {Stefania Costantini and
Giovanni De Gasperis},
title = {Flexible Goal-Directed Agents' Behavior via {DALI} MASs and {ASP}
Modules},
booktitle = {2018 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
USA, March 26-28, 2018},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/SSS/SSS18/paper/view/17561},
timestamp = {Tue, 08 Jan 2019 14:37:15 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/CostantiniG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/CostantiniGDP18,
author = {Stefania Costantini and
Giovanni De Gasperis and
Abeer Dyoub and
Valentina Pitoni},
title = {Trustworthiness and Safety for Intelligent Ethical Logical Agents
via Interval Temporal Logic and Runtime Self-Checking},
booktitle = {2018 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
USA, March 26-28, 2018},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/SSS/SSS18/paper/view/17486},
timestamp = {Tue, 08 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/CostantiniGDP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CostantiniFP18,
author = {Stefania Costantini and
Andrea Formisano and
Valentina Pitoni},
editor = {Chiara Ghidini and
Bernardo Magnini and
Andrea Passerini and
Paolo Traverso},
title = {Timed Memory in Resource-Bounded Agents},
booktitle = {AI*IA 2018 - Advances in Artificial Intelligence - XVIIth International
Conference of the Italian Association for Artificial Intelligence,
Trento, Italy, November 20-23, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11298},
pages = {15--29},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03840-3\_2},
doi = {10.1007/978-3-030-03840-3\_2},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/CostantiniFP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniG18,
author = {Stefania Costantini and
Giovanni De Gasperis},
editor = {Paolo Felli and
Marco Montali},
title = {Dynamic Goal Decomposition and Planning in {MAS} for Highly Changing
Environments},
booktitle = {Proceedings of the 33rd Italian Conference on Computational Logic,
Bolzano, Italy, September 20-22, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2214},
pages = {40--54},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2214/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CostantiniG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniDP18,
author = {Stefania Costantini and
Abeer Dyoub and
Valentina Pitoni},
editor = {Paolo Felli and
Marco Montali},
title = {Towards Humanized Ethical Intelligent Agents: the role of Reflection
and Introspection},
booktitle = {Proceedings of the 33rd Italian Conference on Computational Logic,
Bolzano, Italy, September 20-22, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2214},
pages = {82--96},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2214/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CostantiniDP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CostantiniDP18,
author = {Stefania Costantini and
Abeer Dyoub and
Valentina Pitoni},
editor = {Claudia Schon},
title = {Reflection and Introspection for Humanized Intelligent Agents},
booktitle = {Proceedings of the fourth Workshop on Bridging the Gap between Human
and Automated Reasoningco-located with the 27th International Joint
Conference on Artificial Intelligence and the 23rd European Conference
on Artificial Intelligence {(IJCAI-ECAI} 2018), Stockholm, Schweden,
July 14, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2261},
pages = {19--26},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2261/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:31 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/CostantiniDP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/CostantiniGPS17,
author = {Stefania Costantini and
Giovanni De Gasperis and
Valentina Pitoni and
Agnese Salutari},
editor = {Dario Della Monica and
Aniello Murano and
Sasha Rubin and
Luigi Sauro},
title = {{DALI:} {A} Multi Agent System Framework for the Web, Cognitive Robotic
and Complex Event Processing},
booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
Science and the 32nd Italian Conference on Computational Logic co-located
with the 2017 {IEEE} International Workshop on Measurements and Networking
{(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1949},
pages = {286--300},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1949/CILCpaper05.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/CostantiniGPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CabalarCF17,
author = {Pedro Cabalar and
Stefania Costantini and
Andrea Formisano},
editor = {Bart Bogaerts and
Amelia Harrison},
title = {Multi-Context Systems: Dynamics and Evolution},
booktitle = {Proceedings of the 10th Workshop on Answer Set Programming and Other
Computing Paradigms co-located with the 14th International Conference
on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017,
Espoo, Finland, July 3, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1868},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1868/p1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:44 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/CabalarCF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/CostantiniGN17,
author = {Stefania Costantini and
Giovanni De Gasperis and
Giulio Nazzicone},
editor = {Yuliya Lierler and
Walid Taha},
title = {{DALI} for Cognitive Robotics: Principles and Prototype Implementation},
booktitle = {Practical Aspects of Declarative Languages - 19th International Symposium,
{PADL} 2017, Paris, France, January 16-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10137},
pages = {152--162},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51676-9\_10},
doi = {10.1007/978-3-319-51676-9\_10},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/CostantiniGN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2017s,
editor = {Nick Bassiliades and
Antonis Bikakis and
Stefania Costantini and
Enrico Franconi and
Adrian Giurca and
Roman Kontchakov and
Theodore Patkos and
Fariba Sadri and
William Van Woensel},
title = {Proceedings of the Doctoral Consortium, Challenge, Industry Track,
Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint
Conference on Rules and Reasoning 2017 (RuleML+RR 2017), London, UK,
July 11-15, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1875},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1875},
urn = {urn:nbn:de:0074-1875-8},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/2017s.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2017,
editor = {Stefania Costantini and
Enrico Franconi and
William Van Woensel and
Roman Kontchakov and
Fariba Sadri and
Dumitru Roman},
title = {Rules and Reasoning - International Joint Conference, RuleML+RR 2017,
London, UK, July 12-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10364},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61252-2},
doi = {10.1007/978-3-319-61252-2},
isbn = {978-3-319-61251-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CostantiniF16,
author = {Stefania Costantini and
Andrea Formisano},
title = {Query answering in resource-based answer set semantics},
journal = {Theory Pract. Log. Program.},
volume = {16},
number = {5-6},
pages = {619--635},
year = {2016},
url = {https://doi.org/10.1017/S1471068416000478},
doi = {10.1017/S1471068416000478},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/CostantiniF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CostantiniF16a,
author = {Stefania Costantini and
Andrea Formisano},
editor = {Nardine Osman and
Carles Sierra},
title = {Augmenting Agent Computational Environments with Quantitative Reasoning
Modules and Customizable Bridge Rules},
booktitle = {Autonomous Agents and Multiagent Systems - {AAMAS} 2016 Workshops,
- Visionary Papers - , Singapore, Singapore, May 9-10, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10003},
pages = {104--121},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46840-2\_7},
doi = {10.1007/978-3-319-46840-2\_7},
timestamp = {Thu, 08 Sep 2022 19:48:31 +0200},
biburl = {https://dblp.org/rec/conf/atal/CostantiniF16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CostantiniF16b,
author = {Stefania Costantini and
Andrea Formisano},
editor = {Matteo Baldoni and
J{\"{o}}rg P. M{\"{u}}ller and
Ingrid Nunes and
Rym Zalila{-}Wenkstern},
title = {Augmenting Agent Computational Environments with Quantitative Reasoning
Modules and Customizable Bridge Rules},
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 = {192--209},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-50983-9\_11},
doi = {10.1007/978-3-319-50983-9\_11},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/CostantiniF16b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CostantiniF16,
author = {Stefania Costantini and
Andrea Formisano},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {Budget-Constrained Reasoning in Agent Computational Environments:
(Extended Abstract)},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {1311--1312},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937135},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/CostantiniF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/CostantiniF16,
author = {Stefania Costantini and
Andrea Formisano},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {Multi-Context Systems in Time},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {1680--1681},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-1680},
doi = {10.3233/978-1-61499-672-9-1680},
timestamp = {Tue, 02 Nov 2021 15:59:05 +0100},
biburl = {https://dblp.org/rec/conf/ecai/CostantiniF16.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/ruleml/CostantiniG16,
author = {Stefania Costantini and
Giovanni De Gasperis},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Leopoldo E. Bertossi and
Guido Governatori and
Paul Fodor and
Dumitru Roman},
title = {Bridge Rules for Reasoning in Component-Based Heterogeneous Environments},
booktitle = {Rule Technologies. Research, Tools, and Applications - 10th International
Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9718},
pages = {97--112},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-42019-6\_7},
doi = {10.1007/978-3-319-42019-6\_7},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/CostantiniG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CostantiniF16,
author = {Stefania Costantini and
Andrea Formisano},
title = {Query Answering in Resource-Based Answer Set Semantics},
journal = {CoRR},
volume = {abs/1608.01604},
year = {2016},
url = {http://arxiv.org/abs/1608.01604},
eprinttype = {arXiv},
eprint = {1608.01604},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CostantiniF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CostantiniF15,
author = {Stefania Costantini and
Andrea Formisano},
title = {Negation as a Resource: a Novel View on Answer Set Semantics},
journal = {Fundam. Informaticae},
volume = {140},
number = {3-4},
pages = {279--305},
year = {2015},
url = {https://doi.org/10.3233/FI-2015-1255},
doi = {10.3233/FI-2015-1255},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CostantiniF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CostantiniG15,
author = {Stefania Costantini and
Federico Gobbo},
title = {Elio Lanzarone: a life for science},
journal = {J. Log. Comput.},
volume = {25},
number = {6},
pages = {1371--1378},
year = {2015},
url = {https://doi.org/10.1093/logcom/ext064},
doi = {10.1093/LOGCOM/EXT064},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CostantiniG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CaianielloCGT15,
author = {Pasquale Caianiello and
Stefania Costantini and
Giovanni De Gasperis and
Subhasis Thakur},
editor = {Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi},
title = {Cooperating with Trusted Parties Would Make Life Easier},
booktitle = {AI*IA 2015, Advances in Artificial Intelligence - XIVth International
Conference of the Italian Association for Artificial Intelligence,
Ferrara, Italy, September 23-25, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9336},
pages = {128--135},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24309-2\_10},
doi = {10.1007/978-3-319-24309-2\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/CaianielloCGT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/Costantini15,
author = {Stefania Costantini},
editor = {Matteo Baldoni and
Luciano Baresi and
Mehdi Dastani},
title = {{ACE:} {A} Flexible Environment for Complex Event Processing in Logical
Agents},
booktitle = {Engineering Multi-Agent Systems - Third International Workshop, {EMAS}
2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {9318},
pages = {70--91},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26184-3\_5},
doi = {10.1007/978-3-319-26184-3\_5},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/atal/Costantini15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniGO15,
author = {Stefania Costantini and
Giovanni De Gasperis and
Raffaele Olivieri},
editor = {Davide Ancona and
Marco Maratea and
Viviana Mascardi},
title = {How Answer Set Programming can help in digital forensic investigation},
booktitle = {Proceedings of the 30th Italian Conference on Computational Logic,
Genova, Italy, July 1-3, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1459},
pages = {53--65},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1459/paper29.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CostantiniGO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcai/CostantiniGN15,
author = {Stefania Costantini and
Giovanni De Gasperis and
Giulio Nazzicone},
editor = {Sigeru Omatu and
Qutaibah M. Malluhi and
Sara Rodr{\'{\i}}guez{-}Gonz{\'{a}}lez and
Grzegorz Bocewicz and
Edgardo Bucciarelli and
Gianfranco Giulioni and
Farkhund Iqbal},
title = {Exploration of Unknown Territory via {DALI} Agents and {ASP} Modules},
booktitle = {Distributed Computing and Artificial Intelligence, 12th International
Conference, {DCAI} 2015, Salamanca, Spain, June 3-5, 2015},
series = {Advances in Intelligent Systems and Computing},
volume = {373},
pages = {285--292},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19638-1\_33},
doi = {10.1007/978-3-319-19638-1\_33},
timestamp = {Tue, 15 Nov 2022 15:22:37 +0100},
biburl = {https://dblp.org/rec/conf/dcai/CostantiniGN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Costantini15,
author = {Stefania Costantini},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous
Environments},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {228--241},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_20},
doi = {10.1007/978-3-319-23264-5\_20},
timestamp = {Sun, 02 Jun 2019 21:23:45 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Costantini15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CostantiniGO15,
author = {Stefania Costantini and
Giovanni De Gasperis and
Raffaele Olivieri},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {Digital Forensics Evidence Analysis: An Answer Set Programming Approach
for Generating Investigation Hypotheses},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {242--249},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_21},
doi = {10.1007/978-3-319-23264-5\_21},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/CostantiniGO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/CostantiniG15,
author = {Stefania Costantini and
Giovanni De Gasperis},
editor = {Nick Bassiliades and
Paul Fodor and
Adrian Giurca and
Georg Gottlob and
Tom{\'{a}}s Kliegr and
Grzegorz J. Nalepa and
Monica Palmirani and
Adrian Paschke and
Mark Proctor and
Dumitru Roman and
Fariba Sadri and
Nenad Stojanovic},
title = {Exchanging Data and Ontological Definitions in Multi-Agent-Contexts
Systems},
booktitle = {Proceedings of the RuleML 2015 Challenge, the Special Track on Rule-based
Recommender Systems for the Web of Data, the Special Industry Track
and the RuleML 2015 Doctoral Consortium hosted by the 9th International
Web Rule Symposium (RuleML 2015), Berlin, Germany, August 2-5, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1417},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1417/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/CostantiniG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CostantiniR14,
author = {Stefania Costantini and
R{\'{e}}gis Riveret},
editor = {Ana L. C. Bazzan and
Michael N. Huhns and
Alessio Lomuscio and
Paul Scerri},
title = {Event-action modules for complex reactivity in logical agents},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '14, Paris, France, May 5-9, 2014},
pages = {1503--1504},
publisher = {{IFAAMAS/ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2616033},
timestamp = {Thu, 25 Sep 2014 07:46:15 +0200},
biburl = {https://dblp.org/rec/conf/atal/CostantiniR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniF14,
author = {Stefania Costantini and
Andrea Formisano},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Query Answering in Resource-Based Answer Set Semantics},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {69--83},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CostantiniF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniG14,
author = {Stefania Costantini and
Giovanni De Gasperis},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of
Logical Agent Systems},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {241--255},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long16.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CostantiniG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniR14,
author = {Stefania Costantini and
R{\'{e}}gis Riveret},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Complex Events and Actions in Logical Agents},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {256--271},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long17.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CostantiniR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrignoliCDP14,
author = {Gianpaolo Brignoli and
Stefania Costantini and
Ottavio M. D'Antona and
Alessandro Provetti},
title = {Characterizing and computing stable models of logic programs: The
non-stratified case},
journal = {CoRR},
volume = {abs/1402.5436},
year = {2014},
url = {http://arxiv.org/abs/1402.5436},
eprinttype = {arXiv},
eprint = {1402.5436},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrignoliCDP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Costantini14,
author = {Stefania Costantini},
title = {Towards Active Logic Programming},
journal = {CoRR},
volume = {abs/1403.5508},
year = {2014},
url = {http://arxiv.org/abs/1403.5508},
eprinttype = {arXiv},
eprint = {1403.5508},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Costantini14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Costantini14a,
author = {Stefania Costantini},
title = {Committment-Based Data-Aware Multi-Agent-Contexts Systems},
journal = {CoRR},
volume = {abs/1410.2063},
year = {2014},
url = {http://arxiv.org/abs/1410.2063},
eprinttype = {arXiv},
eprint = {1410.2063},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Costantini14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CostantiniF13,
author = {Stefania Costantini and
Andrea Formisano},
title = {Nested Weight Constraints in {ASP}},
journal = {Fundam. Informaticae},
volume = {124},
number = {4},
pages = {449--464},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-843},
doi = {10.3233/FI-2013-843},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CostantiniF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijimai/CaianielloCGL13,
author = {Pasquale Caianiello and
Stefania Costantini and
Giovanni De Gasperis and
Mario Gimenez De Lorenzo},
title = {Application of Hybrid Agents to Smart Energy Management of a Prosumer
Node},
journal = {Int. J. Interact. Multim. Artif. Intell.},
volume = {2},
number = {4},
pages = {60--66},
year = {2013},
url = {https://doi.org/10.9781/ijimai.2013.247},
doi = {10.9781/IJIMAI.2013.247},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijimai/CaianielloCGL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/CostantiniF13,
author = {Stefania Costantini and
Andrea Formisano},
title = {{RASP} and {ASP} as a fragment of linear logic},
journal = {J. Appl. Non Class. Logics},
volume = {23},
number = {1-2},
pages = {49--74},
year = {2013},
url = {https://doi.org/10.1080/11663081.2013.798997},
doi = {10.1080/11663081.2013.798997},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/CostantiniF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/Costantini13,
author = {Stefania Costantini},
editor = {Maria L. Gini and
Onn Shehory and
Takayuki Ito and
Catholijn M. Jonker},
title = {Self-checking logical agents},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '13, Saint Paul, MN, USA, May 6-10, 2013},
pages = {1329--1330},
publisher = {{IFAAMAS}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2485208},
timestamp = {Thu, 09 Sep 2021 16:09:54 +0200},
biburl = {https://dblp.org/rec/conf/atal/Costantini13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniF13,
author = {Stefania Costantini and
Andrea Formisano},
editor = {Domenico Cantone and
Marianna Nicolosi Asmundo},
title = {Negation as a Resource: a Novel View on Answer Set Semantics},
booktitle = {Proceedings of the 28th Italian Conference on Computational Logic,
Catania, Italy, September 25-27, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1068},
pages = {17--31},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1068/paper-l01.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CostantiniF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniGFZ13,
author = {Stefania Costantini and
Giovanni De Gasperis and
Niva Florio and
Claudia Zuppella},
editor = {Domenico Cantone and
Marianna Nicolosi Asmundo},
title = {An ASP-based System for Preference Handling and Planning},
booktitle = {Proceedings of the 28th Italian Conference on Computational Logic,
Catania, Italy, September 25-27, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1068},
pages = {253--257},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1068/paper-s05.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CostantiniGFZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcai/CaianielloCGFG13,
author = {Pasquale Caianiello and
Stefania Costantini and
Giovanni De Gasperis and
Niva Florio and
Federico Gobbo},
editor = {Sigeru Omatu and
Jos{\'{e}} Neves and
Juan M. Corchado Rodr{\'{\i}}guez and
Juan F. De Paz Santana and
Sara Rodr{\'{\i}}guez{-}Gonz{\'{a}}lez},
title = {Application of Hybrid Agents to Smart Energy Management of a Prosumer
Node},
booktitle = {Distributed Computing and Artificial Intelligence - 10th International
Conference, {DCAI} 2013, Salamanca, Spain, May 22-24, 2013},
series = {Advances in Intelligent Systems and Computing},
volume = {217},
pages = {597--607},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-00551-5\_71},
doi = {10.1007/978-3-319-00551-5\_71},
timestamp = {Tue, 15 Nov 2022 15:22:37 +0100},
biburl = {https://dblp.org/rec/conf/dcai/CaianielloCGFG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CostantiniF13,
author = {Stefania Costantini and
Andrea Formisano},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Negation as a Resource: {A} Novel View on Answer Set Semantics},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {257--263},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_26},
doi = {10.1007/978-3-642-40564-8\_26},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/CostantiniF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CostantiniDGFT12,
author = {Stefania Costantini and
Annalisa D'Andrea and
Giovanni De Gasperis and
Niva Florio and
Arianna Tocchio},
editor = {Matteo Baldoni and
Federico Chesani and
Bernardo Magnini and
Paola Mello and
Marco Montali},
title = {{DALI} Logical Agents into Play},
booktitle = {Popularize Artificial Intelligence, Proceedings of the AI*IA Workshop
and Prize for Celebrating 100th Anniversary of Alan Turing's Birth,
Rome, Italy, June 15, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {860},
pages = {79--85},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-860/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CostantiniDGFT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CostantiniFP12,
author = {Stefania Costantini and
Andrea Formisano and
David Pearce},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Strong Equivalence of {RASP} Programs},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {149--163},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_11},
doi = {10.1007/978-3-642-30743-0\_11},
timestamp = {Fri, 15 Jan 2021 08:33:38 +0100},
biburl = {https://dblp.org/rec/conf/birthday/CostantiniFP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniF12,
author = {Stefania Costantini and
Andrea Formisano},
editor = {Francesca A. Lisi},
title = {Preferences and Priorities in {ASP}},
booktitle = {Proceedings of the 9th Italian Convention on Computational Logic,
Rome, Italy, June 6-7, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {857},
pages = {47--58},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-857/paper\_f04.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CostantiniF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniT12,
author = {Stefania Costantini and
Panagiota Tsintza},
editor = {Francesca A. Lisi},
title = {Temporal Meta-Axioms in Logical Agents},
booktitle = {Proceedings of the 9th Italian Convention on Computational Logic,
Rome, Italy, June 6-7, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {857},
pages = {59--73},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-857/paper\_f05.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CostantiniT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/Costantini12,
author = {Stefania Costantini},
editor = {Mauricio Osorio and
Claudia Zepeda and
Iv{\'{a}}n Olmos and
Jos{\'{e}} Luis Carballido and
R. Carolina Medina Ram{\'{\i}}rez},
title = {Self-checking Logical Agents},
booktitle = {Proceedings of the Eighth Latin American Workshop on Logic / Languages,
Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, M{\'{e}}xico,
D.F., September 10-11, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {911},
pages = {3--30},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-911/01\_LANMR12.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/lanmr/Costantini12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paams/BevarCTG12,
author = {Vincenzo Bevar and
Stefania Costantini and
Arianna Tocchio and
Giovanni De Gasperis},
editor = {Yves Demazeau and
J{\"{o}}rg P. M{\"{u}}ller and
Juan M. Corchado Rodr{\'{\i}}guez and
Javier Bajo P{\'{e}}rez},
title = {A Multi-Agent System for Industrial Fault Detection and Repair},
booktitle = {Advances on Practical Applications of Agents and Multi-Agent Systems
- 10th International Conference on Practical Applications of Agents
and Multi-Agent Systems, {PAAMS} 2012, Salamanca, Spain, 28-30 March,
2012},
series = {Advances in Intelligent and Soft Computing},
volume = {155},
pages = {47--55},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28786-2\_5},
doi = {10.1007/978-3-642-28786-2\_5},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paams/BevarCTG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paams/GasperisBCTP12,
author = {Giovanni De Gasperis and
Vincenzo Bevar and
Stefania Costantini and
Arianna Tocchio and
Alessio Paolucci},
editor = {Yves Demazeau and
J{\"{o}}rg P. M{\"{u}}ller and
Juan M. Corchado Rodr{\'{\i}}guez and
Javier Bajo P{\'{e}}rez},
title = {Demonstrator of a Multi-Agent System for Industrial Fault Detection
and Repair},
booktitle = {Advances on Practical Applications of Agents and Multi-Agent Systems
- 10th International Conference on Practical Applications of Agents
and Multi-Agent Systems, {PAAMS} 2012, Salamanca, Spain, 28-30 March,
2012},
series = {Advances in Intelligent and Soft Computing},
volume = {155},
pages = {237--240},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28786-2\_28},
doi = {10.1007/978-3-642-28786-2\_28},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paams/GasperisBCTP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/CostantiniG12,
author = {Stefania Costantini and
Giovanni De Gasperis},
editor = {Antonis Bikakis and
Adrian Giurca},
title = {Complex Reactivity with Preferences in Rule-Based Agents},
booktitle = {Rules on the Web: Research and Applications - 6th International Symposium,
RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7438},
pages = {167--181},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32689-9\_13},
doi = {10.1007/978-3-642-32689-9\_13},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/CostantiniG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/CostantiniPTT11,
author = {Stefania Costantini and
Alessio Paolucci and
Arianna Tocchio and
Panagiota Tsintza},
title = {DALI, RASP, mnemosine: Computational Logic at work},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {107--111},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0012},
doi = {10.3233/IA-2011-0012},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/CostantiniPTT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/CostantiniF11,
author = {Stefania Costantini and
Andrea Formisano},
title = {Augmenting Weight Constraints with Complex Preferences},
booktitle = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
{AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
USA, March 21-23, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2433},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaaiss/CostantiniF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Costantini11,
author = {Stefania Costantini},
editor = {Marcello Balduccini and
Tran Cao Son},
title = {Michael Gelfond: Essay in Honour of His 65th Birthday},
booktitle = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
- Essays Dedicated to Michael Gelfond on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {6565},
pages = {344--346},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20832-4\_22},
doi = {10.1007/978-3-642-20832-4\_22},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Costantini11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniFP11,
author = {Stefania Costantini and
Niva Florio and
Alessio Paolucci},
editor = {Fabio Fioravanti},
title = {A framework for structured knowledge extraction and representation
from natural language via deep sentence analysis},
booktitle = {Proceedings of the 26th Italian Conference on Computational Logic,
Pescara, Italy, August 31 - September 2, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {810},
pages = {297--310},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-810/paper-l18.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CostantiniFP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniF11,
author = {Stefania Costantini and
Andrea Formisano},
editor = {Fabio Fioravanti},
title = {Nested Weight Constraints in {ASP}},
booktitle = {Proceedings of the 26th Italian Conference on Computational Logic,
Pescara, Italy, August 31 - September 2, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {810},
pages = {371--383},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-810/paper-s06.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CostantiniF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gkr/CostantiniP11,
author = {Stefania Costantini and
Alessandro Provetti},
editor = {Madalina Croitoru and
Sebastian Rudolph and
Nic Wilson and
John Howse and
Olivier Corby},
title = {Conflict, Consistency and Truth-Dependencies in Graph Representations
of Answer Set Logic Programs},
booktitle = {Graph Structures for Knowledge Representation and Reasoning - Second
International Workshop, {GKR} 2011, Barcelona, Spain, July 16, 2011.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7205},
pages = {68--90},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29449-5\_3},
doi = {10.1007/978-3-642-29449-5\_3},
timestamp = {Mon, 03 Jan 2022 22:26:13 +0100},
biburl = {https://dblp.org/rec/conf/gkr/CostantiniP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/CostantiniFP11,
author = {Stefania Costantini and
Niva Florio and
Alessio Paolucci},
editor = {Joaquim Filipe and
Ana L. N. Fred},
title = {A Framework for Structured Knowledge Extraction and Representation
from Natural Language through Deep Sentence Analysis},
booktitle = {{KDIR} 2011 - Proceedings of the International Conference on Knowledge
Discovery and Information Retrieval, Paris, France, 26-29 October,
2011},
pages = {282--287},
publisher = {SciTePress},
year = {2011},
timestamp = {Fri, 04 May 2012 14:53:05 +0200},
biburl = {https://dblp.org/rec/conf/ic3k/CostantiniFP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/Costantini11,
author = {Stefania Costantini},
editor = {Mauricio Osorio and
Claudia Zepeda and
Iv{\'{a}}n Olmos and
Jos{\'{e}} Luis Carballido and
Jos{\'{e}} Arrazola and
Carolina Medina},
title = {Defining and Maintaining Agent's Experience in Logical Agents},
booktitle = {Proceedings of the Seventh Latin American Workshop on Non-Monotonic
Reasoning, {LANMR} 2011, Toluca, Estado de M{\'{e}}xico, M{\'{e}}xico,
November 7-8, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {804},
pages = {151--165},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-804/15\_LANMR11.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/lanmr/Costantini11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CostantiniF11,
author = {Stefania Costantini and
Andrea Formisano},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {Weight Constraints with Preferences in {ASP}},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International
Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {229--235},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_24},
doi = {10.1007/978-3-642-20895-9\_24},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/CostantiniF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/CostantiniDP11,
author = {Stefania Costantini and
Pierangelo Dell'Acqua and
Lu{\'{\i}}s Moniz Pereira},
editor = {Nick Bassiliades and
Guido Governatori and
Adrian Paschke},
title = {Conditional Learning of Rules and Plans by Knowledge Exchange in Logical
Agents},
booktitle = {Rule-Based Reasoning, Programming, and Applications - 5th International
Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6826},
pages = {250--265},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22546-8\_20},
doi = {10.1007/978-3-642-22546-8\_20},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/CostantiniDP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aepia/CostantiniP10,
author = {Stefania Costantini and
Alessandro Provetti},
title = {A Lower Bound for Answer Set Solver Computation},
journal = {Inteligencia Artif.},
volume = {14},
number = {48},
pages = {41--52},
year = {2010},
url = {http://journal.iberamia.org/index.php/ia/article/view/661/article\%20\%281\%29.pdf},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aepia/CostantiniP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CostantiniFP10,
author = {Stefania Costantini and
Andrea Formisano and
Davide Petturiti},
title = {Extending and Implementing {RASP}},
journal = {Fundam. Informaticae},
volume = {105},
number = {1-2},
pages = {1--33},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-356},
doi = {10.3233/FI-2010-356},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CostantiniFP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CostantiniF10,
author = {Stefania Costantini and
Andrea Formisano},
title = {Answer Set Programming with Resources},
journal = {J. Log. Comput.},
volume = {20},
number = {2},
pages = {533--571},
year = {2010},
url = {https://doi.org/10.1093/logcom/exp071},
doi = {10.1093/LOGCOM/EXP071},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CostantiniF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniP10,
author = {Stefania Costantini and
Alessio Paolucci},
editor = {Wolfgang Faber and
Nicola Leone},
title = {Towards Translating Natural Language Sentences into {ASP}},
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/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CostantiniP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/CostantiniT10,
author = {Stefania Costantini and
Arianna Tocchio},
editor = {J{\"{u}}rgen Dix and
Jo{\~{a}}o Leite and
Guido Governatori and
Wojtek Jamroga},
title = {A Dialogue Games Framework for the Operational Semantics of Logic
Agent-Oriented Languages},
booktitle = {Computational Logic in Multi-Agent Systems, 11th International Workshop,
{CLIMA} XI, Lisbon, Portugal, August 16-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6245},
pages = {238--255},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14977-1\_18},
doi = {10.1007/978-3-642-14977-1\_18},
timestamp = {Fri, 07 Aug 2020 08:55:19 +0200},
biburl = {https://dblp.org/rec/conf/clima/CostantiniT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/CostantiniDPT10,
author = {Stefania Costantini and
Pierangelo Dell'Acqua and
Lu{\'{\i}}s Moniz Pereira and
Arianna Tocchio},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Ensuring Agent Properties under Arbitrary Sequences of Incoming Events},
booktitle = {Proceedings of the 17th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR
2010, Bologna, Italy, June 10-11, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {616},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-616/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:31 +0100},
biburl = {https://dblp.org/rec/conf/cpaior/CostantiniDPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Costantini10,
author = {Stefania Costantini},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Answer Set Modules for Logical Agents},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {37--58},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_3},
doi = {10.1007/978-3-642-24206-9\_3},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/datalog/Costantini10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/CostantiniF09,
author = {Stefania Costantini and
Andrea Formisano},
title = {Modeling preferences and conditional preferences on resource consumption
and production in {ASP}},
journal = {J. Algorithms},
volume = {64},
number = {1},
pages = {3--15},
year = {2009},
url = {https://doi.org/10.1016/j.jalgor.2009.02.002},
doi = {10.1016/J.JALGOR.2009.02.002},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jal/CostantiniF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CostantiniW09,
author = {Stefania Costantini and
Richard Watson},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {19},
number = {4},
pages = {537--538},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn037},
doi = {10.1093/LOGCOM/EXN037},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CostantiniW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/CostantiniP09,
author = {Stefania Costantini and
Alessandro Provetti},
editor = {Mauricio Osorio and
Claudia Zepeda and
Iv{\'{a}}n Olmos and
Carolina Medina and
Jos{\'{e}} Arrazola},
title = {A Lower-Bound for Answer Set Solver Computation},
booktitle = {Proceedings of the Fifth Latin American Workshop on Non-Monotonic
Reasoning 2009 (LANMR'09) , Facultad de Ciencias B{\'{a}}sicas,
Ingenier{\'{\i}}a y Tecnolog{\'{\i}}a , Universidad Aut{\'{o}}noma
de Tlaxcala {(UAT)} , Apizaco, Tlaxcala, M{\'{e}}xico, November
5-6, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {533},
pages = {183--198},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-533/15\_LANMR09\_12.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/lanmr/CostantiniP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Costantini09,
author = {Stefania Costantini},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Integrating Answer Set Modules into Agent Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {613--615},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_67},
doi = {10.1007/978-3-642-04238-6\_67},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Costantini09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/CostantiniMTT08,
author = {Stefania Costantini and
Leonardo Mostarda and
Arianna Tocchio and
Panagiota Tsintza},
title = {{DALICA:} Agent-Based Ambient Intelligence for Cultural-Heritage Scenarios},
journal = {{IEEE} Intell. Syst.},
volume = {23},
number = {2},
pages = {34--41},
year = {2008},
url = {https://doi.org/10.1109/MIS.2008.24},
doi = {10.1109/MIS.2008.24},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/expert/CostantiniMTT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/CostantiniT08,
author = {Stefania Costantini and
Arianna Tocchio},
title = {{DALI:} An Architecture for Intelligent Logical Agents},
booktitle = {Architectures for Intelligent Theory-Based Agents, Papers from the
2008 {AAAI} Spring Symposium, Technical Report SS-08-02, Stanford,
California, USA, March 26-28, 2008},
pages = {13--18},
publisher = {{AAAI}},
year = {2008},
url = {http://www.aaai.org/Library/Symposia/Spring/2008/ss08-02-003.php},
timestamp = {Fri, 17 Feb 2012 14:17:25 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/CostantiniT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CostantiniPTT08,
author = {Stefania Costantini and
Alessio Paolucci and
Arianna Tocchio and
Panagiota Tsintza},
editor = {Matteo Baldoni and
Cristina Baroglio},
title = {DALI, RASP, Mnemosine: Computational Logic at Work},
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/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:22 +0100},
biburl = {https://dblp.org/rec/conf/birthday/CostantiniPTT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/CostantiniTT08,
author = {Stefania Costantini and
Arianna Tocchio and
Panagiota Tsintza},
editor = {Michael Fisher and
Fariba Sadri and
Michael Thielscher},
title = {Contracts Violation: Justification via Argumentation},
booktitle = {Computational Logic in Multi-Agent Systems, 9th International Workshop,
{CLIMA} IX, Dresden, Germany, September 29-30, 2008. Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5405},
pages = {132--153},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-02734-5\_9},
doi = {10.1007/978-3-642-02734-5\_9},
timestamp = {Fri, 25 Dec 2020 01:14:19 +0100},
biburl = {https://dblp.org/rec/conf/clima/CostantiniTT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/CostantiniF08,
author = {Stefania Costantini and
Andrea Formisano},
editor = {Mauricio Osorio and
Iv{\'{a}}n Olmos},
title = {Conditional preferences in {P-RASP}},
booktitle = {Proceedings of the fourth Latin American Workshop on Non-Monotonic
Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computaci{\'{o}}n
de la Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla,
Puebla, M{\'{e}}xico, October 22-24, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {408},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-408/Paper11.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/lanmr/CostantiniF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/CostantiniTD07,
author = {Stefania Costantini and
Arianna Tocchio and
Pierangelo Dell'Acqua},
title = {Expressing Preferences Declaratively in Logic-based Agent Languages},
booktitle = {Logical Formalizations of Commonsense Reasoning, Papers from the 2007
{AAAI} Spring Symposium, Technical Report SS-07-05, Stanford, California,
USA, March 26-28, 2007},
pages = {41--46},
publisher = {{AAAI}},
year = {2007},
url = {http://www.aaai.org/Library/Symposia/Spring/2007/ss07-05-008.php},
timestamp = {Fri, 17 Feb 2012 14:14:44 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/CostantiniTD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CostantiniTTT07,
author = {Stefania Costantini and
Arianna Tocchio and
Francesca Toni and
Panagiota Tsintza},
editor = {Roberto Basili and
Maria Teresa Pazienza},
title = {A Multi-layered General Agent Model},
booktitle = {AI*IA 2007: Artificial Intelligence and Human-Oriented Computing,
10th Congress of the Italian Association for Artificial Intelligence,
Rome, Italy, September 10-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4733},
pages = {121--132},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74782-6\_12},
doi = {10.1007/978-3-540-74782-6\_12},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/CostantiniTTT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/CostantiniTT07,
author = {Stefania Costantini and
Arianna Tocchio and
Panagiota Tsintza},
editor = {Fariba Sadri and
Ken Satoh},
title = {A Heuristic Approach to {P2P} Negotiation},
booktitle = {Computational Logic in Multi-Agent Systems, 8th International Workshop,
{CLIMA} VIII, Porto, Portugal, September 10-11, 2007. Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5056},
pages = {177--192},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-88833-8\_10},
doi = {10.1007/978-3-540-88833-8\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/clima/CostantiniTT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifiptm/MostardaTIC07,
author = {Leonardo Mostarda and
Arianna Tocchio and
Paola Inverardi and
Stefania Costantini},
editor = {Sandro Etalle and
Stephen Marsh},
title = {A Geo Time Authentication System},
booktitle = {Trust Management - Proceedings of {IFIPTM} 2007: Joint iTrust and
{PST} Conferences on Privacy, Trust Management and Security, July
30- August 2, 2007, Moncton, New Brunswick, Canada},
series = {{IFIP}},
volume = {238},
pages = {123--138},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-0-387-73655-6\_9},
doi = {10.1007/978-0-387-73655-6\_9},
timestamp = {Tue, 29 Dec 2020 11:03:37 +0100},
biburl = {https://dblp.org/rec/conf/ifiptm/MostardaTIC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/CostantiniMTT07,
author = {Stefania Costantini and
Leonardo Mostarda and
Arianna Tocchio and
Panagiota Tsintza},
title = {{DALICA:} Intelligent Agents for User Profile Deduction},
booktitle = {Proceedings of the Nineteenth International Conference on Software
Engineering {\&} Knowledge Engineering (SEKE'2007), Boston, Massachusetts,
USA, July 9-11, 2007},
pages = {660},
publisher = {Knowledge Systems Institute Graduate School},
year = {2007},
timestamp = {Thu, 12 Mar 2020 11:30:50 +0100},
biburl = {https://dblp.org/rec/conf/seke/CostantiniMTT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/CostantiniTTM07,
author = {Stefania Costantini and
Arianna Tocchio and
Panagiota Tsintza and
Leonardo Mostarda},
editor = {Matteo Baldoni and
Antonio Boccalatte and
Flavio De Paoli and
Maurizio Martelli and
Viviana Mascardi},
title = {Agents and Security in a Cultural Assets Transport Scenario},
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 = {78--86},
publisher = {Seneca Edizioni Torino},
year = {2007},
url = {http://woa07.disi.unige.it/papers/AgentSecurity.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/CostantiniTTM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Costantini06,
author = {Stefania Costantini},
title = {On the existence of stable models of non-stratified logic programs},
journal = {Theory Pract. Log. Program.},
volume = {6},
number = {1-2},
pages = {169--212},
year = {2006},
url = {https://doi.org/10.1017/S1471068405002589},
doi = {10.1017/S1471068405002589},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Costantini06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/CostantiniDT06,
author = {Stefania Costantini and
Pierangelo Dell'Acqua and
Arianna Tocchio},
editor = {Flavio De Paoli and
Antonella Di Stefano and
Andrea Omicini and
Corrado Santoro},
title = {Expressing preferences declaratively in logic-based agent languages},
booktitle = {Proceedings of the 7th {WOA} 2006 Workshop, From Objects to Agents
(Dagli Oggetti Agli Agenti), Catania, Italy, September 26-27, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {204},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-204/P05.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:40 +0100},
biburl = {https://dblp.org/rec/conf/woa/CostantiniDT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/CostantiniTV05,
author = {Stefania Costantini and
Arianna Tocchio and
Alessia Verticchio},
title = {Communication and trust in the {DALI} logic programming agent-oriented
language},
journal = {Intelligenza Artificiale},
volume = {2},
number = {1},
pages = {39--46},
year = {2005},
timestamp = {Thu, 21 Apr 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/CostantiniTV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CostantiniP05,
author = {Stefania Costantini and
Alessandro Provetti},
title = {Normal forms for answer sets programming},
journal = {Theory Pract. Log. Program.},
volume = {5},
number = {6},
pages = {747--760},
year = {2005},
url = {https://doi.org/10.1017/S1471068404002339},
doi = {10.1017/S1471068404002339},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CostantiniP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/CostantiniT05,
author = {Stefania Costantini and
Arianna Tocchio},
editor = {Matteo Baldoni and
Ulle Endriss and
Andrea Omicini and
Paolo Torroni},
title = {About Declarative Semantics of Logic-Based Agent Languages},
booktitle = {Declarative Agent Languages and Technologies III, Third International
Workshop, {DALT} 2005, Utrecht, The Netherlands, July 25, 2005, Selected
and Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3904},
pages = {106--123},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11691792\_7},
doi = {10.1007/11691792\_7},
timestamp = {Fri, 27 Mar 2020 08:51:13 +0100},
biburl = {https://dblp.org/rec/conf/dalt/CostantiniT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/CostantiniT05,
author = {Stefania Costantini and
Arianna Tocchio},
editor = {Flavio Corradini and
Flavio De Paoli and
Emanuela Merelli and
Andrea Omicini},
title = {Learning by Knowledge Exchange in Logical 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 = {1--8},
publisher = {Pitagora Editrice Bologna},
year = {2005},
url = {http://lia.deis.unibo.it/books/woa2005/papers/1.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/CostantiniT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/CostantiniT04,
author = {Stefania Costantini and
Arianna Tocchio},
editor = {J{\"{u}}rgen Dix and
Jo{\~{a}}o Alexandre Leite},
title = {Planning Experiments in the {DALI} Logic Programming Language},
booktitle = {Computational Logic in Multi-Agent Systems, 4th International Workshop,
{CLIMA} IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3259},
pages = {89--107},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30200-1\_6},
doi = {10.1007/978-3-540-30200-1\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/clima/CostantiniT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/CostantiniT04,
author = {Stefania Costantini and
Arianna Tocchio},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite},
title = {The {DALI} Logic Programming Agent-Oriented Language},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3229},
pages = {685--688},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_57},
doi = {10.1007/978-3-540-30227-8\_57},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/CostantiniT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/Costantini04,
author = {Stefania Costantini},
editor = {Mauricio Osorio and
Alessandro Provetti},
title = {Component-Based Answer Set Programming},
booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of
the 1st Intl. {LA-NMR04} Workshop, Antiguo Colegio de San Ildefonso,
Mexico City, {D.F} , Mexico, April 26th 2004},
series = {{CEUR} Workshop Proceedings},
volume = {92},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-92/costantini.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/lanmr/Costantini04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/TocchioCV04,
author = {Arianna Tocchio and
Stefania Costantini and
Alessia Verticchio},
editor = {Matteo Baldoni and
Flavio De Paoli and
Alberto Martelli and
Andrea Omicini},
title = {A Game-Theoretic Operational Semantics},
booktitle = {{WOA} 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop
"From Objects to Agents": Complex Systems and Rational Agents, 30
November - 1 December 2004, Torino, Italy},
pages = {13--21},
publisher = {Pitagora Editrice Bologna},
year = {2004},
timestamp = {Mon, 17 Jan 2005 15:51:59 +0100},
biburl = {https://dblp.org/rec/conf/woa/TocchioCV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0412105,
author = {Stefania Costantini},
title = {On the existence of stable models of non-stratified logic programs},
journal = {CoRR},
volume = {abs/cs/0412105},
year = {2004},
url = {http://arxiv.org/abs/cs/0412105},
eprinttype = {arXiv},
eprint = {cs/0412105},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0412105.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0410014,
author = {Stefania Costantini and
Alessandro Provetti},
title = {Normal forms for Answer Sets Programming},
journal = {CoRR},
volume = {cs.AI/0410014},
year = {2004},
url = {http://arxiv.org/abs/cs.AI/0410014},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0410014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/CostantiniFO03,
author = {Stefania Costantini and
Andrea Formisano and
Eugenio G. Omodeo},
editor = {Francesco Buccafurri},
title = {Mappings Between Domain Models in Answer Set Programming},
booktitle = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio
Calabria, Italy, September 3-5, 2003},
pages = {147--158},
year = {2003},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agp/CostantiniFO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/CostantiniFO03,
author = {Stefania Costantini and
Andrea Formisano and
Eugenio G. Omodeo},
editor = {Marina De Vos and
Alessandro Provetti},
title = {Mappings Between Domain Models in Answer Set Programming},
booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28,
2003},
series = {{CEUR} Workshop Proceedings},
volume = {78},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-78/asp03-final-costantini.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/asp/CostantiniFO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/context/CostantiniT03,
author = {Stefania Costantini and
Arianna Tocchio},
editor = {Patrick Blackburn and
Chiara Ghidini and
Roy M. Turner and
Fausto Giunchiglia},
title = {Context-Based Commonsense Reasoning in the {DALI} Logic Programming
Language},
booktitle = {Modeling and Using Context, 4th International and Interdisciplinary
Conference, {CONTEXT} 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2680},
pages = {443--450},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44958-2\_36},
doi = {10.1007/3-540-44958-2\_36},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/context/CostantiniT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/CastaldiCGT03,
author = {Marco Castaldi and
Stefania Costantini and
Stefano Gentile and
Arianna Tocchio},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Leon Sterling and
Paolo Torroni},
title = {A Logic-Based Infrastructure for Reconfiguring Applications},
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 = {17--36},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25932-9\_2},
doi = {10.1007/978-3-540-25932-9\_2},
timestamp = {Fri, 27 Mar 2020 08:51:13 +0100},
biburl = {https://dblp.org/rec/conf/dalt/CastaldiCGT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/CostantiniT03,
author = {Stefania Costantini and
Arianna Tocchio},
editor = {Giuliano Armano and
Flavio De Paoli and
Andrea Omicini and
Eloisa Vargiu},
title = {Strips-like Planning in the {DALI} Logic Programmming Language},
booktitle = {{WOA} 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop
"From Objects to Agents": Intelligent Systems and Pervasive Computing,
10-11 September 2003, Villasimius, CA, Italy},
pages = {115--120},
publisher = {Pitagora Editrice Bologna},
year = {2003},
timestamp = {Tue, 18 Jan 2005 10:04:54 +0100},
biburl = {https://dblp.org/rec/conf/woa/CostantiniT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/RelMiCS/CaianielloCO03,
author = {Pasquale Caianiello and
Stefania Costantini and
Eugenio G. Omodeo},
editor = {Harrie C. M. de Swart and
Ewa Orlowska and
Gunther Schmidt and
Marc Roubens},
title = {An Environment for Specifying Properties of Dyadic Relations and Reasoning
about Them: {I:} Language Extension Mechanisms},
booktitle = {Theory and Applications of Relational Structures as Knowledge Instruments,
{COST} Action 274, TARSKI, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2929},
pages = {87--106},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24615-2\_5},
doi = {10.1007/978-3-540-24615-2\_5},
timestamp = {Sun, 02 Oct 2022 15:53:27 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/CaianielloCO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/CostantiniDP02,
author = {Stefania Costantini and
Ottavio M. D'Antona and
Alessandro Provetti},
title = {On the equivalence and range of applicability of graph-based representations
of logic programs},
journal = {Inf. Process. Lett.},
volume = {84},
number = {5},
pages = {241--249},
year = {2002},
url = {https://doi.org/10.1016/S0020-0190(02)00290-9},
doi = {10.1016/S0020-0190(02)00290-9},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/CostantiniDP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/CaianielloCO02,
author = {Pasquale Caianiello and
Stefania Costantini and
Eugenio G. Omodeo},
editor = {Juan Jos{\'{e}} Moreno{-}Navarro and
Julio Mari{\~{n}}o{-}Carballo},
title = {An Environment for Stepwise Map Specification and Reasoning in Prolog
{I:} Three Language Extension Mechanisms},
booktitle = {{AGP} 2002: Proceedings of the Joint Conference on Declarative Programming,
APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002},
pages = {87},
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\_87.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/CaianielloCO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Costantini02,
author = {Stefania Costantini},
editor = {Antonis C. Kakas and
Fariba Sadri},
title = {Meta-reasoning: {A} Survey},
booktitle = {Computational Logic: Logic Programming and Beyond, Essays in Honour
of Robert A. Kowalski, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {2408},
pages = {253--288},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45632-5\_11},
doi = {10.1007/3-540-45632-5\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Costantini02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/CostantiniOPS02,
author = {Stefania Costantini and
Ram{\'{o}}n P. Otero and
Alessandro Provetti and
Tran Cao Son},
editor = {Mohand{-}Said Hacid and
Zbigniew W. Ras and
Djamel A. Zighed and
Yves Kodratoff},
title = {Disjunctive Logic Programs with Inheritance Revisited},
booktitle = {Foundations of Intelligent Systems, 13th International Symposium,
{ISMIS} 2002, Lyon, France, June 27-29, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2366},
pages = {294--302},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-48050-1\_33},
doi = {10.1007/3-540-48050-1\_33},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ismis/CostantiniOPS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/CostantiniT02,
author = {Stefania Costantini and
Arianna Tocchio},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {A Logic Programming Language for Multi-agent Systems},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {1--13},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_1},
doi = {10.1007/3-540-45757-7\_1},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/CostantiniT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/Costantini01,
author = {Stefania Costantini},
editor = {Alessandro Provetti and
Tran Cao Son},
title = {Comparing different graph representations of logic programs under
the Answer Set semantics},
booktitle = {Answer Set Programming, Towards Efficient and Scalable Knowledge Representation
and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford,
CA, USA, March 26-28, 2001},
year = {2001},
url = {http://www.cs.nmsu.edu/\%7Etson/ASP2001/7.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asp/Costantini01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BarklundDCL00,
author = {Jonas Barklund and
Pierangelo Dell'Acqua and
Stefania Costantini and
Gaetano Aurelio Lanzarone},
title = {Reflection principles in computational logic},
journal = {J. Log. Comput.},
volume = {10},
number = {6},
pages = {743--786},
year = {2000},
url = {https://doi.org/10.1093/logcom/10.6.743},
doi = {10.1093/LOGCOM/10.6.743},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BarklundDCL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/CostantiniM99,
author = {Stefania Costantini and
T. Morbidoni},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Computational Complexity of a Knowledge Compilation. Approach to the
Static Semantics for Disjunctive Logic Programs},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {575--588},
year = {1999},
timestamp = {Wed, 01 Dec 2004 15:33:47 +0100},
biburl = {https://dblp.org/rec/conf/agp/CostantiniM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fqas/BarklundDCL96,
author = {Jonas Barklund and
Pierangelo Dell'Acqua and
Stefania Costantini and
Gaetano Aurelio Lanzarone},
editor = {Henning Christiansen and
Henrik Legind Larsen and
Troels Andreasen},
title = {Multiple Metareasoning Agents for Flexible Query-Answering Systems},
booktitle = {Flexible Query-Answering Systems, Proceedings of the 1996 Workshop,
FQAS'96, Roskilde, Denmark, May 22-24, 1996},
series = {Datalogiske Skrifter (Writings on Computer Science)},
volume = {62},
pages = {155--166},
publisher = {Roskilde University},
year = {1996},
timestamp = {Thu, 08 Jun 2017 18:10:44 +0200},
biburl = {https://dblp.org/rec/conf/fqas/BarklundDCL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CostantiniLM96,
author = {Stefania Costantini and
Gaetano Aurelio Lanzarone and
Giuseppe Magliocco},
editor = {Michael J. Maher},
title = {Asserting Lemmas in the Stable Model Semantics},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {438--452},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278908},
timestamp = {Mon, 09 Aug 2021 17:01:45 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CostantiniLM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ail/CostantiniL95,
author = {Stefania Costantini and
Gaetano Aurelio Lanzarone},
title = {Explanation-Based Interpretation of Open-Textured Concepts in Logical
Models of Legislation},
journal = {Artif. Intell. Law},
volume = {3},
number = {3},
pages = {191--208},
year = {1995},
url = {https://doi.org/10.1007/BF00872530},
doi = {10.1007/BF00872530},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ail/CostantiniL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/CostantiniLS95,
author = {Stefania Costantini and
Gaetano Aurelio Lanzarone and
L. Sbarbaro},
title = {A formal definition and a sound implementation of analogical reasoning
in logic programming},
journal = {Ann. Math. Artif. Intell.},
volume = {14},
number = {1},
pages = {17--36},
year = {1995},
url = {https://doi.org/10.1007/BF01530892},
doi = {10.1007/BF01530892},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/CostantiniLS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Costantini95,
author = {Stefania Costantini},
title = {Contributions to the Stable Model Semantics of Logic Programs with
Negation},
journal = {Theor. Comput. Sci.},
volume = {149},
number = {2},
pages = {231--255},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00259-L},
doi = {10.1016/0304-3975(94)00259-L},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Costantini95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BarklundDCL95,
author = {Jonas Barklund and
Pierangelo Dell'Acqua and
Stefania Costantini and
Gaetano Aurelio Lanzarone},
editor = {Leon Sterling},
title = {Semantical Properties of SLD-Resolution with Reflection},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference
on Logic Programming, Tokyo, Japan, June 13-16, 1995},
pages = {830},
publisher = {{MIT} Press},
year = {1995},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BarklundDCL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BarklundDCL95,
author = {Jonas Barklund and
Pierangelo Dell'Acqua and
Stefania Costantini and
Gaetano Aurelio Lanzarone},
editor = {John W. Lloyd},
title = {Semantical Properties of Encodings in Logic Programming},
booktitle = {Logic Programming, Proceedings of the 1995 International Symposium,
Portland, Oregon, USA, December 4-7, 1995},
pages = {288--302},
publisher = {{MIT} Press},
year = {1995},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300533},
timestamp = {Wed, 11 Aug 2021 17:02:32 +0200},
biburl = {https://dblp.org/rec/conf/slp/BarklundDCL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/CostantiniL94,
author = {Stefania Costantini and
Gaetano Aurelio Lanzarone},
title = {A metalogic programming approach: language, semantics and applications},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {6},
number = {3},
pages = {239--287},
year = {1994},
url = {https://doi.org/10.1080/09528139408953789},
doi = {10.1080/09528139408953789},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetai/CostantiniL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlcs/CostantiniL94,
author = {Stefania Costantini and
Gaetano Aurelio Lanzarone},
title = {Metalevel Negation and Non-Monotonic Reasoning},
journal = {Methods Log. Comput. Sci.},
volume = {1},
number = {1},
pages = {111},
year = {1994},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlcs/CostantiniL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BertarelloCL94,
author = {S. Bertarello and
Stefania Costantini and
Gaetano Aurelio Lanzarone},
editor = {Mar{\'{\i}}a Alpuente and
Roberto Barbuti and
Isidro Ramos},
title = {Extending Explanation-Based Generalization with Metalogic Programming},
booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Pe{\~{n}}iscola,
Spain, September 19-22, 1994, Volume 2},
pages = {16--31},
year = {1994},
timestamp = {Wed, 01 Dec 2004 15:33:41 +0100},
biburl = {https://dblp.org/rec/conf/agp/BertarelloCL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BarklundCDL94,
author = {Jonas Barklund and
Stefania Costantini and
Pierangelo Dell'Acqua and
Gaetano Aurelio Lanzarone},
editor = {Roy Dyckhoff and
Lars{-}Henrik Eriksson and
Alberto Momigliano and
Mario Ornaghi},
title = {Integrating Reflection into SLD-Resolution},
booktitle = {{ICLP} 1994, Workshop {W10:} Proof-Theoretical Extensions on Logic
Programming, Santa Margherita Ligure, Italy, June 1994},
year = {1994},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BarklundCDL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BarklundDCL94,
author = {Jonas Barklund and
Pierangelo Dell'Acqua and
Stefania Costantini and
Gaetano Aurelio Lanzarone},
editor = {Pascal Van Hentenryck},
title = {Reflection through Constraint Satisfaction},
booktitle = {Logic Programming, Proceedings of the Eleventh International Conference
on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
pages = {742},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BarklundDCL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BertarelloCL94,
author = {S. Bertarello and
Stefania Costantini and
Gaetano Aurelio Lanzarone},
editor = {Carlo Biagioli and
Giovanni Sartor and
Daniela Tiscornia},
title = {Explanation-Based Learning of Open Textured Predicates in Logic Programming
Models of Law},
booktitle = {{ICLP} 1994 Workshop {W12:} Legal Application of Logic Programming,
Santa Margherita Ligure, Italy, June 1994},
year = {1994},
timestamp = {Mon, 02 Dec 2013 17:40:43 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BertarelloCL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/ConstantiniDL94,
author = {Stefania Costantini and
Pierangelo Dell'Acqua and
Gaetano Aurelio Lanzarone},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {Extending Horn Clause Theories by Reflection Principles},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {400--413},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021987},
doi = {10.1007/BFB0021987},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/ConstantiniDL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmelp/CostantiniL94,
author = {Stefania Costantini and
Gaetano Aurelio Lanzarone},
editor = {J{\"{u}}rgen Dix and
Lu{\'{\i}}s Moniz Pereira and
Teodor C. Przymusinski},
title = {Static Semantics as Program Transformation and Well-founded Computation},
booktitle = {Non-Monotonic Extensions of Logic Programming (NMELP'94), {ICLP} '94
Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {927},
pages = {156--180},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0030664},
doi = {10.1007/BFB0030664},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nmelp/CostantiniL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BarklundDCL94,
author = {Jonas Barklund and
Pierangelo Dell'Acqua and
Stefania Costantini and
Gaetano Aurelio Lanzarone},
editor = {Maurice Bruynooghe},
title = {{SLD} - Resolution with Reflection},
booktitle = {Logic Programming, Proceedings of the 1994 International Symposium,
Ithaca, New York, USA, November 13-17, 1994},
pages = {554--568},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/BarklundDCL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/ConcariCL93,
author = {D. Concari and
Stefania Costantini and
Gaetano Aurelio Lanzarone},
editor = {Domenico Sacc{\`{a}}},
title = {Caratteristiche e Aspetti Implementativi della Negazione di Metalivello
in Reflective Prolog},
booktitle = {8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy,
June 15-18, 1993},
pages = {285--300},
year = {1993},
timestamp = {Thu, 02 Dec 2004 11:00:44 +0100},
biburl = {https://dblp.org/rec/conf/agp/ConcariCL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Costantini93,
author = {Stefania Costantini},
editor = {Lu{\'{\i}}s Moniz Pereira and
Anil Nerode},
title = {Contributions to the Stable Model Semantics of Logic Programs with
Negation},
booktitle = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
Second International Workshop, Lisbon, Portugal, June 1993},
pages = {190--205},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/Costantini93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/CostantiniDL92,
author = {Stefania Costantini and
Pierangelo Dell'Acqua and
Gaetano Aurelio Lanzarone},
editor = {Alberto Pettorossi},
title = {Reflective Agents in Metalogic Programming},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {135--147},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_9},
doi = {10.1007/3-540-56282-6\_9},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/meta/CostantiniDL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CostantiniL91,
author = {Stefania Costantini and
Gaetano Aurelio Lanzarone},
editor = {Edoardo Ardizzone and
Salvatore Gaglio and
Filippo Sorbello},
title = {Metalevel Represantation of Analogical Inference},
booktitle = {Trends in Artificial Intelligence, 2nd Congress of the Italian Association
for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31,
1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {549},
pages = {460--464},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54712-6\_262},
doi = {10.1007/3-540-54712-6\_262},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/CostantiniL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CostantiniL91,
author = {Stefania Costantini and
Gaetano Aurelio Lanzarone},
editor = {Andrei Voronkov},
title = {On Procedural Semantics of Metalevel Negation},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {140--151},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_10},
doi = {10.1007/3-540-55460-2\_10},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/CostantiniL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Costantini90,
author = {Stefania Costantini},
title = {Semantics of a Metalogic Programming Language},
journal = {Int. J. Found. Comput. Sci.},
volume = {1},
number = {3},
pages = {233--248},
year = {1990},
url = {https://doi.org/10.1142/S0129054190000175},
doi = {10.1142/S0129054190000175},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Costantini90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CostantiniL90,
author = {Stefania Costantini and
Gaetano Aurelio Lanzarone},
editor = {V. Wiktor Marek and
Anil Nerode and
Dino Pedreschi and
V. S. Subrahmanian},
title = {Metalevel Negation in Non-Monotonic Reasoning},
booktitle = {Proceedings of the Workshop Logic Programming and Non-Monotonic Logic,
Austin, TX, USA, November 1-2, 1990},
pages = {19--26},
year = {1990},
timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/CostantiniL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CostantiniL89,
author = {Stefania Costantini and
Gaetano Aurelio Lanzarone},
editor = {Giorgio Levi and
Maurizio Martelli},
title = {A Metalogic Programming Language},
booktitle = {Logic Programming, Proceedings of the Sixth International Conference,
Lisbon, Portugal, June 19-23, 1989},
pages = {218--233},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CostantiniL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:53 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:
