A Formal Theory of Justifications

Marc DeneckerMarc Denecker, Gerhard BrewkaGerhard Brewka, Hannes StraßHannes Straß

Download

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

Details
Bibtex

@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}
}