Daniele Theseider Dupré

Available identifiers

zbMath Open theseider-dupre.danieleMaRDI QIDQ1274290

List of research outcomes

Publication	Date of Publication	Type
Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL	2023-04-04	Paper
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases	2022-09-30	Paper
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps	2022-03-09	Paper
Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model	2021-12-01	Paper
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL	2020-12-13	Paper
Defeasible Reasoning in 𝒮ℛ𝒪ℰℒ: from Rational Entailment to Rational Closure	2018-10-02	Paper
ASP for minimal entailment in a rational extension of SROEL	2017-11-09	Paper
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP	2015-12-28	Paper
Business process verification with constraint temporal answer set programming	2014-02-27	Paper
Reasoning about actions with Temporal Answer Sets	2013-06-26	Paper
Verifying Business Process Compliance by Reasoning about Actions	2010-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4434180	2003-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q4799254	2003-03-18	Paper
A spectrum of definitions for temporal model-based diagnosis	1999-01-12	Paper
Diagnosing time-varying misbehavior: An approach based on model decomposition	1996-12-03	Paper
On the Relationship Between Abduction and Deduction	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5750429	1989-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Daniele Theseider Dupré