Reasoning about minimal belief and negation as failure

Riccardo Rosati.
Technical report 13.99, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 1999.

 

Bibtex entry:

@String{DIS = "Dipartimento di Informatica e Sistemistica, Universit{\`a} di Roma ``La Sapienza''"}

@Techrep{Rosa99f,
author = {Rosati, Riccardo},
title = {Reasoning about minimal belief and negation as failure},
institution = DIS,
number = {13.99},
year = {1999} ,
}