Gianni Amati, Fiora Pirri
Is There a Logic of Provability for Nonmonotonic Reasoning?
KR, 1996.
@inproceedings{KR-1996-AmatiP,
author = "Gianni Amati and Fiora Pirri",
booktitle = "{Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning}",
isbn = "1-55860-421-9",
pages = "493--503",
publisher = "{Morgan Kaufmann}",
title = "{Is There a Logic of Provability for Nonmonotonic Reasoning?}",
year = 1996,
}