Daniele Theseider Dupré

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A many-valued multi-preferential propositional typicality logic and a conditional interpretation for gradual argumentation Journal of Logic and Computation	2026-03-05	Paper
Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality Journal of Logic and Computation	2025-04-03	Paper
Weighted conditional \(\mathscr{EL}^\bot\) knowledge bases with integer weights: an ASP approach	2024-12-03	Paper
A preferential interpretation of multilayer perceptrons in a conditional logic with typicality International Journal of Approximate Reasoning	2024-07-10	Paper
Complexity and scalability of defeasible reasoning with typicality in many-valued weighted knowledge bases	2024-05-29	Paper
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 Theory and Practice of Logic Programming	2022-09-30	Paper
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps Journal Of Logic And Computation	2022-03-09	Paper
Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model (available as arXiv preprint)	2021-12-01	Paper
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL Theory and Practice of Logic Programming	2020-12-13	Paper
Defeasible reasoning in \(\mathcal{SROEL}\): from rational entailment to rational closure Fundamenta Informaticae	2018-10-02	Paper
ASP for minimal entailment in a rational extension of SROEL Theory and Practice of Logic Programming	2017-11-09	Paper
Achieving completeness in the verification of action theories by bounded model checking in ASP Journal Of Logic And Computation	2015-12-28	Paper
Business process verification with constraint temporal answer set programming Theory and Practice of Logic Programming	2014-02-27	Paper
Reasoning about actions with Temporal Answer Sets Theory and Practice of Logic Programming	2013-06-26	Paper
Verifying business process compliance by reasoning about actions Lecture Notes in Computer Science	2010-08-24	Paper
scientific article; zbMATH DE number 2000829 (Why is no real title available?)	2003-11-04	Paper
scientific article; zbMATH DE number 1884353 (Why is no real title available?)	2003-03-18	Paper
A spectrum of definitions for temporal model-based diagnosis Artificial Intelligence	1999-01-12	Paper
Diagnosing time-varying misbehavior: An approach based on model decomposition Annals of Mathematics and Artificial Intelligence	1996-12-03	Paper
On the Relationship Between Abduction and Deduction Journal Of Logic And Computation	1991-01-01	Paper
scientific article; zbMATH DE number 4185062 (Why is no real title available?)	1989-01-01	Paper

Research outcomes over time

This page was built for person: Daniele Theseider Dupré