Sfoglia per Rivista THEORY AND PRACTICE OF LOGIC PROGRAMMING
Mostrati risultati da 1 a 5 di 5
An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems
2022-01-01 Aurelio D'Asaro, Fabio; Raggioli, Luca; Malek, Salim; Grazioso, Marco; Rossi, Silvia
An effective fixpoint semantics for linear logic programs
2002-01-01 Bozzano, Marco; Delzanno, Giorgio; Martelli, Maurizio
Model Checking Linear Logic Specifications
2004-01-01 Bozzano, Marco; G., Delzanno; M., Martelli
Reasoning on DL-Lite_R with Defeasibility in ASP
2022-01-01 Bozzato, Loris; Eiter, Thomas; Serafini, Luciano
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
2021-01-01 Bozzato, Loris; Eiter, Thomas; Kiesel, Rafael
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems | 1-gen-2022 | Aurelio D'Asaro, Fabio; Raggioli, Luca; Malek, Salim; Grazioso, Marco; Rossi, Silvia | |
An effective fixpoint semantics for linear logic programs | 1-gen-2002 | Bozzano, Marco; Delzanno, Giorgio; Martelli, Maurizio | |
Model Checking Linear Logic Specifications | 1-gen-2004 | Bozzano, Marco; G., Delzanno; M., Martelli | |
Reasoning on DL-Lite_R with Defeasibility in ASP | 1-gen-2022 | Bozzato, Loris; Eiter, Thomas; Serafini, Luciano | |
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures | 1-gen-2021 | Bozzato, Loris; Eiter, Thomas; Kiesel, Rafael |
Mostrati risultati da 1 a 5 di 5
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