Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX 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/AsadGC23, author = {Muhammad Asad and Giovanni De Gasperis and Stefania Costantini}, editor = {Valentina Poggioni and Silvia Rossi}, title = {{RBF} Based {NN} Architecture for Structural Health Analysis of Railway Steel Bridges (Short paper)}, booktitle = {Proceedings of the AIxIA Doctoral Consortium 2023 co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 6-7, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3670}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3670/paper101.pdf}, timestamp = {Mon, 29 Apr 2024 17:21:58 +0200}, biburl = {https://dblp.org/rec/conf/aiia/AsadGC23.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 = {Tue, 07 May 2024 20:13:36 +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, 07 May 2024 20:11:09 +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 = {Tue, 07 May 2024 20:13:24 +0200}, 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} }
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.