Stable Models and their Computation for Logic Programming with Inheritance and True Negation
Articolo
Data di Pubblicazione:
1996
Citazione:
Stable Models and their Computation for Logic Programming with Inheritance and True Negation / Buccafurri, Francesco; Leone, N.; Rullo, P.. - In: JOURNAL OF LOGIC PROGRAMMING. - ISSN 0743-1066. - 27(1):(1996), pp. 5-43.
Tipologia CRIS:
1.1 Articolo in rivista
Elenco autori:
Buccafurri, Francesco; Leone, N.; Rullo, P.
Link alla scheda completa:
Pubblicato in: