Domenico Cantone

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 81

Top Venues

Publications

Giampaolo Bella, Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
Towards a semantic blockchain: A behaviouristic approach to modelling Ethereum. Appl. Ontology 19 (2) (2024)
Domenico Cantone, Eugenio G. Omodeo
Onset and Today's Perspectives of Multilevel Syllogistic. From Computational Logic to Computational Biology (2024)
Domenico Cantone, Pietro Ursino
Decidability of the Satisfiability Problem for Boolean Set Theory with the Unordered Cartesian Product Operator. ACM Trans. Comput. Log. 25 (1) (2024)
Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
Some Decidability Issues Concerning C^n Real Functions. CILC (2024)
Domenico Cantone, Andrea De Domenico, Pietro Maugeri
The Decision Problem for Undirected Graphs with Reachability and Acyclicity. CiE (2024)
Domenico Cantone, Alfio Giarlotta, Pietro Maugeri, Stephen Watson
The Satisfiability Problem for Boolean Set Theory with a Rational Choice Correspondence. ICTCS (2023)
Domenico Cantone, Simone Faro, Arianna Pavone, Caterina Viola
Quantum Circuits for Fixed Substring Matching Problems. CoRR (2023)
Domenico Cantone, Simone Faro, Arianna Pavone, Caterina Viola
Longest Common Substring and Longest Palindromic Substring in Õ(√n) Time. CoRR (2023)
Domenico Cantone, Pietro Maugeri
Complexity Results for Some Fragments of Set Theory Involving the Unordered Cartesian Product Operator. ICTCS (2023)
Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti
Continued Hereditarily Finite Sets Approximations. CILC (2023)
Domenico Cantone, Pietro Maugeri, Eugenio G. Omodeo
Complexity assessments for decidable fragments of Set Theory. III: Testers for crucial, polynomial-maximal decidable Boolean languages. Theor. Comput. Sci. 954 (2023)
Domenico Cantone, Daniele Francesco Santamaria, Vincenzo Spinello
A tool to easing the configuration and deploying process of Hyperledger Fabric. BIR Workshops (2023)
Giampaolo Bella, Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
. Intelligenza Artificiale 17 (1) (2023)
Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere
0-complexity and axiomatic weakness in undecidability proofs. J. Log. Comput. 33 (4) (2023)
Giampaolo Bella, Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
The Ontology for Agents, Systems and Integration of Services: OASIS version 2. CoRR (2023)
Domenico Cantone, Simone Faro, Arianna Pavone
Quantum String Matching Unfolded and Extended. RC (2023)
Domenico Cantone, Simone Faro
The Many Qualities of a New Directly Accessible Compression Scheme. CoRR (2023)
Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
A decidable theory involving addition of differentiable real functions. Theor. Comput. Sci. 940 (Part) (2023)
Domenico Cantone, Luca Cuzziol, Eugenio G. Omodeo
A Brief History of Singlefold Diophantine Definitions. CILC (2023)
Giampaolo Bella, Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
The ontology for agents, systems and integration of services: recent advancements of OASIS. WOA (2022)
Carmelo Fabio Longo, Corrado Santoro, Marianna Nicolosi Asmundo, Domenico Cantone, Daniele Francesco Santamaria
Towards ontological interoperability of cognitive IoT agents based on natural language processing. Intelligenza Artificiale 16 (1) (2022)
Domenico Cantone, Jean-Paul Doignon, Alfio Giarlotta, Stephen Watson
Resolutions of Convex Geometries. Electron. J. Comb. 28 (4) (2021)
Domenico Cantone, Alfio Giarlotta, Stephen Watson
Choice resolutions. Soc. Choice Welf. 56 (4) (2021)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4, ×. Fundam. Informaticae 178 (4) (2021)
Domenico Cantone, Andrea De Domenico, Pietro Maugeri
On the Convexity of a Fragment of Pure Set Theory with Applications within a Nelson-Oppen Framework. GandALF (2021)
Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version). CoRR (2021)
Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo
Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case. Fundam. Informaticae 181 (1) (2021)
Carmelo Fabio Longo, Corrado Santoro, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Domenico Cantone
SW-CASPAR: Reactive-Cognitive Architecture based on Natural Language Processing for the task of Decision-Making in the Open-World Assumption. WOA (2021)
Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Corrado Santoro
Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services. IDC (2021)
Domenico Cantone, Simone Faro, Arianna Pavone
Text Searching Allowing for Non-Overlapping Adjacent Unbalanced Translocations. CoRR (2021)
Domenico Cantone, Pietro Maugeri, Eugenio G. Omodeo
Two Crucial Cubic-Time Components of Polynomial-Maximal Decidable Boolean Languages. ICTCS (2021)
Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo
Complexity assessments for decidable fragments of Set Theory. III: A quadratic reduction of constraints over nested sets to Boolean formulae. CoRR (2021)
Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
A Decidable Theory Treating Addition of Differentiable Real Functions. ICTCS (2021)
Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
Semantic Representation as a Key Enabler for Blockchain-Based Commerce. GECON (2021)
Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere
Very Weak, Essentially Undecidabile Set Theories. CILC (2021)
Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
Blockchains Through Ontologies: The Case Study of the Ethereum ERC721 Standard in oasis. IDC (2021)
Claudia Cantale, Domenico Cantone, Manuela Lupica Rinato, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Maria Rosaria Stufano Melone
The ideal Benedictine Monastery: From the Saint Gall map to ontologies. Appl. Ontology 16 (2) (2021)
Andrea De Domenico, Domenico Cantone, Marianna Nicolosi Asmundo
An Ontology for the Iconographic Sources of La Divina Commedia. CILC (2020)
Domenico Cantone, Simone Faro, M. Oguzhan Külekci
Shape-Preserving Pattern Matching. ICTCS (2020)
Domenico Cantone, Pietro Maugeri, Eugenio G. Omodeo
Complexity assessments for decidable fragments of set theory. II: A taxonomy for 'small' languages involving membership. Theor. Comput. Sci. 848 (2020)
Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Corrado Santoro
Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services. CoRR (2020)
Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere
From Hilbert's 10th Problem to slim, Undecidable Fragments of Set Theory. ICTCS (2020)
Domenico Cantone, Simone Faro, Stefano Scafiti
Bit-Layers Text Encoding for Efficient Text Processing. SOFSEM (Doctoral Student Research Forum) (2020)
Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo
A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF. CILC (2020)
Domenico Cantone, Simone Faro, Arianna Pavone
Sequence Searching Allowing for Non-Overlapping Adjacent Unbalanced Translocations. WABI (2020)
Domenico Cantone, Simone Faro, M. Oguzhan Külekci
The order-preserving pattern matching problem in practice. Discret. Appl. Math. 274 (2020)
Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals. CILC (2020)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟ℒD4, ×. Fundam. Informaticae 176 (3-4) (2020)
Domenico Cantone, Simone Faro, Arianna Pavone
Linear and Efficient String Matching Algorithms Based on Weak Factor Recognition. ACM J. Exp. Algorithmics 24 (1) (2019)
Domenico Cantone, Pietro Maugeri
Polynomial-Time Satisfiability Tests for 'Small' Membership Theories. ICTCS (2019)
Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Corrado Santoro
Towards an Ontology-Based Framework for a Behavior-Oriented Integration of the IoT. WOA (2019)
Domenico Cantone, Alberto Casagrande, Francesco Fabris, Eugenio G. Omodeo
Does Every Recursively Enumerable Set Admit a Finite-Fold Diophantine Representation? CILC (2019)
Domenico Cantone, Pietro Maugeri, Stefano Scafiti
A Potential-Based Variant of the Bellman-Ford Algorithm. ICTCS (2019)
Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo
Polynomial-Time Satisfiability Tests for Boolean Fragments of Set Theory. CILC (2019)
Domenico Cantone, Alfio Giarlotta, Stephen Watson
Congruence relations on a choice space. Soc. Choice Welf. 52 (2) (2019)
Domenico Cantone, Alberto Policriti
Encoding Sets as Real Numbers. SETS@ABZ (2018)
Domenico Cantone, Simone Faro, Arianna Pavone
Sequence Searching Allowing for Non-Overlapping Adjacent Unbalanced Translocations. CoRR (2018)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
. SETS@ABZ (2018)
Domenico Cantone, Giorgio Delzanno
Games, automata, logics and formal verification (GandALF 2016). Inf. Comput. 262 (2018)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
A set-based reasoner for the description logic \shdlssx (Extended Version). CoRR (2018)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
An optimized KE-tableau-based system for reasoning in the description logic \shdlssx. CoRR (2018)
Domenico Cantone, Alberto Policriti
Encoding Sets as Real Numbers (Extended version). CoRR (2018)
Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version). CoRR (2018)
Domenico Cantone, Eugenio G. Omodeo
Can a Single Equation Witness that every r.e. Set Admits a Finite-fold Diophantine Representation? CILC (2018)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4, \!\times }$$. RuleML+RR (2018)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
A \textsf{C++} reasoner for the description logic $\shdlssx$. CoRR (2017)
Claudia Cantale, Domenico Cantone, Manuela Lupica Rinato, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
The Shape of a Benedictine Monastery: The SaintGall Ontology. JOWO (2017)
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
Herbrand-satisfiability of a Quantified Set-theoretic Fragment. Fundam. Informaticae 150 (1) (2017)
Domenico Cantone, Alfio Giarlotta, Stephen Watson
The Satisfiability Problem for Boolean Set Theory with a Choice Correspondence. GandALF (2017)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
A C++ Reasoner for the Description Logic DL-4X(D). ICTCS/CILC (2017)
Domenico Cantone, Simone Faro, Arianna Pavone
Speeding Up String Matching by Weak Factor Recognition. Stringology (2017)
Claudia Cantale, Domenico Cantone, Manuela Lupica Rinato, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
The Shape of a Benedictine Monastery: The SaintGall Ontology. CoRR (2017)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
A set-theoretical approach for ABox reasoning services (Extended Version). CoRR (2017)
Domenico Cantone, Alfio Giarlotta, Stephen Watson
The satisfiability problem for Boolean set theory with a choice correspondence (Extended version). CoRR (2017)
Domenico Cantone, Simone Faro, Arianna Pavone
Speeding Up String Matching by Weak Factor Recognition. CoRR (2017)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
A Set-Theoretic Approach to ABox Reasoning Services. RuleML+RR (2017)
Domenico Cantone, Andrea Fornaia, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Emiliano Tramontana
An OWL Framework for Rule-based Recognition of Places in Italian Non-structured Text. KDWeb (2016)
Domenico Cantone, Salvatore Cristofaro
A Variant of Turing Machines with no Control States and its Connection to Bounded Temporal Memory. ICTCS (2016)
Domenico Cantone, Marianna Nicolosi Asmundo
The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations. Electron. Notes Theor. Comput. Sci. 322 (2016)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
Conjunctive Query Answering via a Fragment of Set Theory. ICTCS (2016)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
Conjunctive Query Answering via a Fragment of Set Theory (Extended Version). CoRR (2016)
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Francesca Trapani
Ontoceramic: an OWL ontology for ceramics classification. CILC (2015)
Domenico Cantone, Simone Faro, M. Oguzhan Külekci
An Efficient Skip-Search Approach to the Order-Preserving Pattern Matching Problem. Stringology (2015)
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
Web ontology representation and reasoning via fragments of set theory. CoRR (2015)
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
Web Ontology Representation and Reasoning via Fragments of Set Theory. RR (2015)
Domenico Cantone, Marianna Nicolosi Asmundo
The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations. CoRR (2015)
Domenico Cantone, Salvatore Cristofaro, Giuseppe Pappalardo
Computing Efficiently the Closeness of Word Sets in Natural Language Texts. Int. J. Comput. Linguistics Appl. 6 (1) (2015)
Elisa Pappalardo, Domenico Cantone, Panos M. Pardalos
heuristic and simulated annealing approach for the closest string problem. Optim. Methods Softw. 29 (4) (2014)
Domenico Cantone, Joanna Golinska-Pilarek, Marianna Nicolosi Asmundo
A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics. HAIS (2014)
Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation. CILC (2014)
Domenico Cantone, Simone Faro
Fast shortest-paths algorithms in the presence of few destinations of negative-weight arcs. J. Discrete Algorithms 24 (2014)
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
Herbrand-Satisfiability of a Quantified Set-theoretical Fragment. CILC (2014)
Marcello La Rocca, Domenico Cantone
NeatSort - A practical adaptive algorithm. CoRR (2014)
Domenico Cantone, Simone Faro
Improved and self-tuned occurrence heuristics. J. Discrete Algorithms 28 (2014)
Domenico Cantone, Pietro Ursino
Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate. Inf. Comput. 237 (2014)
Domenico Cantone, Cristiano Longo
A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions. Theor. Comput. Sci. 560 (2014)
Domenico Cantone, Simone Faro, Emanuele Giaquinta
Text searching allowing for inversions and translocations of factors. Discret. Appl. Math. 163 (2014)
Domenico Cantone, Simone Faro
Efficient Online Abelian Pattern Matching in Strings by Simulating Reactive Multi-Automata. Stringology (2014)
Domenico Cantone, Micha Hofri
Further analysis of the remedian algorithm. Theor. Comput. Sci. 495 (2013)
Domenico Cantone, Simone Faro
Improved and Self-Tuned Occurrence Heuristics. Stringology (2013)

Domenico Cantone.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Domenico Cantone