-A Deontic Logic Reasoning Infrastructure

Benzmüller, Christoph; Parent, Xavier; Torre, Leendert W. N. van der

by Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre

Reference:

-A Deontic Logic Reasoning Infrastructure (Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre), In Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, 2018.

Bibtex Entry:

@inproceedings{DBLP:conf/cie/BenzmullerPT18,
  author    = {Christoph Benzm{\"{u}}ller and  Xavier Parent and Leendert W. N. van der Torre},
  title     = {-A Deontic Logic Reasoning Infrastructure},
  booktitle = {Sailing Routes in the World of Computation - 14th Conference on Computability
               in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  pages     = {60--69},
  year      = {2018},
  url       = {http://page.mi.fu-berlin.de/cbenzmueller/papers/C69.pdf},
   
}