research
∙
09/03/2023
Longest Common Substring and Longest Palindromic Substring in 𝒪̃(√(n)) Time
The Longest Common Substring (LCS) and Longest Palindromic Substring (LP...
share
research
∙
08/22/2023
Quantum Circuits for Fixed Substring Matching Problems
Quantum computation represents a computational paradigm whose distinctiv...
research
∙
06/14/2023
The Ontology for Agents, Systems and Integration of Services: OASIS version 2
Semantic representation is a key enabler for several application domains...
research
∙
03/31/2023
The Many Qualities of a New Directly Accessible Compression Scheme
We present a new variable-length computation-friendly encoding scheme, n...
research
∙
12/09/2021
Complexity assessments for decidable fragments of Set Theory. III: A quadratic reduction of constraints over nested sets to Boolean formulae
As a contribution to quantitative set-theoretic inferencing, a translati...
research
∙
09/17/2021
On the Convexity of a Fragment of Pure Set Theory with Applications within a Nelson-Oppen Framework
The Satisfiability Modulo Theories (SMT) issue concerns the satisfiabili...
research
∙
09/07/2021
Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version)
Blockchains are gaining momentum due to the interest of industries and p...
research
∙
01/03/2021
Text Searching Allowing for Non-Overlapping Adjacent Unbalanced Translocations
In this paper we investigate the approximate string matching problem whe...
research
∙
12/02/2020
Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services
In this contribution we extend an ontology for modelling agents and thei...
research
∙
12/02/2018
Sequence Searching Allowing for Non-Overlapping Adjacent Unbalanced Translocations
Unbalanced translocations are among the most frequent chromosomal altera...
research
∙
06/25/2018
Encoding Sets as Real Numbers (Extended version)
We study a variant of the Ackermann encoding N(x) := ∑_y∈ x2^N(y) of the...
research
∙
05/18/2018
A set-based reasoner for the description logic (Extended Version)
We present a -based implementation of a reasoner for a decidable fragmen...
research
∙
04/27/2018
An optimized KE-tableau-based system for reasoning in the description logic (Extended Version)
We present a -based procedure for the main TBox and ABox reasoning tasks...
research
∙
04/27/2018
An optimized KE-tableau-based system for reasoning in the description logic
We present a -based procedure for the main TBox and ABox reasoning tasks...
research
∙
02/21/2018
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version)
We present a first result towards the use of entailment in- side relatio...
research
∙
09/08/2017
The Shape of a Benedictine Monastery: The SaintGall Ontology
We present an OWL 2 ontology representing the Saint Gall plan, one of th...
research
∙
09/07/2017
The Satisfiability Problem for Boolean Set Theory with a Choice Correspondence
Given a set U of alternatives, a choice (correspondence) on U is a contr...
research
∙
11/21/2012
