| Ontoceramic: An OWL ontology for ceramics classification D Cantone, M Nicolosi-Asmundo, SD Francesco, F Trapani 30th Italian Conference on Computational Logic, CILC 2015; Genova; Italy; 1 …, 2015 | 24 | 2015 |
| Blockchains Through Ontologies: The Case Study of the Ethereum ERC721 Standard in oasis G Bella, D Cantone, C Longo, M Nicolosi Asmundo, DF Santamaria International Symposium on Intelligent and Distributed Computing, 249-259, 2021 | 22 | 2021 |
| Ontological smart contracts in OASIS: Ontology for agents, systems, and integration of services D Cantone, CF Longo, M Nicolosi Asmundo, DF Santamaria, C Santoro International Symposium on Intelligent and Distributed Computing, 237-247, 2021 | 22 | 2021 |
| A Further and Effective Liberalization of the δ-Rule in Free Variable Semantic Tableaux D Cantone, MN Asmundo International Workshop on First-Order Theorem Proving, 109-125, 1998 | 22 | 1998 |
| Web ontology representation and reasoning via fragments of set theory D Cantone, C Longo, M Nicolosi-Asmundo, DF Santamaria Web Reasoning and Rule Systems: 9th International Conference, RR 2015 …, 2015 | 21 | 2015 |
| On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic D Cantone, M Nicolosi-Asmundo 26th Italian Conference on Computational Logic, CILC 2011; Pescara; Italy …, 2011 | 19 | 2011 |
| Dual tableau-based decision procedures for relational logics with restricted composition operator D Cantone, MN Asmundo, E Orlowska Journal of Applied Non-Classical Logics 21 (2), 177-200, 2011 | 19 | 2011 |
| Dual Tableau-based Decision Procedures for Some Relational Logics. D Cantone, MN Asmundo, E Orlowska CILC, 2010 | 19 | 2010 |
| An efficient relational deductive system for propositional non-classical logics A Formisano, M Nicolosi-Asmundo Journal of Applied Non-Classical Logics 16 (3-4), 367-408, 2006 | 19 | 2006 |
| Towards an Ontology-Based Framework for a Behavior-Oriented Integration of the IoT. D Cantone, CF Longo, MN Asmundo, DF Santamaria, C Santoro WOA, 119-126, 2019 | 17 | 2019 |
| The ontology for agents, systems and integration of services: recent advancements of OASIS. G Bella, D Cantone, MN Asmundo, DF Santamaria WOA, 176-193, 2022 | 15 | 2022 |
| AN EPIDOC ONTOLOGICAL PERSPECTIVE: THE EPIGRAPHS OF THE CASTELLO URSINO CIVIC MUSEUM OF CATANIA VIA CIDOC CRM. D Cantone, M NICOLOSI-ASMUNDO, DF Santamaria, S Cristofaro, ... Archeologia e calcolatori, 2019 | 14 | 2019 |
| A set-theoretic approach to ABox reasoning services D Cantone, M Nicolosi-Asmundo, DF Santamaria International Joint Conference on Rules and Reasoning, 87-102, 2017 | 14 | 2017 |
| Distant reading through ontologies: The case study of Catania’s Benedictines monastery C Cantale, D Cantone, M Nicolosi-Asmundo, D Santamaria JLIS. it 8 (3), 203-219, 2017 | 12 | 2017 |
| Conjunctive Query Answering via a Fragment of Set Theory (Extended Version) D Cantone, M Nicolosi-Asmundo, DF Santamaria arXiv preprint arXiv:1606.07337, 2016 | 12 | 2016 |
| A decidable quantified fragment of set theory involving ordered pairs with applications to description logics D Cantone, C Longo, M Nicolosi Asmundo Computer Science Logic (CSL'11)-25th International Workshop/20th Annual …, 2011 | 12 | 2011 |
| A sound framework for δ-rule variants in free-variable semantic tableaux D Cantone, M Nicolosi-Asmundo Journal of Automated Reasoning 38, 31-56, 2007 | 12 | 2007 |
| Consistent integration for sequential abstract state machines MN Asmundo, E Riccobene Abstract State Machines 2003: Advances in Theory and Practice 10th …, 2003 | 12 | 2003 |
| A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs. D Cantone, C Longo, MN Asmundo CILC, 2010 | 11 | 2010 |
| Semantic representation as a key enabler for blockchain-based commerce G Bella, D Cantone, C Longo, M Nicolosi Asmundo, DF Santamaria Economics of Grids, Clouds, Systems, and Services: 18th International …, 2021 | 9 | 2021 |
