Stable Models and their Computation for Logic Programming with Inheritance and True Negation

Academic Article

Publication Date:

1996

Short description:

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.

Iris type:

1.1 Articolo in rivista

List of contributors:

Buccafurri, Francesco; Leone, N.; Rullo, P.

Authors of the University:

BUCCAFURRI Francesco

Handle:

https://iris.unirc.it/handle/20.500.12318/4014

Published in:

JOURNAL OF LOGIC PROGRAMMING

Journal