A Formal Theory of Justifications

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

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