activity
20062026
most citedRational Closure in SHIQ

13 citations · 58 across the 22 of their papers we have counts for

collaborators

24 papers

cs.LO2026

Proceedings 42nd International Conference on Logic Programming

Wolfgang Faber, Laura Giordano, Ricardo Rocha +1

Since the first conference in Marseille in 1982, the International Conference on Logic Programming (ICLP) has been the premier international event for presenting research in logic…

cs.AI2023

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…

cs.AI2023★ 1 cited

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…

cs.AI2022

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…

cs.AI2022★ 1 cited

An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases

Laura Giordano, Daniele Theseider Dupré

Weighted knowledge bases for description logics with typicality have been recently considered under a "concept-wise" multipreference semantics (in both the two-valued and fuzzy cas…

cs.AI2021

From Weighted Conditionals of Multilayer Perceptrons to Gradual Argumentation and Back

Laura Giordano

A fuzzy multipreference semantics has been recently proposed for weighted conditional knowledge bases, and used to develop a logical semantics for Multilayer Perceptrons, by regard…