A Formal Theory of Justifications
From International Center for Computational Logic
A Formal Theory of Justifications
Marc DeneckerMarc Denecker, Gerhard BrewkaGerhard Brewka, Hannes StraßHannes Straß
Marc Denecker, Gerhard Brewka, Hannes Straß
A Formal Theory of Justifications
In Francesco Calimeri and Giovambattista Ianni and Mirosław Truszczyński, eds., Proceedings of the Thirteenth International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), 250--264, September 2015. Springer-Verlag Berlin Heidelberg
A Formal Theory of Justifications
In Francesco Calimeri and Giovambattista Ianni and Mirosław Truszczyński, eds., Proceedings of the Thirteenth International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), 250--264, September 2015. Springer-Verlag Berlin Heidelberg
@inproceedings{DBS2015,
author = {Marc Denecker and Gerhard Brewka and Hannes Stra{\ss}},
title = {A Formal Theory of Justifications},
editor = {Francesco Calimeri and Giovambattista Ianni and Miros{\l}aw
Truszczy{\'{n}}ski},
booktitle = {Proceedings of the Thirteenth International Conference on Logic
Programming and Non-monotonic Reasoning (LPNMR)},
publisher = {Springer-Verlag Berlin Heidelberg},
year = {2015},
month = {September},
pages = {250--264}
}
