Value-oriented Legal Argumentation in Isabelle/HOL

Value-oriented Legal Argumentation in Isabelle/HOL. Benzmüller, C. & Fuenmayor, D. In Cohen, L. & Kaliszyk, C., editors, International Conference on Interactive Theorem Proving (ITP), Proceedings, volume 193, of LIPIcs, pages 23:1-23:18, 2021. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Preprint doi bibtex 7 downloads

@inproceedings{C91,
  Keywords =	 {own, Ethical and Legal Reasoning},
  Author =	 {Benzm{\"u}ller, Christoph and Fuenmayor, David},
  Editor =	 {Liron Cohen and Cezary Kaliszyk},
  doi =		 {10.4230/LIPIcs.ITP.2021.7},
  Title =	 {Value-oriented Legal Argumentation in
                  {Isabelle/HOL}},
  Booktitle =	 {{International Conference on Interactive Theorem
                  Proving (ITP), Proceedings}},
  series =	 {LIPIcs},
  volume =	 193,
  number =	 23,
  pages =	 {23:1-23:18},
  publisher =	 {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r
                  Informatik},
  url_preprint = {https://dx.doi.org/10.13140/RG.2.2.21514.80320},
  Year =	 2021,
}

Downloads: 7

{"_id":"bKCdSw4qBZqmn3CCd","bibbaseid":"benzmller-fuenmayor-valueorientedlegalargumentationinisabellehol-2021","author_short":["Benzmüller, C.","Fuenmayor, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","keywords":"own, Ethical and Legal Reasoning","author":[{"propositions":[],"lastnames":["Benzmüller"],"firstnames":["Christoph"],"suffixes":[]},{"propositions":[],"lastnames":["Fuenmayor"],"firstnames":["David"],"suffixes":[]}],"editor":[{"firstnames":["Liron"],"propositions":[],"lastnames":["Cohen"],"suffixes":[]},{"firstnames":["Cezary"],"propositions":[],"lastnames":["Kaliszyk"],"suffixes":[]}],"doi":"10.4230/LIPIcs.ITP.2021.7","title":"Value-oriented Legal Argumentation in Isabelle/HOL","booktitle":"International Conference on Interactive Theorem Proving (ITP), Proceedings","series":"LIPIcs","volume":"193","number":"23","pages":"23:1-23:18","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","url_preprint":"https://dx.doi.org/10.13140/RG.2.2.21514.80320","year":"2021","bibtex":"@inproceedings{C91,\n Keywords =\t {own, Ethical and Legal Reasoning},\n Author =\t {Benzm{\\\"u}ller, Christoph and Fuenmayor, David},\n Editor =\t {Liron Cohen and Cezary Kaliszyk},\n doi =\t\t {10.4230/LIPIcs.ITP.2021.7},\n Title =\t {Value-oriented Legal Argumentation in\n {Isabelle/HOL}},\n Booktitle =\t {{International Conference on Interactive Theorem\n Proving (ITP), Proceedings}},\n series =\t {LIPIcs},\n volume =\t 193,\n number =\t 23,\n pages =\t {23:1-23:18},\n publisher =\t {Schloss Dagstuhl - Leibniz-Zentrum f{\\\"{u}}r\n Informatik},\n url_preprint = {https://dx.doi.org/10.13140/RG.2.2.21514.80320},\n Year =\t 2021,\n}\n\n","author_short":["Benzmüller, C.","Fuenmayor, D."],"editor_short":["Cohen, L.","Kaliszyk, C."],"key":"C91","id":"C91","bibbaseid":"benzmller-fuenmayor-valueorientedlegalargumentationinisabellehol-2021","role":"author","urls":{" preprint":"https://dx.doi.org/10.13140/RG.2.2.21514.80320"},"keyword":["own","Ethical and Legal Reasoning"],"metadata":{"authorlinks":{}},"downloads":7},"bibtype":"inproceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":["own","ethical and legal reasoning"],"search_terms":["value","oriented","legal","argumentation","isabelle","hol","benzmüller","fuenmayor"],"title":"Value-oriented Legal Argumentation in Isabelle/HOL","year":2021,"downloads":7}