A Deontic Logic Reasoning Infrastructure (bibtex)
by Christoph Benzmüller, Xavier Parent, Leendert van der Torre
Reference:
A Deontic Logic Reasoning Infrastructure (Christoph Benzmüller, Xavier Parent, Leendert van der Torre), In 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30-August, 2018, Proceedings (Florin Manea, Russell G. Miller, Dirk Nowotka, eds.), Springer, LNCS, volume 10936, pp. 60-69, 2018. (Url (preprint): https://tinyurl.com/y7tgoft9)
Bibtex Entry:
@inproceedings{C69,
  Author =	 {Benzm{\"u}ller, Christoph and Parent, Xavier and van
                  der Torre, Leendert},
  Keywords =	 {own, Automated Reasoning, Intensional Higher-Order
                  Modal Logic, Higher Order Logic},
  Title =	 {A Deontic Logic Reasoning Infrastructure},
  Booktitle =	 {14th Conference on Computability in Europe, CiE
                  2018, Kiel, Germany, July 30-August, 2018,
                  Proceedings},
  Publisher =	 {Springer},
  editor =	 {Manea, Florin and Miller, Russell G. and Nowotka,
                  Dirk},
  series =	 {LNCS},
  Year =	 2018,
  volume =	 10936,
  Pages =	 {60-69},
  isbn =	 {978-3-319-67189-5},
  Doi =		 {10.1007/978-3-319-94418-0_6},
  Note =	 {Url (preprint):
                  \url{https://tinyurl.com/y7tgoft9}}
}
Powered by bibtexbrowser