Domenico Cantone

208 papers A* 1B 16C 7Misc 17Journal 88Unranked 69

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Quantum algorithms for longest common and palindromic substrings in the circuit model. Theor. Comput. Sci. Domenico Cantone, Simone Faro, Arianna Pavone, Caterina Viola
2026	J	`jnl`	The Ackermann encoding and its siblings. J. Log. Comput. Simone Boscaratto, Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti
2026	J	`jnl`	Towards an Effective Extension of Activity Streams. Appl. Ontology Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2025	—	`conf`	ALIGHIERoo: Advanced Literary and Iconographic Graph for Hermeneutics of Interconnected Editions and Resources - Object Oriented. CILC Domenico Cantone, Marianna Nicolosi Asmundo, Stefano Angelo Rizzo
2025	—	`conf`	An Etymological Dataset for Nouns and Verbs in the Gallo-Italic Variety Spoken in Nicosia and Sperlinga. JOWO Domenico Cantone, Vincenzo Nicolò Di Caro, Cristiano Longo, Salvatore Menza, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2025	J	`jnl`	Decision algorithms for fragments of real analysis. III: A theory of differentiable functions with (semi-)open intervals. CoRR Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
2025	—	`conf`	Key Metalogical Propositions on a Variant of Hilbert's Epsilon-Calculus. CILC Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo
2025	—	`conf`	Ontologies for Simulating Smart Cities: the KnOCS Project. JOWO Chiara Alì, Domenico Cantone, Giorgia Leanza, Mirko Giuseppe Mangano, Alex Mattia, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2024	—	`conf`	A New Directly Accessible Compression Scheme. ICTCS Simone Faro, Domenico Cantone
2024	J	`jnl`	A behaviouristic semantic approach to blockchain-based e-commerce. Semantic Web Giampaolo Bella, Domenico Cantone, Gianpietro Castiglione, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2024	—	`conf`	A meta-ontological approach to securing the semantic web data. JOWO Giampaolo Bella, Domenico Cantone, Gianpietro Castiglione, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2024	—	`conf`	An OWL Ontology for Linguistic Phenomena with Applications to Gallo-Italic Dialects in Sicily. SWODCH Domenico Cantone, Vincenzo Nicolò Di Caro, Cristiano Longo, Salvatore Menza, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2024	J	`jnl`	Decidability of the Satisfiability Problem for Boolean Set Theory with the Unordered Cartesian Product Operator. ACM Trans. Comput. Log. Domenico Cantone, Pietro Ursino
2024	J	`jnl`	Decision algorithms for fragments of real analysis. II. A theory of differentiable functions with convexity and concavity predicates. CoRR Domenico Cantone, Gianluca Cincotti
2024	—	`ed.`	From Computational Logic to Computational Biology - Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career From Computational Logic to Computational Biology Domenico Cantone, Alfredo Pulvirenti
2024	—	`conf`	Onset and Today's Perspectives of Multilevel Syllogistic. From Computational Logic to Computational Biology Domenico Cantone, Eugenio G. Omodeo
2024	—	`conf`	Quantum Circuit Based Longest Common Substring. ICTCS Domenico Cantone, Simone Faro, Arianna Pavone, Caterina Viola
2024	—	`conf`	Quantum Circuits for Fixed Matching Substring Problems. SAI (3) Domenico Cantone, Simone Faro, Arianna Pavone, Caterina Viola
2024	—	`conf`	Some Decidability Issues Concerning C^n Real Functions. CILC Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
2024	C	`conf`	The Decision Problem for Undirected Graphs with Reachability and Acyclicity. CiE Domenico Cantone, Andrea De Domenico, Pietro Maugeri
2024	J	`jnl`	Towards a semantic blockchain: A behaviouristic approach to modelling Ethereum. Appl. Ontology Giampaolo Bella, Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2023	—	`conf`	A Brief History of Singlefold Diophantine Definitions. CILC Domenico Cantone, Luca Cuzziol, Eugenio G. Omodeo
2023	J	`jnl`	A decidable theory involving addition of differentiable real functions. Theor. Comput. Sci. Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
2023	—	`conf`	A tool to easing the configuration and deploying process of Hyperledger Fabric. BIR Workshops Domenico Cantone, Daniele Francesco Santamaria, Vincenzo Spinello
2023	—	`conf`	Complexity Results for Some Fragments of Set Theory Involving the Unordered Cartesian Product Operator. ICTCS Domenico Cantone, Pietro Maugeri
2023	J	`jnl`	Complexity assessments for decidable fragments of Set Theory. III: Testers for crucial, polynomial-maximal decidable Boolean languages. Theor. Comput. Sci. Domenico Cantone, Pietro Maugeri, Eugenio G. Omodeo
2023	—	`conf`	Continued Hereditarily Finite Sets Approximations. CILC Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti
2023	J	`jnl`	Longest Common Substring and Longest Palindromic Substring in Õ(√n) Time. CoRR Domenico Cantone, Simone Faro, Arianna Pavone, Caterina Viola
2023	J	`jnl`	Quantum Circuits for Fixed Substring Matching Problems. CoRR Domenico Cantone, Simone Faro, Arianna Pavone, Caterina Viola
2023	C	`conf`	Quantum String Matching Unfolded and Extended. RC Domenico Cantone, Simone Faro, Arianna Pavone
2023	J	`jnl`	Reconciling transparency, low J. Log. Comput. Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere
2023	J	`jnl`	The Many Qualities of a New Directly Accessible Compression Scheme. CoRR Domenico Cantone, Simone Faro
2023	J	`jnl`	The Ontology for Agents, Systems and Integration of Services: OASIS version 2. CoRR Giampaolo Bella, Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2023	—	`conf`	The Satisfiability Problem for Boolean Set Theory with a Rational Choice Correspondence. ICTCS Domenico Cantone, Alfio Giarlotta, Pietro Maugeri, Stephen Watson
2023	J	`jnl`	The ontology for agents, systems and integration of services: OASIS version 2 Intelligenza Artificiale Giampaolo Bella, Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2022	—	`conf`	The ontology for agents, systems and integration of services: recent advancements of OASIS. WOA Giampaolo Bella, Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2022	J	`jnl`	Towards ontological interoperability of cognitive IoT agents based on natural language processing. Intelligenza Artificiale Carmelo Fabio Longo, Corrado Santoro, Marianna Nicolosi Asmundo, Domenico Cantone, Daniele Francesco Santamaria
2021	—	`conf`	A Decidable Theory Treating Addition of Differentiable Real Functions. ICTCS Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
2021	J	`jnl`	An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4, ×. Fundam. Informaticae Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2021	Misc	`conf`	Blockchains Through Ontologies: The Case Study of the Ethereum ERC721 Standard in oasis. IDC Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2021	J	`jnl`	Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version). CoRR Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2021	J	`jnl`	Choice resolutions. Soc. Choice Welf. Domenico Cantone, Alfio Giarlotta, Stephen Watson
2021	J	`jnl`	Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case. Fundam. Informaticae Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo
2021	J	`jnl`	Complexity assessments for decidable fragments of Set Theory. III: A quadratic reduction of constraints over nested sets to Boolean formulae. CoRR Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo
2021	—	`conf`	On the Convexity of a Fragment of Pure Set Theory with Applications within a Nelson-Oppen Framework. GandALF Domenico Cantone, Andrea De Domenico, Pietro Maugeri
2021	Misc	`conf`	Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services. IDC Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Corrado Santoro
2021	J	`jnl`	Resolutions of Convex Geometries. Electron. J. Comb. Domenico Cantone, Jean-Paul Doignon, Alfio Giarlotta, Stephen Watson
2021	—	`conf`	SW-CASPAR: Reactive-Cognitive Architecture based on Natural Language Processing for the task of Decision-Making in the Open-World Assumption. WOA Carmelo Fabio Longo, Corrado Santoro, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Domenico Cantone
2021	—	`conf`	Semantic Representation as a Key Enabler for Blockchain-Based Commerce. GECON Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2021	J	`jnl`	Text Searching Allowing for Non-Overlapping Adjacent Unbalanced Translocations. CoRR Domenico Cantone, Simone Faro, Arianna Pavone
2021	J	`jnl`	The ideal Benedictine Monastery: From the Saint Gall map to ontologies. Appl. Ontology Claudia Cantale, Domenico Cantone, Manuela Lupica Rinato, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Maria Rosaria Stufano Melone
2021	—	`conf`	Two Crucial Cubic-Time Components of Polynomial-Maximal Decidable Boolean Languages. ICTCS Domenico Cantone, Pietro Maugeri, Eugenio G. Omodeo
2021	—	`conf`	Very Weak, Essentially Undecidabile Set Theories. CILC Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere
2020	B	`ed.`	18th International Symposium on Experimental Algorithms, SEA 2020, Catania, Italy, June 16-18, 2020 SEA Simone Faro, Domenico Cantone
2020	—	`conf`	A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals. CILC Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà
2020	—	`conf`	A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF. CILC Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo
2020	J	`jnl`	A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟ℒD4, ×. Fundam. Informaticae Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2020	—	`conf`	An Ontology for the Iconographic Sources of La Divina Commedia. CILC Andrea De Domenico, Domenico Cantone, Marianna Nicolosi Asmundo
2020	—	`conf`	Bit-Layers Text Encoding for Efficient Text Processing. SOFSEM (Doctoral Student Research Forum) Domenico Cantone, Simone Faro, Stefano Scafiti
2020	J	`jnl`	Complexity assessments for decidable fragments of set theory. II: A taxonomy for 'small' languages involving membership. Theor. Comput. Sci. Domenico Cantone, Pietro Maugeri, Eugenio G. Omodeo
2020	—	`conf`	From Hilbert's 10th Problem to slim, Undecidable Fragments of Set Theory. ICTCS Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere
2020	J	`jnl`	Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services. CoRR Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Corrado Santoro
2020	C	`conf`	Sequence Searching Allowing for Non-Overlapping Adjacent Unbalanced Translocations. WABI Domenico Cantone, Simone Faro, Arianna Pavone
2020	—	`conf`	Shape-Preserving Pattern Matching. ICTCS Domenico Cantone, Simone Faro, M. Oguzhan Külekci
2020	J	`jnl`	The order-preserving pattern matching problem in practice. Discret. Appl. Math. Domenico Cantone, Simone Faro, M. Oguzhan Külekci
2019	—	`conf`	A Potential-Based Variant of the Bellman-Ford Algorithm. ICTCS Domenico Cantone, Pietro Maugeri, Stefano Scafiti
2019	J	`jnl`	Congruence relations on a choice space. Soc. Choice Welf. Domenico Cantone, Alfio Giarlotta, Stephen Watson
2019	—	`conf`	Does Every Recursively Enumerable Set Admit a Finite-Fold Diophantine Representation? CILC Domenico Cantone, Alberto Casagrande, Francesco Fabris, Eugenio G. Omodeo
2019	J	`jnl`	Linear and Efficient String Matching Algorithms Based on Weak Factor Recognition. ACM J. Exp. Algorithmics Domenico Cantone, Simone Faro, Arianna Pavone
2019	—	`conf`	Polynomial-Time Satisfiability Tests for 'Small' Membership Theories. ICTCS Domenico Cantone, Pietro Maugeri
2019	—	`conf`	Polynomial-Time Satisfiability Tests for Boolean Fragments of Set Theory. CILC Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo
2019	—	`conf`	Towards an Ontology-Based Framework for a Behavior-Oriented Integration of the IoT. WOA Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Corrado Santoro
2018	J	`jnl`	A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version). CoRR Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska
2018	—	`conf`	A Set-Based Reasoner for the Description Logic DL SETS@ABZ Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2018	J	`jnl`	A set-based reasoner for the description logic \shdlssx (Extended Version). CoRR Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2018	—	`book`	An Introduction to the Technique of Formative Processes in Set Theory Domenico Cantone, Pietro Ursino
2018	B	`conf`	An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4, \!\times }$$. RuleML+RR Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2018	J	`jnl`	An optimized KE-tableau-based system for reasoning in the description logic \shdlssx. CoRR Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2018	—	`conf`	Can a Single Equation Witness that every r.e. Set Admits a Finite-fold Diophantine Representation? CILC Domenico Cantone, Eugenio G. Omodeo
2018	J	`jnl`	Encoding Sets as Real Numbers (Extended version). CoRR Domenico Cantone, Alberto Policriti
2018	—	`conf`	Encoding Sets as Real Numbers. SETS@ABZ Domenico Cantone, Alberto Policriti
2018	J	`jnl`	Games, automata, logics and formal verification (GandALF 2016). Inf. Comput. Domenico Cantone, Giorgio Delzanno
2018	J	`jnl`	Sequence Searching Allowing for Non-Overlapping Adjacent Unbalanced Translocations. CoRR Domenico Cantone, Simone Faro, Arianna Pavone
2017	—	`conf`	A C++ Reasoner for the Description Logic DL-4X(D). ICTCS/CILC Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2017	B	`conf`	A Set-Theoretic Approach to ABox Reasoning Services. RuleML+RR Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2017	J	`jnl`	A \textsf{C++} reasoner for the description logic $\shdlssx$. CoRR Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2017	J	`jnl`	A set-theoretical approach for ABox reasoning services (Extended Version). CoRR Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2017	J	`jnl`	Herbrand-satisfiability of a Quantified Set-theoretic Fragment. Fundam. Informaticae Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
2017	Misc	`conf`	Speeding Up String Matching by Weak Factor Recognition. PSC Domenico Cantone, Simone Faro, Arianna Pavone
2017	J	`jnl`	Speeding Up String Matching by Weak Factor Recognition. CoRR Domenico Cantone, Simone Faro, Arianna Pavone
2017	—	`conf`	The Satisfiability Problem for Boolean Set Theory with a Choice Correspondence. GandALF Domenico Cantone, Alfio Giarlotta, Stephen Watson
2017	—	`conf`	The Shape of a Benedictine Monastery: The SaintGall Ontology. JOWO Claudia Cantale, Domenico Cantone, Manuela Lupica Rinato, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2017	J	`jnl`	The Shape of a Benedictine Monastery: The SaintGall Ontology. CoRR Claudia Cantale, Domenico Cantone, Manuela Lupica Rinato, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2017	J	`jnl`	The satisfiability problem for Boolean set theory with a choice correspondence (Extended version). CoRR Domenico Cantone, Alfio Giarlotta, Stephen Watson
2016	—	`conf`	A Variant of Turing Machines with no Control States and its Connection to Bounded Temporal Memory. ICTCS Domenico Cantone, Salvatore Cristofaro
2016	—	`conf`	An OWL Framework for Rule-based Recognition of Places in Italian Non-structured Text. KDWeb Domenico Cantone, Andrea Fornaia, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Emiliano Tramontana
2016	—	`ch.`	Banishing Ultrafilters from Our Consciousness. Martin Davis on Computability, Computational Logic, and Mathematical Foundations Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti
2016	J	`jnl`	Conjunctive Query Answering via a Fragment of Set Theory (Extended Version). CoRR Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2016	—	`conf`	Conjunctive Query Answering via a Fragment of Set Theory. ICTCS Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2016	—	`ed.`	Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016. GandALF Domenico Cantone, Giorgio Delzanno
2015	Misc	`conf`	An Efficient Skip-Search Approach to the Order-Preserving Pattern Matching Problem. PSC Domenico Cantone, Simone Faro, M. Oguzhan Külekci
2015	J	`jnl`	Computing Efficiently the Closeness of Word Sets in Natural Language Texts. Int. J. Comput. Linguistics Appl. Domenico Cantone, Salvatore Cristofaro, Giuseppe Pappalardo
2015	—	`conf`	Ontoceramic: an OWL ontology for ceramics classification. CILC Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Francesca Trapani
2015	—	`conf`	The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations. ICTCS Domenico Cantone, Marianna Nicolosi Asmundo
2015	J	`jnl`	The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations. CoRR Domenico Cantone, Marianna Nicolosi Asmundo
2015	—	`conf`	Web Ontology Representation and Reasoning via Fragments of Set Theory. RR Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2015	J	`jnl`	Web ontology representation and reasoning via fragments of set theory. CoRR Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2014	—	`conf`	A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation. CILC Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska
2014	Misc	`conf`	A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics. HAIS Domenico Cantone, Joanna Golinska-Pilarek, Marianna Nicolosi Asmundo
2014	J	`jnl`	A combined Optim. Methods Softw. Elisa Pappalardo, Domenico Cantone, Panos M. Pardalos
2014	J	`jnl`	A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions. Theor. Comput. Sci. Domenico Cantone, Cristiano Longo
2014	Misc	`conf`	Efficient Online Abelian Pattern Matching in Strings by Simulating Reactive Multi-Automata. PSC Domenico Cantone, Simone Faro
2014	J	`jnl`	Fast shortest-paths algorithms in the presence of few destinations of negative-weight arcs. J. Discrete Algorithms Domenico Cantone, Simone Faro
2014	J	`jnl`	Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate. Inf. Comput. Domenico Cantone, Pietro Ursino
2014	—	`conf`	Herbrand-Satisfiability of a Quantified Set-theoretical Fragment. CILC Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
2014	J	`jnl`	Improved and self-tuned occurrence heuristics. J. Discrete Algorithms Domenico Cantone, Simone Faro
2014	J	`jnl`	NeatSort - A practical adaptive algorithm. CoRR Marcello La Rocca, Domenico Cantone
2014	J	`jnl`	Text searching allowing for inversions and translocations of factors. Discret. Appl. Math. Domenico Cantone, Simone Faro, Emanuele Giaquinta
2013	J	`jnl`	Efficient string-matching allowing for non-overlapping inversions. Theor. Comput. Sci. Domenico Cantone, Salvatore Cristofaro, Simone Faro
2013	J	`jnl`	Further analysis of the remedian algorithm. Theor. Comput. Sci. Domenico Cantone, Micha Hofri
2013	Misc	`conf`	Improved and Self-Tuned Occurrence Heuristics. PSC Domenico Cantone, Simone Faro
2013	J	`jnl`	On the Satisfiability Problem for a 4-level Quantified Syllogistic and Some Applications to Modal Logic. Fundam. Informaticae Domenico Cantone, Marianna Nicolosi Asmundo
2013	J	`jnl`	On the satisfiability problem for a 3-level quantified syllogistic CoRR Domenico Cantone, Marianna Nicolosi Asmundo
2013	—	`ed.`	Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013. CILC Domenico Cantone, Marianna Nicolosi Asmundo
2013	—	`conf`	Representing Kinship Relations on the Semantic Web. OWLED Cristiano Longo, Aldo Gangemi, Domenico Cantone
2012	J	`jnl`	A compact representation of nondeterministic (suffix) automata for the bit-parallel approach. Inf. Comput. Domenico Cantone, Simone Faro, Emanuele Giaquinta
2012	—	`conf`	A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions GandALF Domenico Cantone, Cristiano Longo
2012	J	`jnl`	A graphical representation of relational formulae with complementation. RAIRO Theor. Informatics Appl. Domenico Cantone, Andrea Formisano, Marianna Nicolosi Asmundo, Eugenio Giovanni Omodeo
2012	J	`jnl`	Adapting Boyer-Moore-like Algorithms for Searching Huffman Encoded Texts. Int. J. Found. Comput. Sci. Domenico Cantone, Simone Faro, Emanuele Giaquinta
2012	J	`jnl`	An Experiment on the Connection between the DLs' Family DL<ForAllPiZero> and the Real World CoRR Antonio Pisasale, Domenico Cantone
2012	—	`conf`	On the Elimination of Quantifiers through Descriptors in Predicate Logic. CILC Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo
2012	J	`jnl`	On the bit-parallel simulation of the nondeterministic Aho-Corasick and suffix automata for a set of patterns. J. Discrete Algorithms Domenico Cantone, Simone Faro, Emanuele Giaquinta
2012	J	`jnl`	On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic (extended version) CoRR Domenico Cantone, Marianna Nicolosi Asmundo
2012	J	`jnl`	Pattern Matching with Swaps in Practice. Int. J. Found. Comput. Sci. Matteo Campanelli, Domenico Cantone, Simone Faro, Emanuele Giaquinta
2011	B	`conf`	A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics. CSL Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
2011	—	`book`	Computational Logic and Set Theory - Applying Formalized Logic to Analysis. Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
2011	J	`jnl`	Dual tableau-based decision procedures for relational logics with restricted composition operator. J. Appl. Non Class. Logics Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska
2011	B	`conf`	Efficient Matching of Biological Sequences Allowing for Non-overlapping Inversions. CPM Domenico Cantone, Salvatore Cristofaro, Simone Faro
2011	—	`conf`	On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic. CILC Domenico Cantone, Marianna Nicolosi Asmundo
2010	B	`conf`	A Compact Representation of Nondeterministic (Suffix) Automata for the Bit-Parallel Approach. CPM Domenico Cantone, Simone Faro, Emanuele Giaquinta
2010	—	`conf`	A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs. CILC Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
2010	Misc	`conf`	A Space-Efficient Implementation of the Good-Suffix Heuristic. PSC Domenico Cantone, Salvatore Cristofaro, Simone Faro
2010	Misc	`conf`	Approximate String Matching Allowing for Inversions and Translocations. PSC Domenico Cantone, Simone Faro, Emanuele Giaquinta
2010	Misc	`conf`	Bit-(Parallelism) FUN Domenico Cantone, Simone Faro, Emanuele Giaquinta
2010	—	`conf`	Dual Tableau-based Decision Procedures for Some Relational Logics. CILC Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska
2010	J	`jnl`	On Tuning the Bad-Character Rule: the Worst-Character Rule CoRR Domenico Cantone, Simone Faro
2009	C	`conf`	A New Algorithm for Efficient Pattern Matching with Swaps. IWOCA Matteo Campanelli, Domenico Cantone, Simone Faro
2009	Misc	`conf`	Adapting Boyer-Moore-Like Algorithms for Searching Huffman Encoded Texts. PSC Domenico Cantone, Simone Faro, Emanuele Giaquinta
2009	Misc	`conf`	An Efficient Algorithm for Approximate Pattern Matching with Swaps. PSC Matteo Campanelli, Domenico Cantone, Simone Faro, Emanuele Giaquinta
2009	J	`jnl`	New Efficient Bit-Parallel Algorithms for the (delta, alpha)-Matching Problem with Applications in Music Information Retrieval. Int. J. Found. Comput. Sci. Domenico Cantone, Salvatore Cristofaro, Simone Faro
2009	B	`conf`	Pattern Matching with Swaps for Short Patterns in Linear Time. SOFSEM Domenico Cantone, Simone Faro
2008	—	`conf`	Finite State Models for the Generation of Large Corpora of Natural Language Texts. FSMNLP Domenico Cantone, Salvatore Cristofaro, Simone Faro, Emanuele Giaquinta
2008	Misc	`conf`	New Efficient Bit-Parallel Algorithms for the delta-Matching Problem with alpha-Bounded Gaps in Musical Sequences. PSC Domenico Cantone, Salvatore Cristofaro, Simone Faro
2008	J	`jnl`	On Some Combinatorial Problems Concerning the Harmonic Structure of Musical Chord Sequences. Int. J. Found. Comput. Sci. Domenico Cantone, Salvatore Cristofaro, Simone Faro
2007	J	`jnl`	A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux. J. Autom. Reason. Domenico Cantone, Marianna Nicolosi Asmundo
2006	—	`conf`	A Computerized Referee. Reasoning, Action and Interaction in AI Theories and Systems Eugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz
2006	—	`ch.`	A Decision Procedure for Monotone Functions over Bounded and Complete Lattices. Theory and Applications of Relational Structures as Knowledge Instruments Domenico Cantone, Calogero G. Zarba
2006	J	`jnl`	A Space Efficient Bit-parallel Algorithm for the Multiple String Matching Problem. Int. J. Found. Comput. Sci. Domenico Cantone, Simone Faro
2006	J	`jnl`	Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates. J. Symb. Comput. Domenico Cantone, Gianluca Cincotti, Giovanni Gallo
2006	Misc	`conf`	On some combinatorial problems concerning the harmonic structure of musical chord sequences. PSC Domenico Cantone, Salvatore Cristofaro, Simone Faro
2005	B	`conf`	A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity. TABLEAUX Domenico Cantone, Calogero G. Zarba
2005	J	`jnl`	A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership. J. Autom. Reason. Domenico Cantone, Calogero G. Zarba, Rosa Ruggeri Cannata
2005	Misc	`conf`	A space efficient bit-parallel algorithm for the multiple string matching problem. PSC Domenico Cantone, Simone Faro
2005	—	`conf`	An Efficient Algorithm for alpha-Approximate Matching with WEA Domenico Cantone, Salvatore Cristofaro, Simone Faro
2005	J	`jnl`	An Efficient Approximate Algorithm for the 1-Median Problem in Metric Spaces. SIAM J. Optim. Domenico Cantone, Gianluca Cincotti, Alfredo Ferro, Alfredo Pulvirenti
2005	J	`jnl`	Antipole Tree Indexing to Support Range Search and K-Nearest Neighbor Search in Metric Spaces. IEEE Trans. Knowl. Data Eng. Domenico Cantone, Alfredo Ferro, Alfredo Pulvirenti, Diego Reforgiato Recupero, Dennis E. Shasha
2005	J	`jnl`	Fast-Search Algorithms: New Efficient Variants of the Boyer-Moore Pattern-Matching Algorithm. J. Autom. Lang. Comb. Domenico Cantone, Simone Faro
2005	—	`conf`	Multiple-Winners Randomized Tournaments with Consensus for Optimization Problems in Generic Metric Spaces. WEA Domenico Cantone, Alfredo Ferro, Rosalba Giugno, Giuseppe Lo Presti, Alfredo Pulvirenti
2005	—	`conf`	On Tuning the (\delta, \alpha)-Sequential-Sampling Algorithm for \delta-Approximate Matching with Alpha-Bounded Gaps in Musical Sequences. ISMIR Domenico Cantone, Salvatore Cristofaro, Simone Faro
2005	—	`conf`	Solving the (\delta, \alpha)-Approximate Matching Problem Under Transposition Invariance in Musical Sequences. ISMIR Domenico Cantone, Salvatore Cristofaro, Simone Faro
2004	J	`jnl`	A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case. J. Autom. Reason. Calogero G. Zarba, Domenico Cantone, Jacob T. Schwartz
2004	Misc	`conf`	Efficient Algorithms for the delta-Approximate String Matching Problem in Musical Sequences. PSC Domenico Cantone, Salvatore Cristofaro, Simone Faro
2004	C	`conf`	Two-Levels-Greedy: A Generalized of Dijkstra's Shortest Path Algorithm. CTW Domenico Cantone, Simone Faro
2004	J	`jnl`	Two-Levels-Greedy: a generalization of Dijkstra's shortest path algorithm. Electron. Notes Discret. Math. Domenico Cantone, Simone Faro
2003	—	`conf`	A Decision Procedure for Monotone Functions over Lattices. APPIA-GULP-PRODE Domenico Cantone, Calogero G. Zarba
2003	—	`conf`	A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. FTP Domenico Cantone, Jacob T. Schwartz, Calogero G. Zarba
2003	J	`jnl`	Compiling dyadic first-order specifications into map algebra. Theor. Comput. Sci. Domenico Cantone, Andrea Formisano, Eugenio G. Omodeo, Calogero G. Zarba
2003	—	`conf`	Fast-Search: A New Efficient Variant of the Boyer-Moore String Matching Algorithm. WEA Domenico Cantone, Simone Faro
2003	Misc	`conf`	Forward-Fast-Search: Another Fast Variant of the Boyer-Moore String Matching Algorithm. PSC Domenico Cantone, Simone Faro
2003	—	`conf`	Notes from the Logbook of a Proof-Checker's Project. Verification: Theory and Practice Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz, Pietro Ursino
2002	J	`jnl`	Formative Processes with Applications to the Decision Problem in Set Theory, I. Powerset and Singleton Operators. Inf. Comput. Domenico Cantone, Pietro Ursino, Eugenio G. Omodeo
2002	J	`jnl`	QuickHeapsort, an efficient mix of classical sorting algorithms. Theor. Comput. Sci. Domenico Cantone, Gianluca Cincotti
2001	—	`book`	Set Theory for Computing - From Decision Procedures to Declarative Programming with Sets Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti
2000	B	`conf`	A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning. TABLEAUX Domenico Cantone, Calogero G. Zarba
2000	C	`conf`	An Efficient Algorithm for the Approximate Median Selection Problem. CIAC Sebastiano Battiato, Domenico Cantone, Dario Catalano, Gianluca Cincotti, Micha Hofri
2000	C	`conf`	QuickHeapsort, an Efficient Mix of Classical Sorting Algorithms. CIAC Domenico Cantone, Gianluca Cincotti
1999	B	`conf`	A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification. TABLEAUX Domenico Cantone, Calogero G. Zarba
1999	—	`conf`	Transitive Venn diagrams with applications to the decision problem in set theory. APPIA-GULP-PRODE Domenico Cantone, Eugenio G. Omodeo, Pietro Ursino
1998	—	`conf`	A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux. FTP (LNCS Selection) Domenico Cantone, Marianna Nicolosi Asmundo
1998	—	`conf`	A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory. FTP (LNCS Selection) Domenico Cantone, Calogero G. Zarba
1997	B	`conf`	A Fast Saturation Strategy for Set-Theoretic Tableaux. TABLEAUX Domenico Cantone
1997	—	`conf`	Global Skolemization with Grouped Quantifiers. APPIA-GULP-PRODE Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo
1993	B	`conf`	Decision Procedures for Stratified Set-Theoretic Syllogistics. ISSAC Domenico Cantone, Vincenzo Cutello
1993	—	`conf`	Proving Set-Theoretic Formulae by a Tableaux Method. ICLP Workshop on Logic Programming with Sets Domenico Cantone, Rosa Ruggeri Cannata
1991	J	`jnl`	Decision Procedures for Elementary Sublanguages of Set Theory: X. Multilevel Syllogistic Extended by the Singleton and Powerset Operators. J. Autom. Reason. Domenico Cantone
1991	J	`jnl`	Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs. J. Autom. Reason. Domenico Cantone, Jacob T. Schwartz
1990	B	`conf`	A Decidable Fragment of the Elementary Theory of Relations and Some Applications. ISSAC Domenico Cantone, Vincenzo Cutello
1990	B	`conf`	Decision Problems for Tarski and Presburger Arithmetics Extended With Sets. CSL Domenico Cantone, Vincenzo Cutello, Jacob T. Schwartz
1990	J	`jnl`	Decision Procedures for Elementary Sublanguages of Set Theory. J. Autom. Reason. Domenico Cantone, Vincenzo Cutello
1990	J	`jnl`	The Automation of Syllogistic. J. Autom. Reason. Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti
1989	—	`book`	Computable set theory. Volume 1. Domenico Cantone, Alfredo Ferro, Eugenio G. Omodeo
1989	J	`jnl`	Decision procedures for elementary sublanguages of set theory, XVI, Multilevel syllogistic extended by singleton, rank comparison and unary intersection. Bull. EATCS Domenico Cantone, Vincenzo Cutello
1989	A*	`conf`	On the Decidability of Formulae Involving Continuous and Closed Functions. IJCAI Domenico Cantone, Eugenio G. Omodeo
1989	B	`conf`	Set-Theoretic Reductions of Hilbert's Tenth Problem. CSL Domenico Cantone, Vincenzo Cutello, Alberto Policriti
1988	B	`conf`	Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs. ISSAC Domenico Cantone, Vincenzo Cutello, Alfredo Ferro
1988	J	`jnl`	The Automation of Syllogistic I. Syllogistic Normal Forms. J. Symb. Comput. Domenico Cantone, Susanna Ghelfo, Eugenio G. Omodeo
1987	—	`—`	A Decision Procedure for a Class of Unquantified Formulae of Set Theory Involving the Powerset and Singleton Operators. Domenico Cantone
1987	J	`jnl`	Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator. J. Comput. Syst. Sci. Domenico Cantone, Alfredo Ferro, Jacob T. Schwartz