Sfoglia per Rivista
Mostrati risultati da 1 a 3 di 3
Horn Fragments of the Halpern-Shoham Interval Temporal Logic
2017 Bresolin, Davide; Kurucz, Agi; Muñoz Velasco, Emilio; Ryzhikov, Vladislav; Sciavicco, Guido; Zakharyaschev, Michael
Terminating Evaluation of Logic Programs with Finite Three-Valued Models
file con accesso da definire2014 Riguzzi, Fabrizio; Swift, T.
Verifiable agent interaction in abductive logic programming: the SCIFF framework
file con accesso da definire2008 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Horn Fragments of the Halpern-Shoham Interval Temporal Logic | 2017 | Bresolin, Davide; Kurucz, Agi; Muñoz Velasco, Emilio; Ryzhikov, Vladislav; Sciavicco, Guido; Zakh...aryaschev, Michael | |
Terminating Evaluation of Logic Programs with Finite Three-Valued Models | 2014 | Riguzzi, Fabrizio; Swift, T. | file con accesso da definire |
Verifiable agent interaction in abductive logic programming: the SCIFF framework | 2008 | Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. | file con accesso da definire |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile