5 citations · 10 across the 12 of their papers we have counts for
13 papers · 1 filter
Logic-Guided Data Extraction with Answer Set Programming and Large Language Models
Mario Alviano, Lorenzo Grillo, Nicola Leone +1
When Large Language Models (LLMs) are used for semantic data extraction from unstructured text, producing candidate relational facts from natural language, they may remain unreliab…
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…
Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
In this paper we propose a general approach to define a many-valued preferential interpretation of gradual argumentation semantics. The approach allows for conditional reasoning ov…