( en | de | ru )

 

Disambiguation of "Dupré, Daniele Theseider"

Author of the publication

copydeleteadd this publication to your clipboard
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP.

, , and . J. Log. Comput., 25 (6): 1307-1330 (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thomas Dupré

Susanne Dupré

Claudio Dupré

Klaus Dupré

Claudio Dupré

 

Other publications of authors with the same name

A framework for a modular multi-concept lexicographic closure semantics., and . CoRR, (2020)Reasoning about actions with EL ontologies with temporal answer sets., , and . CoRR, (2021)An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases., and . Theory Pract. Log. Program., 22 (4): 589-605 (2022)A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality., , , , , and . Int. J. Approx. Reason., (January 2024)35 Years of Pietro Torasso's work on diagnosis., , , , , and . Intelligenza Artificiale, 12 (1): 31-40 (2018)On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps., , and . CILC, volume 2710 of CEUR Workshop Proceedings, page 127-140. CEUR-WS.org, (2020)On the Role of Abduction., , , and . ACM Comput. Surv., 27 (3): 353-355 (1995)Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology., , , and . KR4HC@VSL, volume 8903 of Lecture Notes in Computer Science, page 62-77. Springer, (2014)Towards the Integration of Different Knowledge Sources in Model-Based Diagnosis., , and . AI*IA, volume 549 of Lecture Notes in Computer Science, page 177-186. Springer, (1991)Threading Facts into a Collective Narrative World., , , , and . ICIDS, volume 6432 of Lecture Notes in Computer Science, page 86-97. Springer, (2010)