
ASP for Minimal Entailment in a Rational Extension of SROEL
In this paper we exploit Answer Set Programming (ASP) for reasoning in a...
read it

Some Insights About the Small Ball Probability Factorization for Hilbert Random Elements
Asymptotic factorizations for the smallball probability (SmBP) of a Hil...
read it

Lyndon Array Construction during BurrowsWheeler Inversion
In this paper we present an algorithm to compute the Lyndon array of a s...
read it

Unions of Orthogonal Arrays and their aberrations via Hilbert bases
We generate all the Orthogonal Arrays (OAs) of a given size n and streng...
read it

Reasoning about multiple aspects in DLs: Semantics and Closure Construction
Starting from the observation that rational closure has the undesirable ...
read it

Algebra and geometry of tensors for modeling rater agreement data
We study three different quasisymmetry models and three different mixtu...
read it

Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure
In this work we study a rational extension SROEL^R T of the low complexi...
read it

PrefixFree Parsing for Building Big BWTs
Highthroughput sequencing technologies have led to explosive growth of ...
read it

External memory BWT and LCP computation for sequence collections with applications
We propose an external memory algorithm for the computation of the BWT a...
read it

Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
Reasoning about exceptions in ontologies is nowadays one of the challeng...
read it

On the aberrations of mixed level Orthogonal Arrays with removed runs
Given an Orthogonal Array we analyze the aberrations of the subfraction...
read it

Spaceefficient merging of succinct de Bruijn graphs
We propose a new algorithm for merging succinct representations of de Br...
read it

Adding the PowerSet to Description Logics
We explore the relationships between Description Logics and Set Theory. ...
read it

A Syntactic Model of Mutation and Aliasing
Traditionally, semantic models of imperative languages use an auxiliary ...
read it

A reconstruction of the multipreference closure
The paper describes a preferential approach for dealing with exceptions ...
read it

Approaching Adaptation Guided Retrieval in CaseBased Reasoning through Inference in Undirected Graphical Models
In CaseBased Reasoning, when the similarity assumption does not hold, t...
read it

Inducing the Lyndon Array
In this paper we propose a variant of the induced suffix sorting algorit...
read it

The Alternating BWT: an algorithmic perspective
The BurrowsWheeler Transform (BWT) is a word transformation introduced ...
read it

Reasoning about Typicality and Probabilities in Preferential Description Logics
In this work we describe preferential Description Logics of typicality, ...
read it

An ASP approach for reasoning in a conceptaware multipreferential lightweight DL
In this paper we develop a concept aware multipreferential semantics fo...
read it

On the KLM properties of a fuzzy DL with Typicality
The paper investigates the properties of a fuzzy logic of typicality. Th...
read it

Exponentially convergent trapezoidal rules to approximate fractional powers of operators
In this paper we are interested in the approximation of fractional power...
read it

Reasoning about actions with EL ontologies with temporal answer sets
We propose an approach based on Answer Set Programming for reasoning abo...
read it

Weighted Conditional EL^bot Knowledge Bases with Integer Weights: an ASP Approach
Weighted knowledge bases for description logics with typicality have bee...
read it
Università del Piemonte Orientale
UPO — University of Eastern Piedmont — is a young, competitive multicampus studded with talents, the reference point for all students who aspire to train in a high value environment academic, well organized, really capable...