16 citations · 71 across the 26 of their papers we have counts for
4 papers · 1 filter
Explanations for Answer Set Programming
Mario Alviano, Ly Ly Trieu, Tran Cao Son +1
The paper presents an enhancement of xASP, a system that generates explanation graphs for Answer Set Programming (ASP). Different from xASP, the new system, xASP2, supports differe…
Rethinking Answer Set Programming Templates
Mario Alviano, Giovambattista Ianni, Francesco Pacenza +1
In imperative programming, the Domain-Driven Design methodology helps in coping with the complexity of software development by materializing in code the invariants of a domain of i…
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality
Mario Alviano, Francesco Bartoli, Marco Botta +3
In this paper we investigate the relationships between a multipreferential semantics for defeasible reasoning in knowledge representation and a multilayer neural network model. Wei…
Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Weighted knowledge bases for description logics with typicality under a "concept-wise" multi-preferential semantics provide a logical interpretation of MultiLayer Perceptrons. In t…