Many-valued temporal weighted knowledge bases with typicality for explainability
M Alviano, M Botta, R Esposito, L Giordano… - CEUR Workshop …, 2024 - iris.unito.it
In this paper, we develop a many-valued semantics for the description logic LTLALC, a
temporal extension of description logic ALC, based on Linear-time Temporal Logic (LTL) …
temporal extension of description logic ALC, based on Linear-time Temporal Logic (LTL) …
Temporal Many-valued Conditional Logics: a Preliminary Report
In this paper we propose a many-valued temporal conditional logic. We start from a many-
valued logic with typicality, and extend it with the temporal operators of the Linear Time …
valued logic with typicality, and extend it with the temporal operators of the Linear Time …
[PDF][PDF] Towards Temporal Many-valued Conditional Logics for Gradual Argumentation: a Preliminary Report
In this paper we propose a many-valued temporal conditional logic, and exploit it in the
verification of properties of an argumentation graph, in a gradual semantics. We start from a …
verification of properties of an argumentation graph, in a gradual semantics. We start from a …
[PDF][PDF] Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases
In this paper we define an extension of a temporal description logic with a typicality operator,
to allow for defeasible reasoning in a preferential temporal description logic. We show that a …
to allow for defeasible reasoning in a preferential temporal description logic. We show that a …