default search action
BibTeX records: Giuseppe Cicala
@article{DBLP:journals/ia/CicalaDMAT22, author = {Giuseppe Cicala and Stefano Demarchi and Marco Menapace and Leopoldo Annunziata and Armando Tacchella}, title = {A comparison of declarative {AI} techniques for computer automated design of elevator systems}, journal = {Intelligenza Artificiale}, volume = {16}, number = {1}, pages = {131--150}, year = {2022}, url = {https://doi.org/10.3233/IA-210132}, doi = {10.3233/IA-210132}, timestamp = {Sun, 24 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ia/CicalaDMAT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecms/GuidottiCGT21, author = {Dario Guidotti and Giuseppe Cicala and Tommaso Gili and Armando Tacchella}, editor = {Khalid Al{-}Begain and Mauro Iacono and Lelio Campanile and Andrzej Bargiela}, title = {Telling Faults From Cyber-Attacks In {A} Multi-Modal Logistic System With Complex Network Analysis}, booktitle = {Proceedings of the 35th International {ECMS} International Conference on Modelling and Simulation, {ECMS} 2021, Virtual Event, UK, May 31 - June 2, 2021}, pages = {260--266}, publisher = {European Council for Modeling and Simulation}, year = {2021}, url = {https://doi.org/10.7148/2021-0260}, doi = {10.7148/2021-0260}, timestamp = {Mon, 03 May 2021 14:51:41 +0200}, biburl = {https://dblp.org/rec/conf/ecms/GuidottiCGT21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iros/ColledanchiseCD21, author = {Michele Colledanchise and Giuseppe Cicala and Daniele E. Domenichelli and Lorenzo Natale and Armando Tacchella}, title = {Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies}, booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems, {IROS} 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021}, pages = {9841--9848}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/IROS51168.2021.9636129}, doi = {10.1109/IROS51168.2021.9636129}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iros/ColledanchiseCD21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2106-12474, author = {Michele Colledanchise and Giuseppe Cicala and Daniele E. Domenichelli and Lorenzo Natale and Armando Tacchella}, title = {Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies}, journal = {CoRR}, volume = {abs/2106.12474}, year = {2021}, url = {https://arxiv.org/abs/2106.12474}, eprinttype = {arXiv}, eprint = {2106.12474}, timestamp = {Wed, 30 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2106-12474.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2106-15211, author = {Michele Colledanchise and Giuseppe Cicala and Daniele E. Domenichelli and Lorenzo Natale and Armando Tacchella}, title = {A Toolchain to Design, Execute, and Monitor Robots Behaviors}, journal = {CoRR}, volume = {abs/2106.15211}, year = {2021}, url = {https://arxiv.org/abs/2106.15211}, eprinttype = {arXiv}, eprint = {2106.15211}, timestamp = {Mon, 05 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2106-15211.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecms/CicalaLOT16, author = {Giuseppe Cicala and Marco De Luca and Marco Oreggia and Armando Tacchella}, editor = {Thorsten Claus and Frank Herrmann and Michael Manitz and Oliver Rose}, title = {A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems}, booktitle = {30th European Conference on Modelling and Simulation, {ECMS} 2016, Regensburg, Germany, May 31 - June 3, 2016, Proceedings}, pages = {628--634}, publisher = {European Council for Modeling and Simulation}, year = {2016}, url = {https://doi.org/10.7148/2016-0628}, doi = {10.7148/2016-0628}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecms/CicalaLOT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ias/CicalaKMNPPT14, author = {Giuseppe Cicala and Ali Khalili and Giorgio Metta and Lorenzo Natale and Shashank Pathak and Luca Pulina and Armando Tacchella}, editor = {Emanuele Menegatti and Nathan Michael and Karsten Berns and Hiroaki Yamaguchi}, title = {Engineering Approaches and Methods to Verify Software in Autonomous Systems}, booktitle = {Intelligent Autonomous Systems 13 - Proceedings of the 13th International Conference IAS-13, Padova, Italy, July 15-18, 2014}, series = {Advances in Intelligent Systems and Computing}, volume = {302}, pages = {1683--1700}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-08338-4\_121}, doi = {10.1007/978-3-319-08338-4\_121}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ias/CicalaKMNPPT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isf/CasuCT13, author = {Matteo Casu and Giuseppe Cicala and Armando Tacchella}, title = {Ontology-based data access: An application to intermodal logistics}, journal = {Inf. Syst. Frontiers}, volume = {15}, number = {5}, pages = {849--871}, year = {2013}, url = {https://doi.org/10.1007/s10796-012-9395-4}, doi = {10.1007/S10796-012-9395-4}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isf/CasuCT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiia/CicalaOT13, author = {Giuseppe Cicala and Marco Oreggia and Armando Tacchella}, editor = {Matteo Baldoni and Cristina Baroglio and Guido Boella and Roberto Micalizio}, title = {Towards an Ontology-Based Framework to Generate Diagnostic Decision Support Systems}, booktitle = {AI*IA 2013: Advances in Artificial Intelligence - XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8249}, pages = {25--36}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03524-6\_3}, doi = {10.1007/978-3-319-03524-6\_3}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aiia/CicalaOT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rr/BourguetCPT13, author = {Jean{-}R{\'{e}}mi Bourguet and Giuseppe Cicala and Luca Pulina and Armando Tacchella}, editor = {Wolfgang Faber and Domenico Lembo}, title = {{OBDA} and Intermodal Logistics: Active Projects and Applications}, booktitle = {Web Reasoning and Rule Systems - 7th International Conference, {RR} 2013, Mannheim, Germany, July 27-29, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7994}, pages = {210--215}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39666-3\_17}, doi = {10.1007/978-3-642-39666-3\_17}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rr/BourguetCPT13.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.