Остановите войну!
for scientists:
default search action
Daniele Theseider Dupré
Publications
- 2024
- [j27]Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré:
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality. Int. J. Approx. Reason. 164: 109065 (2024) - 2023
- [c71]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Explaining Gradual Argumentation Semantics in a Conditional Multi-preferential Logic with Typicality. AI³@AI*IA 2023 - [c70]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases. CILC 2023 - [c68]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract). Description Logics 2023 - [c67]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics. ICLP Workshops 2023 - [c66]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases. JELIA 2023: 481-497 - [c64]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation. NMR 2023: 4-13 - [i16]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality. CoRR abs/2303.04534 (2023) - [i15]Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré:
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality. CoRR abs/2305.00304 (2023) - 2022
- [j26]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps. J. Log. Comput. 32(2): 178-205 (2022) - [j25]Laura Giordano, Daniele Theseider Dupré:
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases. Theory Pract. Log. Program. 22(4): 589-605 (2022) - [c63]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Weighted Conditionals from Gradual Argumentation to Probabilistic Argumentation. AI³@AI*IA 2022 - [c62]Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract). XAI.it@AI*IA 2022: 64-72 - [c61]Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré:
Model Checking Verification of MultiLayer Perceptrons in Datalog: a Many-valued Approach with Typicality. Datalog 2022: 54-67 - [c60]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning about Actions with EL Ontologies in a Temporal Action Theory (Extended Abstract). Description Logics 2022 - [c59]Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
From Common Sense Reasonig to Neural Network Models: a Conditional and Multi-preferential Approach for Explainability and Neuro-Symbolic Integration. FCR@KI 2022: 66-78 - [c58]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL. LPNMR 2022: 231-244 - [i14]Laura Giordano, Daniele Theseider Dupré:
An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases. CoRR abs/2202.01123 (2022) - [i13]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation. CoRR abs/2212.07523 (2022) - 2021
- [c57]Cosimo Anglano, Massimo Canonico, Laura Giordano, Marco Guazzone, Daniele Theseider Dupré:
User action representation and automated reasoning for the forensic analysis of mobile devices. ARES 2021: 45:1-45:7 - [c56]Laura Giordano, Daniele Theseider Dupré:
Multilayer Perceptrons as Weighted Conditional Knowledge Bases: an Overview. DP@AI*IA 2021: 10-18 - [c55]Laura Giordano, Daniele Theseider Dupré:
A Framework for a Modular Multi-Concept Lexicographic Closure Semantics (an abridged report). CILC 2021: 47-61 - [c54]Laura Giordano, Daniele Theseider Dupré:
Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Extended Abstract). Description Logics 2021 - [c53]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract). OVERLAY@GandALF 2021: 83-89 - [c52]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning About Actions with EL(bot) Ontologies and Temporal Answer Sets. ICLP Workshops 2021 - [c51]Laura Giordano, Daniele Theseider Dupré:
Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model. JELIA 2021: 225-242 - [c50]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
A Multipreference Semantics from Common Sense Reasoning to Neural Network Models: An Overview. JOWO 2021 - [c49]Laura Giordano, Daniele Theseider Dupré:
Weighted Conditional EL⊥ Knowledge Bases with Integer Weights: an ASP Approach. ICLP Technical Communications 2021: 70-76 - [i12]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
A conditional, a fuzzy and a probabilistic interpretation of self-organising maps. CoRR abs/2103.06854 (2021) - [i11]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview. CoRR abs/2107.04870 (2021) - [i10]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning about actions with EL ontologies with temporal answer sets. CoRR abs/2107.08403 (2021) - 2020
- [j23]Laura Giordano, Daniele Theseider Dupré:
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. Theory Pract. Log. Program. 20(5): 751-766 (2020) - [c48]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
Towards a Conditional Interpretation of Self Organizing Maps. XAI.it@AI*IA 2020: 127-134 - [c47]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps. CILC 2020: 127-140 - [i9]Laura Giordano, Daniele Theseider Dupré:
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. CoRR abs/2006.04387 (2020) - [i8]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
On a plausible concept-wise multipreference semantics and its relations with self-organising maps. CoRR abs/2008.13278 (2020) - [i7]Laura Giordano, Daniele Theseider Dupré:
A framework for a modular multi-concept lexicographic closure semantics. CoRR abs/2009.00964 (2020) - [i6]Laura Giordano, Daniele Theseider Dupré:
Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model. CoRR abs/2012.13421 (2020) - 2019
- [c46]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies. OVERLAY@AI*IA 2019: 41-46 - [c45]Laura Giordano, Daniele Theseider Dupré:
ASP and Ontologies for Reasoning on Business Processes. DDC@AI*IA 2019: 45-52 - 2018
- [j22]Laura Giordano, Daniele Theseider Dupré:
Defeasible Reasoning in 풮ℛ풪ℰℒ: from Rational Entailment to Rational Closure. Fundam. Informaticae 161(1-2): 135-161 (2018) - [c43]Laura Giordano, Daniele Theseider Dupré:
Enriched Modeling and Reasoning on Business Processes with Ontologies and Answer Set Programming. BPM (Forum) 2018: 71-88 - [i5]Laura Giordano, Daniele Theseider Dupré:
Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure. CoRR abs/1803.08885 (2018) - 2016
- [j18]Laura Giordano, Daniele Theseider Dupré:
ASP for minimal entailment in a rational extension of SROEL. Theory Pract. Log. Program. 16(5-6): 738-754 (2016) - [c42]Laura Giordano, Daniele Theseider Dupré:
Reasoning in a Rational Extension of SROEL. CILC 2016: 53-68 - [c41]Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré:
ASP for Reasoning about Actions with an EL^bot Knowledge Base. CILC 2016: 214-229 - [c40]Laura Giordano, Daniele Theseider Dupré:
Reasoning in a Rational Extension of SROEL. Description Logics 2016 - [i4]Laura Giordano, Daniele Theseider Dupré:
ASP for Minimal Entailment in a Rational Extension of SROEL. CoRR abs/1608.02450 (2016) - 2015
- [j17]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP. J. Log. Comput. 25(6): 1307-1330 (2015) - 2014
- [c36]Paolo Terenziani, Alessio Bottrighi, Laura Giordano, Giuliana Franceschinis, Stefania Montani, Luca Piovesan, Luigi Portinale, Stefania Rubrichi, Matteo Spiotta, Daniele Theseider Dupré:
Advances in the GINSENG Project. ICHI 2014: 368 - [c35]Matteo Spiotta, Alessio Bottrighi, Laura Giordano, Daniele Theseider Dupré:
Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology. KR4HC@VSL 2014: 62-77 - 2013
- [j14]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning about actions with Temporal Answer Sets. Theory Pract. Log. Program. 13(2): 201-225 (2013) - [j13]Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré:
Business process verification with constraint temporal answer set programming. Theory Pract. Log. Program. 13(4-5): 641-655 (2013) - [c33]Paolo Terenziani, Alessio Bottrighi, Laura Giordano, Giuliana Franceschinis, Stefania Montani, Luigi Portinale, Daniele Theseider Dupré:
Towards a Second Generation of Computer Interpretable Guidelines. DATA 2013: 199-205 - [c32]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Temporal deontic action logic for the verification of compliance to norms in ASP. ICAIL 2013: 53-62 - [e1]Laura Giordano, Stefania Montani, Daniele Theseider Dupré:
Proceedings of the Workshop AI Meets Business Processes 2013 co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), Turin, Italy, December 6, 2013. CEUR Workshop Proceedings 1101, CEUR-WS.org 2013 [contents] - 2012
- [c31]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. CILC 2012: 176-190 - [c27]Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré:
Business Processes Verification with Temporal Answer Set Programming. KiBP@KR 2012: 48-59 - [c26]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Achieving Completeness in Bounded Model Checking of Action Theories in ASP. KR 2012 - 2011
- [c25]Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré:
Verifying Compliance of Business Processes with Temporal Answer Sets. CILC 2011: 147-161 - [i2]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning about Actions with Temporal Answer Sets. CoRR abs/1110.3672 (2011) - 2010
- [c23]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning about Actions with Temporal Answer Sets. CILC 2010 - [c22]Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré:
Verifying Business Process Compliance by Reasoning about Actions. CLIMA 2010: 99-116
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-02-12 22:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint