Sfoglia per Rivista
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 |
---|---|---|---|
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 |
Legenda icone
- file ad accesso aperto
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile