
ASPCore2 Input Language Format
Standardization of solver input languages has been a main driver for the...
read it

Tree Projections and Constraint Optimization Problems: FixedParameter Tractability and Parallel Algorithms
Tree projections provide a unifying framework to deal with most structur...
read it

Computing the Shapley Value in Allocation Problems: Approximations and Bounds, with an Application to the Italian VQR Research Assessment Program
In allocation problems, a given set of goods are assigned to agents in s...
read it

Document Image Coding and Clustering for Script Discrimination
The paper introduces a new method for discrimination of documents given ...
read it

Statistical Analysis of Dice CAPTCHA Usability
In this paper the elements of the CAPTCHA usability are analyzed. CAPTCH...
read it

Emotion Recognition in the Wild using Deep Neural Networks and Bayesian Classifiers
Group emotion recognition in the wild is a challenging problem, due to t...
read it

Analysis of the HumanComputer Interaction on the Example of Imagebased CAPTCHA by Association Rule Mining
The paper analyzes the interaction between humans and computers in terms...
read it

The EAverage Common Submatrix: Approximate Searching in a Restricted Neighborhood
This paper introduces a new (dis)similarity measure for 2D arrays, exten...
read it

From Community Detection to Community Deception
The community deception problem is about how to hide a target community ...
read it

Using Linear Constraints for Logic Program Termination Analysis
It is widely acknowledged that function symbols are an important feature...
read it

Anytime Computation of Cautious Consequences in Answer Set Programming
Query answering in Answer Set Programming (ASP) is usually solved by com...
read it

The Multiengine ASP Solver MEASP: Progress Report
MEASP is a multiengine solver for ground ASP programs. It exploits algo...
read it

Preliminary Report on WASP 2.0
Answer Set Programming (ASP) is a declarative programming paradigm. The ...
read it

Properties of Answer Set Programming with Convex Generalized Atoms
In recent years, Answer Set Programming (ASP), logic programming under t...
read it

Topk Query Answering in Datalog+/ Ontologies under Subjective Reports (Technical Report)
The use of preferences in query answering, both in traditional databases...
read it

A MultiEngine Approach to Answer Set Programming
Answer Set Programming (ASP) is a trulydeclarative programming paradigm...
read it

Tree Projections and Structural Decomposition Methods: Minimality and GameTheoretic Characterization
Tree projections provide a mathematical framework that encompasses all t...
read it

Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues
Datalog is one of the bestknown rulebased languages, and extensions of...
read it

Tractable Optimization Problems through HypergraphBased Structural Restrictions
Several variants of the Constraint Satisfaction Problem have been propos...
read it

The third open Answer Set Programming competition
Answer Set Programming (ASP) is a wellestablished paradigm of declarati...
read it

The ViewUpdate Problem for Indefinite Databases
This paper introduces and studies a declarative framework for updating v...
read it

Magic Sets for Disjunctive Datalog Programs
In this paper, a new technique for the optimization of (partially) bound...
read it

Strong Equivalence of Qualitative Optimization Problems
We introduce the framework of qualitative optimization problems (or, sim...
read it

Consistent Query Answering via ASP from Different Perspectives: Theory and Practice
A data integration system provides transparent access to different data ...
read it

On The Power of Tree Projections: Structural Tractability of Enumerating CSP Solutions
The problem of deciding whether CSP instances admit solutions has been d...
read it

SelfOrganizing Maps Classification with Application to Laptop's Adapters Magnetic Field
This paper presents an application of the SelfOrganizingMap classifica...
read it

On strong homogeneity of a class of global optimization algorithms working with infinite and infinitesimal scales
The necessity to find the global optimum of multiextremal functions aris...
read it

CalcuList: a Functional Language Extended with Imperative Features
CalcuList (Calculator with List manipulation), is an educational languag...
read it

Consensus Community Detection in Multilayer Networks using Parameterfree Graph Pruning
The clustering ensemble paradigm has emerged as an effective tool for co...
read it

CT Image Registration in Acute Stroke Monitoring
We present a new system based on tracking the temporal evolution of stro...
read it

Debugging NonGround ASP Programs: Technique and Graphical Tools
Answer Set Programming (ASP) is one of the major declarative programming...
read it

A Dynamic ServiceMigration Mechanism in Edge Cognitive Computing
Driven by the vision of edge computing and the success of rich cognitive...
read it

Comparing Multilayer Perceptron and Multiple Regression Models for Predicting Energy Use in the Balkans
Global demographic and economic changes have a critical impact on the to...
read it

The External Interface for Extending WASP
Answer set programming (ASP) is a successful declarative formalism for k...
read it

CFOF: A Concentration Free Measure for Anomaly Detection
We present a novel notion of outlier, called the Concentration Free Outl...
read it

The notion of "Unimaginable Numbers" in computational number theory
Literature considers under the name unimaginable numbers any positive in...
read it

Hybrid Continued Fractions and nadic algorithms, with applications to cryptography and "unimaginable' numbers
This paper continues the author's previous studies on continued fraction...
read it

Inconsistency Measures for Relational Databases
In this paper, building on work done on measuring inconsistency in knowl...
read it

The Seventh Answer Set Programming Competition: Design and Results
Answer Set Programming (ASP) is a prominent knowledge representation lan...
read it

A Logic Framework for P2P Deductive Databases
This paper presents a logic framework for modeling the interaction among...
read it

A Sustainable Multimodal Multilayer Emotionaware Service at the Edge
Limited by the computational capabilities and battery energy of terminal...
read it

Deep auscultation: Predicting respiratory anomalies and diseases via recurrent neural networks
Respiratory diseases are among the most common causes of severe illness ...
read it

Paracoherent Answer Set Semantics meets Argumentation Frameworks
In the last years, abstract argumentation has met with great success in ...
read it

Beyond NP: Quantifying over Answer Sets
Answer Set Programming (ASP) is a logic programming paradigm featuring a...
read it

Inconsistency Proofs for ASP: The ASPDRUPE Format
Answer Set Programming (ASP) solvers are highlytuned and complex proced...
read it

Safe global optimization of expensive noisy blackbox functions in the δLipschitz framework
In this paper, the problem of safe global maximization (it should not be...
read it

Reasoning in Highly Reactive Environments
The aim of my Ph.D. thesis concerns Reasoning in Highly Reactive Environ...
read it

Monotone Submodular Diversity functions for Categorical Vectors with Application to Diversification of Seeds for Targeted Influence Maximization
Embedding diversity into knowledge discovery tasks is of crucial importa...
read it

Automatic Decoupling and Indexaware ModelOrder Reduction for Nonlinear DifferentialAlgebraic Equations
We extend the indexaware modelorder reduction method to systems of non...
read it

Largescale Ontological Reasoning via Datalog
Reasoning over OWL 2 is a very expensive task in general, and therefore ...
read it
University of Calabria
The RIMuseum is the only museum in Italy dedicated entirely to the theme of waste, and is also a unique resource for an unrepeatable educational experience for all types of users.