@inproceedings{W59,
  Address =	 {Belgrade, Serbia},
  author =	 {Benzm{\"u}ller, Christoph and Farjami, Ali and
                  Parent, Xavier and van der Torre, Leendert},
  title =	 {Implementation of Carmo and Jones Dyadic Deontic
                  Logic in {Isabelle/HOL}},
  booktitle =	 {Workshop on Computational Aspects of Arguments and
                  LogiC (CAALC 2017)},
  year =	 2017,
  url =		 {http://christoph-benzmueller.de/papers/W59.pdf},
  Keywords =	 {own, Dyadic Logic, Higher-Order Logic},
}

{"_id":"onQLzqLqDD4c3iAbd","bibbaseid":"benzmller-farjami-parent-vandertorre-implementationofcarmoandjonesdyadicdeonticlogicinisabellehol-2017","author_short":["Benzmüller, C.","Farjami, A.","Parent, X.","van der Torre, L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Belgrade, Serbia","author":[{"propositions":[],"lastnames":["Benzmüller"],"firstnames":["Christoph"],"suffixes":[]},{"propositions":[],"lastnames":["Farjami"],"firstnames":["Ali"],"suffixes":[]},{"propositions":[],"lastnames":["Parent"],"firstnames":["Xavier"],"suffixes":[]},{"propositions":["van","der"],"lastnames":["Torre"],"firstnames":["Leendert"],"suffixes":[]}],"title":"Implementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/HOL","booktitle":"Workshop on Computational Aspects of Arguments and LogiC (CAALC 2017)","year":"2017","url":"http://christoph-benzmueller.de/papers/W59.pdf","keywords":"own, Dyadic Logic, Higher-Order Logic","bibtex":"@inproceedings{W59,\n Address =\t {Belgrade, Serbia},\n author =\t {Benzm{\\\"u}ller, Christoph and Farjami, Ali and\n Parent, Xavier and van der Torre, Leendert},\n title =\t {Implementation of Carmo and Jones Dyadic Deontic\n Logic in {Isabelle/HOL}},\n booktitle =\t {Workshop on Computational Aspects of Arguments and\n LogiC (CAALC 2017)},\n year =\t 2017,\n url =\t\t {http://christoph-benzmueller.de/papers/W59.pdf},\n Keywords =\t {own, Dyadic Logic, Higher-Order Logic},\n}\n\n","author_short":["Benzmüller, C.","Farjami, A.","Parent, X.","van der Torre, L."],"key":"W59","id":"W59","bibbaseid":"benzmller-farjami-parent-vandertorre-implementationofcarmoandjonesdyadicdeonticlogicinisabellehol-2017","role":"author","urls":{"Paper":"http://christoph-benzmueller.de/papers/W59.pdf"},"keyword":["own","Dyadic Logic","Higher-Order Logic"],"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"inproceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","dyadic logic","higher-order logic"],"search_terms":["implementation","carmo","jones","dyadic","deontic","logic","isabelle","hol","benzmüller","farjami","parent","van der torre"],"title":"Implementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/HOL","year":2017,"downloads":2}