Pubblicazioni
Pubblicazioni trovate: 4
- Temporal Many-valued Conditional Logics: a Preliminary Report
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Apparso su TR-INF-2024-09-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2024 - Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model
Laura Giordano, Daniele Theseider Dupré
Apparso su TR-INF-2020-12-05-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2020 - Achieving completeness in bounded model checking of action theories in ASP
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Apparso su TR-INF-2011-12-04-UNIPMN, Ed. Computer Science Department, UPO, 2011 - Verifying Business Process Compliance by Reasoning about Actions
Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gianluca Pozzato, Daniele Theseider Dupré
Apparso su TR-INF-2010-05-02-UNIPMN, Ed. Computer Science Department, UPO, 2010