Per Sort
- Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review (ACM Computing Surveys, 2024) — Giovanni Ciatto, Federico Sabbatini, Andrea Agiollo, Matteo Magnini, Andrea Omicini
- Symbolic Knowledge Injection meets Intelligent Agents: QoS metrics and experiments (Autonomous Agents and Multi-Agent Systems, 2023) — Andrea Agiollo, Andrea Rafanelli, Matteo Magnini, Giovanni Ciatto, Andrea Omicini
- Towards a Unified Model for Symbolic Knowledge Extraction with Hypercube-Based Methods (Intelligenza Artificiale, 2023) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Symbolic Knowledge Extraction for Explainable Nutritional Recommenders (Computer Methods and Programs in Biomedicine, 2023) — Matteo Magnini, Giovanni Ciatto, Furkan Cantürk, Reyhan Aydoǧan, Andrea Omicini
- Knowledge injection of Datalog rules via Neural Network Structuring with KINS (Journal of Logic and Computation, 2023) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
- Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments (Intelligenza Artificiale, 2022) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Fifty Years of Prolog and Beyond (Theory and Practice of Logic Programming, 2022) — Philipp Körner, Michael Beuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, Jose F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto
- Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review (Autonomous Agents and Multi-Agent Systems, 2021) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
- 2P-Kt: A Logic-Based Ecosystem for Symbolic AI (SoftwareX, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts (Information, 2020) — Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini
- Twenty years of coordination technologies: COORDINATION contribution to the state of art (Journal of Logical and Algebraic Methods in Programming, 2020) — Giovanni Ciatto, Giovanna Di Marzo Serugendo, Maxime Louvel, Stefano Mariani, Andrea Omicini, Franco Zambonelli
- From Agents to Blockchain: Stairway to Integration (Applied Sciences, 2020) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli
- Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (Information, 2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
- On the integration of symbolic and sub-symbolic techniques for XAI: A survey (Intelligenza Artificiale, 2020) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (Big Data and Cognitive Computing, 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
- ReSpecTX: Programming Interaction Made Easy (Computer Science and Information Systems, 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini