BibTeX records: Giuseppe Cicala

download as .bib file

@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}
}