On the complexity of reasoning with negation as failure

Riccardo Rosati.
In Proceedings of the IJCSLP-96 Workshop on Deductive Databases and Logic Programming (DDLP-96), pages 107-118, GMD-Studien 265, 1996.

 

Bibtex entry:

@Inproceedings{Rosa96b,
author = {Rosati, Riccardo},
title = {On the complexity of reasoning with negation as failure},
booktitle = {Proceedings of the IJCSLP-96 Workshop on Deductive Databases and Logic Programming (DDLP-96)},
pages = {107--118},
publisher = {GMD-Studien 265},
year = {1996},
}