![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Domenico Cantone
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j56]Giampaolo Bella, Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
Towards a semantic blockchain: A behaviouristic approach to modelling Ethereum. Appl. Ontology 19(2): 143-180 (2024) - [j55]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): 5:1-5:30 (2024) - [c100]Domenico Cantone
, Eugenio G. Omodeo
:
Onset and Today's Perspectives of Multilevel Syllogistic. From Computational Logic to Computational Biology 2024: 9-55 - [c99]Domenico Cantone, Andrea De Domenico, Pietro Maugeri:
The Decision Problem for Undirected Graphs with Reachability and Acyclicity. CiE 2024: 431-446 - [c98]Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà:
Some Decidability Issues Concerning C^n Real Functions. CILC 2024 - [e4]Domenico Cantone
, Alfredo Pulvirenti
:
From Computational Logic to Computational Biology - Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career. Lecture Notes in Computer Science 14070, Springer 2024, ISBN 978-3-031-55247-2 [contents] - 2023
- [j54]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$. Intelligenza Artificiale 17(1): 51-62 (2023) - [j53]Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere:
Reconciling transparency, low Δ0-complexity and axiomatic weakness in undecidability proofs. J. Log. Comput. 33(4): 738-763 (2023) - [j52]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): 124-148 (2023) - [j51]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: 113786 (2023) - [c97]Domenico Cantone, Daniele Francesco Santamaria, Vincenzo Spinello:
A tool to easing the configuration and deploying process of Hyperledger Fabric. BIR Workshops 2023: 224-234 - [c96]Domenico Cantone, Luca Cuzziol, Eugenio G. Omodeo:
A Brief History of Singlefold Diophantine Definitions. CILC 2023 - [c95]Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti:
Continued Hereditarily Finite Sets Approximations. CILC 2023 - [c94]Domenico Cantone, Alfio Giarlotta, Pietro Maugeri, Stephen Watson:
The Satisfiability Problem for Boolean Set Theory with a Rational Choice Correspondence. ICTCS 2023: 1-14 - [c93]Domenico Cantone, Pietro Maugeri:
Complexity Results for Some Fragments of Set Theory Involving the Unordered Cartesian Product Operator. ICTCS 2023: 283-298 - [c92]Domenico Cantone
, Simone Faro
, Arianna Pavone
:
Quantum String Matching Unfolded and Extended. RC 2023: 117-133 - [i26]Domenico Cantone, Simone Faro:
The Many Qualities of a New Directly Accessible Compression Scheme. CoRR abs/2303.18063 (2023) - [i25]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 abs/2306.10061 (2023) - [i24]Domenico Cantone, Simone Faro, Arianna Pavone, Caterina Viola:
Quantum Circuits for Fixed Substring Matching Problems. CoRR abs/2308.11758 (2023) - [i23]Domenico Cantone, Simone Faro, Arianna Pavone, Caterina Viola:
Longest Common Substring and Longest Palindromic Substring in Õ(√n) Time. CoRR abs/2309.01250 (2023) - 2022
- [j50]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): 93-112 (2022) - [c91]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: 176-193 - 2021
- [j49]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): 137-160 (2021) - [j48]Domenico Cantone, Jean-Paul Doignon, Alfio Giarlotta, Stephen Watson:
Resolutions of Convex Geometries. Electron. J. Comb. 28(4) (2021) - [j47]Domenico Cantone, Marianna Nicolosi Asmundo
, Daniele Francesco Santamaria
:
An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4, ×. Fundam. Informaticae 178(4): 315-346 (2021) - [j46]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): 37-69 (2021) - [j45]Domenico Cantone, Alfio Giarlotta
, Stephen Watson:
Choice resolutions. Soc. Choice Welf. 56(4): 713-753 (2021) - [c90]Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere:
Very Weak, Essentially Undecidabile Set Theories. CILC 2021: 31-46 - [c89]Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
, Daniele Francesco Santamaria
:
Semantic Representation as a Key Enabler for Blockchain-Based Commerce. GECON 2021: 191-198 - [c88]Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà:
A Decidable Theory Treating Addition of Differentiable Real Functions. ICTCS 2021: 150-163 - [c87]Domenico Cantone, Pietro Maugeri, Eugenio G. Omodeo:
Two Crucial Cubic-Time Components of Polynomial-Maximal Decidable Boolean Languages. ICTCS 2021: 164-178 - [c86]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: 237-247 - [c85]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: 249-259 - [c84]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: 178-193 - [c83]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: 195-210 - [i22]Domenico Cantone, Simone Faro, Arianna Pavone:
Text Searching Allowing for Non-Overlapping Adjacent Unbalanced Translocations. CoRR abs/2101.00718 (2021) - [i21]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 abs/2109.02899 (2021) - [i20]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 abs/2112.04797 (2021) - 2020
- [j44]Domenico Cantone, Simone Faro
, M. Oguzhan Külekci
:
The order-preserving pattern matching problem in practice. Discret. Appl. Math. 274: 11-25 (2020) - [j43]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): 349-384 (2020) - [j42]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: 28-46 (2020) - [c82]Andrea De Domenico, Domenico Cantone, Marianna Nicolosi Asmundo:
An Ontology for the Iconographic Sources of La Divina Commedia. CILC 2020: 157-168 - [c81]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: 214-230 - [c80]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: 231-247 - [c79]Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere:
From Hilbert's 10th Problem to slim, Undecidable Fragments of Set Theory. ICTCS 2020: 47-60 - [c78]Domenico Cantone, Simone Faro, M. Oguzhan Külekci:
Shape-Preserving Pattern Matching. ICTCS 2020: 137-148 - [c77]Domenico Cantone, Simone Faro, Stefano Scafiti:
Bit-Layers Text Encoding for Efficient Text Processing. SOFSEM (Doctoral Student Research Forum) 2020: 13-24 - [c76]Domenico Cantone, Simone Faro
, Arianna Pavone
:
Sequence Searching Allowing for Non-Overlapping Adjacent Unbalanced Translocations. WABI 2020: 19:1-19:14 - [e3]Simone Faro
, Domenico Cantone
:
18th International Symposium on Experimental Algorithms, SEA 2020, June 16-18, 2020, Catania, Italy. LIPIcs 160, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-148-1 [contents] - [i19]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 abs/2012.01410 (2020)
2010 – 2019
- 2019
- [j41]Domenico Cantone, Simone Faro
, Arianna Pavone
:
Linear and Efficient String Matching Algorithms Based on Weak Factor Recognition. ACM J. Exp. Algorithmics 24(1): 1.8:1-1.8:20 (2019) - [j40]Domenico Cantone, Alfio Giarlotta
, Stephen Watson:
Congruence relations on a choice space. Soc. Choice Welf. 52(2): 247-294 (2019) - [c75]Domenico Cantone, Alberto Casagrande, Francesco Fabris, Eugenio G. Omodeo:
Does Every Recursively Enumerable Set Admit a Finite-Fold Diophantine Representation? CILC 2019: 104-122 - [c74]Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo:
Polynomial-Time Satisfiability Tests for Boolean Fragments of Set Theory. CILC 2019: 123-137 - [c73]Domenico Cantone, Pietro Maugeri, Stefano Scafiti:
A Potential-Based Variant of the Bellman-Ford Algorithm. ICTCS 2019: 122-135 - [c72]Domenico Cantone, Pietro Maugeri:
Polynomial-Time Satisfiability Tests for 'Small' Membership Theories. ICTCS 2019: 261-273 - [c71]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: 119-126 - 2018
- [b5]Domenico Cantone, Pietro Ursino
:
An Introduction to the Technique of Formative Processes in Set Theory. Springer 2018, ISBN 978-3-319-74777-4, pp. 1-154 - [j39]Domenico Cantone, Giorgio Delzanno:
Games, automata, logics and formal verification (GandALF 2016). Inf. Comput. 262: 187-188 (2018) - [c70]Domenico Cantone, Eugenio G. Omodeo:
Can a Single Equation Witness that every r.e. Set Admits a Finite-fold Diophantine Representation? CILC 2018: 147-152 - [c69]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: 239-247 - [c68]Domenico Cantone, Alberto Policriti:
Encoding Sets as Real Numbers. SETS@ABZ 2018: 2-16 - [c67]Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
A Set-Based Reasoner for the Description Logic DL4, xD. SETS@ABZ 2018: 52-66 - [i18]Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska:
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version). CoRR abs/1802.07508 (2018) - [i17]Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
An optimized KE-tableau-based system for reasoning in the description logic \shdlssx. CoRR abs/1804.11222 (2018) - [i16]Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
A set-based reasoner for the description logic \shdlssx (Extended Version). CoRR abs/1805.08606 (2018) - [i15]Domenico Cantone, Alberto Policriti:
Encoding Sets as Real Numbers (Extended version). CoRR abs/1806.09329 (2018) - [i14]Domenico Cantone, Simone Faro, Arianna Pavone:
Sequence Searching Allowing for Non-Overlapping Adjacent Unbalanced Translocations. CoRR abs/1812.00421 (2018) - 2017
- [j38]Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
:
Herbrand-satisfiability of a Quantified Set-theoretic Fragment. Fundam. Informaticae 150(1): 49-71 (2017) - [c66]Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
A C++ Reasoner for the Description Logic DL-4X(D). ICTCS/CILC 2017: 276-280 - [c65]Claudia Cantale, Domenico Cantone, Manuela Lupica Rinato, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
The Shape of a Benedictine Monastery: The SaintGall Ontology. JOWO 2017 - [c64]Domenico Cantone, Marianna Nicolosi Asmundo
, Daniele Francesco Santamaria
:
A Set-Theoretic Approach to ABox Reasoning Services. RuleML+RR 2017: 87-102 - [c63]Domenico Cantone, Simone Faro, Arianna Pavone
:
Speeding Up String Matching by Weak Factor Recognition. Stringology 2017: 42-50 - [c62]Domenico Cantone, Alfio Giarlotta
, Stephen Watson:
The Satisfiability Problem for Boolean Set Theory with a Choice Correspondence. GandALF 2017: 61-75 - [i13]Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
A set-theoretical approach for ABox reasoning services (Extended Version). CoRR abs/1702.03096 (2017) - [i12]Domenico Cantone, Simone Faro, Arianna Pavone:
Speeding Up String Matching by Weak Factor Recognition. CoRR abs/1707.00469 (2017) - [i11]Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
A \textsf{C++} reasoner for the description logic $\shdlssx$. CoRR abs/1707.07545 (2017) - [i10]Domenico Cantone, Alfio Giarlotta, Stephen Watson:
The satisfiability problem for Boolean set theory with a choice correspondence (Extended version). CoRR abs/1708.06121 (2017) - [i9]Claudia Cantale, Domenico Cantone, Manuela Lupica Rinato, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
The Shape of a Benedictine Monastery: The SaintGall Ontology. CoRR abs/1709.02618 (2017) - 2016
- [c61]Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
Conjunctive Query Answering via a Fragment of Set Theory. ICTCS 2016: 23-35 - [c60]Domenico Cantone, Salvatore Cristofaro:
A Variant of Turing Machines with no Control States and its Connection to Bounded Temporal Memory. ICTCS 2016: 36-48 - [c59]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 - [p2]Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti
:
Banishing Ultrafilters from Our Consciousness. Martin Davis on Computability, Computational Logic, and Mathematical Foundations 2016: 255-283 - [e2]Domenico Cantone, Giorgio Delzanno:
Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016. EPTCS 226, 2016 [contents] - [i8]Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
Conjunctive Query Answering via a Fragment of Set Theory (Extended Version). CoRR abs/1606.07337 (2016) - 2015
- [j37]Domenico Cantone, Salvatore Cristofaro, Giuseppe Pappalardo:
Computing Efficiently the Closeness of Word Sets in Natural Language Texts. Int. J. Comput. Linguistics Appl. 6(1): 149-172 (2015) - [c58]Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Francesca Trapani:
Ontoceramic: an OWL ontology for ceramics classification. CILC 2015: 122-127 - [c57]Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
, Daniele Francesco Santamaria
:
Web Ontology Representation and Reasoning via Fragments of Set Theory. RR 2015: 61-76 - [c56]Domenico Cantone, Simone Faro, M. Oguzhan Külekci:
An Efficient Skip-Search Approach to the Order-Preserving Pattern Matching Problem. Stringology 2015: 22-35 - [c55]Domenico Cantone, Marianna Nicolosi Asmundo
:
The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations. ICTCS 2015: 69-86 - [i7]Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
Web ontology representation and reasoning via fragments of set theory. CoRR abs/1505.02075 (2015) - [i6]Domenico Cantone, Marianna Nicolosi Asmundo:
The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations. CoRR abs/1506.01476 (2015) - 2014
- [j36]Domenico Cantone
, Simone Faro
, Emanuele Giaquinta
:
Text searching allowing for inversions and translocations of factors. Discret. Appl. Math. 163: 247-257 (2014) - [j35]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: 215-242 (2014) - [j34]Domenico Cantone
, Simone Faro
:
Fast shortest-paths algorithms in the presence of few destinations of negative-weight arcs. J. Discrete Algorithms 24: 12-25 (2014) - [j33]Domenico Cantone
, Simone Faro
:
Improved and self-tuned occurrence heuristics. J. Discrete Algorithms 28: 73-84 (2014) - [j32]Elisa Pappalardo, Domenico Cantone
, Panos M. Pardalos:
A combined greedy-walk heuristic and simulated annealing approach for the closest string problem. Optim. Methods Softw. 29(4): 673-702 (2014) - [j31]Domenico Cantone
, Cristiano Longo:
A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions. Theor. Comput. Sci. 560: 307-325 (2014) - [c54]Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo:
Herbrand-Satisfiability of a Quantified Set-theoretical Fragment. CILC 2014: 162-177 - [c53]Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska:
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation. CILC 2014: 194-209 - [c52]Domenico Cantone
, Joanna Golinska-Pilarek
, Marianna Nicolosi Asmundo
:
A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics. HAIS 2014: 466-477 - [c51]Domenico Cantone, Simone Faro:
Efficient Online Abelian Pattern Matching in Strings by Simulating Reactive Multi-Automata. Stringology 2014: 30-42 - [i5]Marcello La Rocca, Domenico Cantone:
NeatSort - A practical adaptive algorithm. CoRR abs/1407.6183 (2014) - 2013
- [j30]Domenico Cantone
, Marianna Nicolosi Asmundo
:
On the Satisfiability Problem for a 4-level Quantified Syllogistic and Some Applications to Modal Logic. Fundam. Informaticae 124(4): 427-448 (2013) - [j29]Domenico Cantone
, Salvatore Cristofaro
, Simone Faro
:
Efficient string-matching allowing for non-overlapping inversions. Theor. Comput. Sci. 483: 85-95 (2013) - [j28]Domenico Cantone
, Micha Hofri:
Further analysis of the remedian algorithm. Theor. Comput. Sci. 495: 1-16 (2013) - [c50]Cristiano Longo, Aldo Gangemi, Domenico Cantone:
Representing Kinship Relations on the Semantic Web. OWLED 2013 - [c49]Domenico Cantone, Simone Faro:
Improved and Self-Tuned Occurrence Heuristics. Stringology 2013: 92-106 - [e1]Domenico Cantone, Marianna Nicolosi Asmundo:
Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013. CEUR Workshop Proceedings 1068, CEUR-WS.org 2013 [contents] - [i4]Domenico Cantone, Marianna Nicolosi Asmundo:
On the satisfiability problem for a 3-level quantified syllogistic. CoRR abs/1304.2412 (2013) - 2012
- [j27]Domenico Cantone
, Simone Faro
, Emanuele Giaquinta
:
A compact representation of nondeterministic (suffix) automata for the bit-parallel approach. Inf. Comput. 213: 3-12 (2012) - [j26]Matteo Campanelli
, Domenico Cantone
, Simone Faro
, Emanuele Giaquinta
:
Pattern Matching with Swaps in Practice. Int. J. Found. Comput. Sci. 23(2): 323-342 (2012) - [j25]Domenico Cantone
, Simone Faro
, Emanuele Giaquinta
:
Adapting Boyer-Moore-like Algorithms for Searching Huffman Encoded Texts. Int. J. Found. Comput. Sci. 23(2): 343-356 (2012) - [j24]Domenico Cantone
, Andrea Formisano
, Marianna Nicolosi Asmundo
, Eugenio Giovanni Omodeo
:
A graphical representation of relational formulae with complementation. RAIRO Theor. Informatics Appl. 46(2): 261-289 (2012) - [j23]Domenico Cantone
, Simone Faro
, Emanuele Giaquinta
:
On the bit-parallel simulation of the nondeterministic Aho-Corasick and suffix automata for a set of patterns. J. Discrete Algorithms 11: 25-36 (2012) - [c48]Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo:
On the Elimination of Quantifiers through Descriptors in Predicate Logic. CILC 2012: 17-31 - [c47]Domenico Cantone, Cristiano Longo:
A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions. GandALF 2012: 224-237 - [i3]Domenico Cantone, Marianna Nicolosi Asmundo:
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic (extended version). CoRR abs/1209.1943 (2012) - [i2]Antonio Pisasale, Domenico Cantone:
An Experiment on the Connection between the DLs' Family DL<ForAllPiZero> and the Real World. CoRR abs/1211.4957 (2012) - 2011
- [b4]Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo:
Computational Logic and Set Theory - Applying Formalized Logic to Analysis. Springer 2011, ISBN 978-0-85729-807-2, pp. I-XVII, 1-416 - [j22]Domenico Cantone
, Marianna Nicolosi Asmundo
, Ewa Orlowska:
Dual tableau-based decision procedures for relational logics with restricted composition operator. J. Appl. Non Class. Logics 21(2): 177-200 (2011) - [c46]Domenico Cantone, Marianna Nicolosi Asmundo:
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic. CILC 2011: 73-97 - [c45]Domenico Cantone
, Salvatore Cristofaro
, Simone Faro
:
Efficient Matching of Biological Sequences Allowing for Non-overlapping Inversions. CPM 2011: 364-375 - [c44]Domenico Cantone
, Cristiano Longo, Marianna Nicolosi Asmundo
:
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics. CSL 2011: 129-143 - 2010
- [c43]Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska:
Dual Tableau-based Decision Procedures for Some Relational Logics. CILC 2010 - [c42]Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo:
A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs. CILC 2010 - [c41]Domenico Cantone
, Simone Faro
, Emanuele Giaquinta
:
A Compact Representation of Nondeterministic (Suffix) Automata for the Bit-Parallel Approach. CPM 2010: 288-298 - [c40]Domenico Cantone
, Simone Faro
, Emanuele Giaquinta
:
Bit-(Parallelism)2: Getting to the Next Level of Parallelism. FUN 2010: 166-177 - [c39]Domenico Cantone, Simone Faro, Emanuele Giaquinta:
Approximate String Matching Allowing for Inversions and Translocations. Stringology 2010: 37-51 - [c38]Domenico Cantone, Salvatore Cristofaro, Simone Faro:
A Space-Efficient Implementation of the Good-Suffix Heuristic. Stringology 2010: 63-75 - [i1]Domenico Cantone, Simone Faro:
On Tuning the Bad-Character Rule: the Worst-Character Rule. CoRR abs/1012.1338 (2010)
2000 – 2009
- 2009
- [j21]Domenico Cantone
, Salvatore Cristofaro
, Simone Faro
:
New Efficient Bit-Parallel Algorithms for the (delta, alpha)-Matching Problem with Applications in Music Information Retrieval. Int. J. Found. Comput. Sci. 20(6): 1087-1108 (2009) - [c37]Matteo Campanelli
, Domenico Cantone
, Simone Faro
:
A New Algorithm for Efficient Pattern Matching with Swaps. IWOCA 2009: 230-241 - [c36]Domenico Cantone
, Simone Faro
:
Pattern Matching with Swaps for Short Patterns in Linear Time. SOFSEM 2009: 255-266 - [c35]Domenico Cantone, Simone Faro, Emanuele Giaquinta:
Adapting Boyer-Moore-Like Algorithms for Searching Huffman Encoded Texts. Stringology 2009: 29-39 - [c34]Matteo Campanelli, Domenico Cantone, Simone Faro, Emanuele Giaquinta:
An Efficient Algorithm for Approximate Pattern Matching with Swaps. Stringology 2009: 90-104 - 2008
- [j20]Domenico Cantone
, Salvatore Cristofaro
, Simone Faro
:
On Some Combinatorial Problems Concerning the Harmonic Structure of Musical Chord Sequences. Int. J. Found. Comput. Sci. 19(1): 103-124 (2008) - [c33]Domenico Cantone
, Salvatore Cristofaro
, Simone Faro
, Emanuele Giaquinta
:
Finite State Models for the Generation of Large Corpora of Natural Language Texts. FSMNLP 2008: 175-182 - [c32]Domenico Cantone, Salvatore Cristofaro, Simone Faro:
New Efficient Bit-Parallel Algorithms for the delta-Matching Problem with alpha-Bounded Gaps in Musical Sequences. Stringology 2008: 170184 - 2007
- [j19]Domenico Cantone
, Marianna Nicolosi Asmundo
:
A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux. J. Autom. Reason. 38(1-3): 31-56 (2007) - 2006
- [j18]Domenico Cantone
, Simone Faro
:
A Space Efficient Bit-parallel Algorithm for the Multiple String Matching Problem. Int. J. Found. Comput. Sci. 17(6): 1235-1252 (2006) - [j17]Domenico Cantone
, Gianluca Cincotti, Giovanni Gallo
:
Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates. J. Symb. Comput. 41(7): 763-789 (2006) - [c31]Eugenio G. Omodeo
, Domenico Cantone
, Alberto Policriti
, Jacob T. Schwartz:
A Computerized Referee. Reasoning, Action and Interaction in AI Theories and Systems 2006: 117-139 - [c30]Domenico Cantone, Salvatore Cristofaro, Simone Faro:
On some combinatorial problems concerning the harmonic structure of musical chord sequences. Stringology 2006: 49-64 - [p1]Domenico Cantone
, Calogero G. Zarba:
A Decision Procedure for Monotone Functions over Bounded and Complete Lattices. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 318-333 - 2005
- [j16]Domenico Cantone, Simone Faro:
Fast-Search Algorithms: New Efficient Variants of the Boyer-Moore Pattern-Matching Algorithm. J. Autom. Lang. Comb. 10(5/6): 589-608 (2005) - [j15]Domenico Cantone
, Calogero G. Zarba, Rosa Ruggeri Cannata:
A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership. J. Autom. Reason. 34(1): 49-72 (2005) - [j14]Domenico Cantone
, Gianluca Cincotti, Alfredo Ferro, Alfredo Pulvirenti
:
An Efficient Approximate Algorithm for the 1-Median Problem in Metric Spaces. SIAM J. Optim. 16(2): 434-451 (2005) - [j13]Domenico Cantone
, Alfredo Ferro, Alfredo Pulvirenti
, Diego Reforgiato Recupero
, Dennis E. Shasha:
Antipole Tree Indexing to Support Range Search and K-Nearest Neighbor Search in Metric Spaces. IEEE Trans. Knowl. Data Eng. 17(4): 535-550 (2005) - [c29]Domenico Cantone, Salvatore Cristofaro, Simone Faro:
On Tuning the (\delta, \alpha)-Sequential-Sampling Algorithm for \delta-Approximate Matching with Alpha-Bounded Gaps in Musical Sequences. ISMIR 2005: 454-459 - [c28]Domenico Cantone, Salvatore Cristofaro, Simone Faro:
Solving the (\delta, \alpha)-Approximate Matching Problem Under Transposition Invariance in Musical Sequences. ISMIR 2005: 460-463 - [c27]Domenico Cantone, Simone Faro:
A space efficient bit-parallel algorithm for the multiple string matching problem. Stringology 2005: 109-124 - [c26]Domenico Cantone
, Calogero G. Zarba:
A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity. TABLEAUX 2005: 93-107 - [c25]Domenico Cantone, Alfredo Ferro, Rosalba Giugno
, Giuseppe Lo Presti, Alfredo Pulvirenti:
Multiple-Winners Randomized Tournaments with Consensus for Optimization Problems in Generic Metric Spaces. WEA 2005: 265-276 - [c24]Domenico Cantone, Salvatore Cristofaro
, Simone Faro
:
An Efficient Algorithm for alpha-Approximate Matching with delta-Bounded Gaps in Musical Sequences. WEA 2005: 428-439 - 2004
- [j12]Domenico Cantone
, Simone Faro
:
Two-Levels-Greedy: a generalization of Dijkstra's shortest path algorithm. Electron. Notes Discret. Math. 17: 81-86 (2004) - [j11]Calogero G. Zarba, Domenico Cantone
, Jacob T. Schwartz:
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case. J. Autom. Reason. 33(3-4): 251-269 (2004) - [c23]Domenico Cantone, Simone Faro:
Two-Levels-Greedy: A Generalized of Dijkstra's Shortest Path Algorithm. CTW 2004: 75-80 - [c22]Domenico Cantone, Salvatore Cristofaro, Simone Faro:
Efficient Algorithms for the delta-Approximate String Matching Problem in Musical Sequences. Stringology 2004: 33-47 - 2003
- [j10]Domenico Cantone
, Andrea Formisano
, Eugenio G. Omodeo
, Calogero G. Zarba:
Compiling dyadic first-order specifications into map algebra. Theor. Comput. Sci. 293(2): 447-475 (2003) - [c21]Domenico Cantone, Calogero G. Zarba:
A Decision Procedure for Monotone Functions over Lattices. APPIA-GULP-PRODE 2003: 1-12 - [c20]Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz, Pietro Ursino:
Notes from the Logbook of a Proof-Checker's Project. Verification: Theory and Practice 2003: 182-207 - [c19]Domenico Cantone, Simone Faro:
Forward-Fast-Search: Another Fast Variant of the Boyer-Moore String Matching Algorithm. Stringology 2003: 10-24 - [c18]Domenico Cantone, Simone Faro
:
Fast-Search: A New Efficient Variant of the Boyer-Moore String Matching Algorithm. WEA 2003: 47-58 - [c17]Domenico Cantone
, Jacob T. Schwartz, Calogero G. Zarba:
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. FTP 2003: 49-60 - 2002
- [j9]Domenico Cantone
, Pietro Ursino
, Eugenio G. Omodeo
:
Formative Processes with Applications to the Decision Problem in Set Theory, I. Powerset and Singleton Operators. Inf. Comput. 172(2): 165-201 (2002) - [j8]Domenico Cantone
, Gianluca Cincotti:
QuickHeapsort, an efficient mix of classical sorting algorithms. Theor. Comput. Sci. 285(1): 25-42 (2002) - 2001
- [b3]Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti:
Set Theory for Computing - From Decision Procedures to Declarative Programming with Sets. Monographs in Computer Science, Springer 2001, ISBN 978-1-4419-2905-1, pp. 1-409 - 2000
- [c16]Domenico Cantone, Gianluca Cincotti:
QuickHeapsort, an Efficient Mix of Classical Sorting Algorithms. CIAC 2000: 150-162 - [c15]Sebastiano Battiato, Domenico Cantone, Dario Catalano, Gianluca Cincotti, Micha Hofri:
An Efficient Algorithm for the Approximate Median Selection Problem. CIAC 2000: 226-238 - [c14]Domenico Cantone
, Calogero G. Zarba:
A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning. TABLEAUX 2000: 143-159
1990 – 1999
- 1999
- [c13]Domenico Cantone, Eugenio G. Omodeo, Pietro Ursino:
Transitive Venn diagrams with applications to the decision problem in set theory. APPIA-GULP-PRODE 1999: 167-182 - [c12]Domenico Cantone, Calogero G. Zarba:
A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification. TABLEAUX 1999: 97-112 - 1998
- [c11]Domenico Cantone, Marianna Nicolosi Asmundo:
A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux. FTP (LNCS Selection) 1998: 109-125 - [c10]Domenico Cantone, Calogero G. Zarba:
A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory. FTP (LNCS Selection) 1998: 126-136 - 1997
- [c9]Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo:
Global Skolemization with Grouped Quantifiers. APPIA-GULP-PRODE 1997: 405-414 - [c8]Domenico Cantone:
A Fast Saturation Strategy for Set-Theoretic Tableaux. TABLEAUX 1997: 122-137 - 1993
- [c7]Domenico Cantone, Rosa Ruggeri Cannata:
Proving Set-Theoretic Formulae by a Tableaux Method. ICLP Workshop on Logic Programming with Sets 1993 - [c6]Domenico Cantone, Vincenzo Cutello
:
Decision Procedures for Stratified Set-Theoretic Syllogistics. ISSAC 1993: 105-110 - 1991
- [j7]Domenico Cantone
:
Decision Procedures for Elementary Sublanguages of Set Theory: X. Multilevel Syllogistic Extended by the Singleton and Powerset Operators. J. Autom. Reason. 7(2): 193-230 (1991) - [j6]Domenico Cantone
, Jacob T. Schwartz:
Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs. J. Autom. Reason. 7(2): 231-256 (1991) - 1990
- [j5]Domenico Cantone
, Eugenio G. Omodeo
, Alberto Policriti
:
The Automation of Syllogistic. J. Autom. Reason. 6(2): 173-187 (1990) - [j4]Domenico Cantone
, Vincenzo Cutello
:
Decision Procedures for Elementary Sublanguages of Set Theory. J. Autom. Reason. 6(2): 189-201 (1990) - [c5]Domenico Cantone, Vincenzo Cutello
, Jacob T. Schwartz:
Decision Problems for Tarski and Presburger Arithmetics Extended With Sets. CSL 1990: 95-109 - [c4]Domenico Cantone, Vincenzo Cutello:
A Decidable Fragment of the Elementary Theory of Relations and Some Applications. ISSAC 1990: 24-29
1980 – 1989
- 1989
- [b2]Domenico Cantone, Alfredo Ferro, Eugenio G. Omodeo:
Computable set theory. Volume 1. The international series of monographs on computer science 6, Clarendon Press / Oxford University Press 1989, ISBN 0-19-853807-3 - [j3]Domenico Cantone, Vincenzo Cutello:
Decision procedures for elementary sublanguages of set theory, XVI, Multilevel syllogistic extended by singleton, rank comparison and unary intersection. Bull. EATCS 39: 139-148 (1989) - [c3]Domenico Cantone, Vincenzo Cutello
, Alberto Policriti
:
Set-Theoretic Reductions of Hilbert's Tenth Problem. CSL 1989: 65-75 - [c2]Domenico Cantone, Eugenio G. Omodeo:
On the Decidability of Formulae Involving Continuous and Closed Functions. IJCAI 1989: 425-430 - 1988
- [j2]Domenico Cantone, Susanna Ghelfo, Eugenio G. Omodeo:
The Automation of Syllogistic I. Syllogistic Normal Forms. J. Symb. Comput. 6(1): 83-98 (1988) - [c1]Domenico Cantone, Vincenzo Cutello, Alfredo Ferro:
Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs. ISSAC 1988: 407-422 - 1987
- [b1]Domenico Cantone:
A Decision Procedure for a Class of Unquantified Formulae of Set Theory Involving the Powerset and Singleton Operators. New York University, USA, 1987 - [j1]Domenico Cantone
, Alfredo Ferro, Jacob T. Schwartz:
Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator. J. Comput. Syst. Sci. 34(1): 1-18 (1987)
Coauthor Index
aka: Eugenio Giovanni Omodeo
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 20:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint