Sfoglia per Autore
User action representation and automated reasoning for the forensic analysis of mobile devices
2021-01-01 Anglano, C.; Canonico, M.; Giordano, L.; Guazzone, M.; Theseider Dupre', D.
Reasoning about actions with ℰℒ ontologies and temporal answer sets
2021-01-01 Giordano, L.; Martelli, A.; Theseider Dupre', Daniele.
On a plausible concept-wise multipreference semantics and its relations with self-organising maps
2020-01-01 Giordano, L.; Gliozzi, V.; Theseider Dupre', D.
Towards a conditional interpretation of self organizing maps
2020-01-01 Giordano, L.; Gliozzi, V.; Theseider Dupre', D.
Conformance analysis for comorbid patients in Answer Set Programming
2020-01-01 Piovesan, L.; Terenziani, P.; Theseider Dupre, D.
An ASP approach for reasoning in a concept-Aware multipreferential lightweight DL
2020-01-01 Giordano, L.; Theseider Dupre', D.
ASP and ontologies for reasoning on business processes
2019-01-01 Giordano, L.; Theseider Dupre, D.
Temporal Conformance Analysis and Explanation on Comorbid Patients
2018-01-01 Piovesan, Luca; Terenziani, Paolo; Theseider Dupré, Daniele
Enriched modeling and reasoning on business processes with ontologies and answer set programming
2018-01-01 Giordano, Laura; Theseider Dupré, Daniele
ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution
2018-01-01 Piovesan, Luca; Spiotta, Matteo; Terenziani, Paolo; Theseider Dupré, Daniele
35 Years of Pietro Torasso’s work on diagnosis
2018-01-01 Console, Luca; Magro, Diego; Micalizio, Roberto; Scala, Enrico; Theseider Dupré, Daniele; Torta, Gianluca
Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure
2018-01-01 Giordano, Laura; Dupré, Daniele Theseider
Temporal Conformance Analysis and Explanation of Clinical Guidelines Execution: An Answer Set Programming Approach
2017-01-01 Spiotta, Matteo; Terenziani, Paolo; Theseider Dupré, Daniele
Reasoning in a rational extension of SROEL(∏, x)
2016-01-01 Giordano, Laura; THESEIDER DUPRE', Daniele
ASP for minimal entailment in a rational extension of SROEL
2016-01-01 Giordano, Laura; THESEIDER DUPRE', Daniele
ASP for reasoning about actions with an EL^bot knowledge base
2016-01-01 Giordano, Laura; Martelli, Alberto; Spiotta, Matteo; THESEIDER DUPRE', Daniele
Reasoning in a rational extension of SROEL
2016-01-01 Giordano, Laura; THESEIDER DUPRE', Daniele
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP
2015-01-01 Giordano, Laura; A., Martelli; THESEIDER DUPRE', Daniele
Answer Set Programming for Temporal Conformance Analysis of Clinical Guidelines
2015-01-01 Spiotta, Matteo; Terenziani, Paolo; THESEIDER DUPRE', Daniele
Temporal Conformance Analysis of Clinical Guidelines Execution
2015-01-01 Spiotta, Matteo; Terenziani, Paolo; THESEIDER DUPRE', Daniele
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile