Dov M. Gabbay, Els Laenens, Dirk Vermeir
Credulous vs. Sceptical Semantics for Ordered Logic Programs
KR, 1991.
@inproceedings{KR-1991-GabbayLV,
author = "Dov M. Gabbay and Els Laenens and Dirk Vermeir",
booktitle = "{Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning}",
isbn = "1-55860-165-1",
pages = "208--217",
publisher = "{Morgan Kaufmann}",
title = "{Credulous vs. Sceptical Semantics for Ordered Logic Programs}",
year = 1991,
}











