@article{J48,
  Author =	 {Benzm{\"u}ller, Christoph and Parent, Xavier and van
                  der Torre, Leendert},
  Keywords =	 {own, Trustworthy and responsible AI, Knowledge
                  representation and reasoning, Automated theorem
                  proving, Model finding, Normative reasoning,
                  Normative systems, Ethical issues, Semantical
                  embedding, Higher-order logic},
  Journal =	 {Artificial Intelligence},
  Publisher =	 {Elsevier},
  Title =	 {Designing Normative Theories for Ethical and Legal
                  Reasoning: {LogiKEy} Framework, Methodology, and
                  Tool Support},
  Year =	 2020,
  Volume =	 287,
  Pages =	 103348,
  issn =	 {0004-3702},
  Doi =		 {10.1016/j.artint.2020.103348},
  OPTUrl =       {https://doi.org/10.1016/j.artint.2020.103348},
  url_preprint = {https://www.researchgate.net/publication/342146653},
  url_arxiv =	 {https://arxiv.org/abs/1903.10187},
}

{"_id":"9azTXYKmWyKMxELQd","bibbaseid":"benzmller-parent-vandertorre-designingnormativetheoriesforethicalandlegalreasoninglogikeyframeworkmethodologyandtoolsupport-2020","author_short":["Benzmüller, C.","Parent, X.","van der Torre, L."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Benzmüller"],"firstnames":["Christoph"],"suffixes":[]},{"propositions":[],"lastnames":["Parent"],"firstnames":["Xavier"],"suffixes":[]},{"propositions":["van","der"],"lastnames":["Torre"],"firstnames":["Leendert"],"suffixes":[]}],"keywords":"own, Trustworthy and responsible AI, Knowledge representation and reasoning, Automated theorem proving, Model finding, Normative reasoning, Normative systems, Ethical issues, Semantical embedding, Higher-order logic","journal":"Artificial Intelligence","publisher":"Elsevier","title":"Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support","year":"2020","volume":"287","pages":"103348","issn":"0004-3702","doi":"10.1016/j.artint.2020.103348","opturl":"https://doi.org/10.1016/j.artint.2020.103348","url_preprint":"https://www.researchgate.net/publication/342146653","url_arxiv":"https://arxiv.org/abs/1903.10187","bibtex":"@article{J48,\n Author =\t {Benzm{\\\"u}ller, Christoph and Parent, Xavier and van\n der Torre, Leendert},\n Keywords =\t {own, Trustworthy and responsible AI, Knowledge\n representation and reasoning, Automated theorem\n proving, Model finding, Normative reasoning,\n Normative systems, Ethical issues, Semantical\n embedding, Higher-order logic},\n Journal =\t {Artificial Intelligence},\n Publisher =\t {Elsevier},\n Title =\t {Designing Normative Theories for Ethical and Legal\n Reasoning: {LogiKEy} Framework, Methodology, and\n Tool Support},\n Year =\t 2020,\n Volume =\t 287,\n Pages =\t 103348,\n issn =\t {0004-3702},\n Doi =\t\t {10.1016/j.artint.2020.103348},\n OPTUrl = {https://doi.org/10.1016/j.artint.2020.103348},\n url_preprint = {https://www.researchgate.net/publication/342146653},\n url_arxiv =\t {https://arxiv.org/abs/1903.10187},\n}\n\n","author_short":["Benzmüller, C.","Parent, X.","van der Torre, L."],"key":"J48","id":"J48","bibbaseid":"benzmller-parent-vandertorre-designingnormativetheoriesforethicalandlegalreasoninglogikeyframeworkmethodologyandtoolsupport-2020","role":"author","urls":{" preprint":"https://www.researchgate.net/publication/342146653"," arxiv":"https://arxiv.org/abs/1903.10187"},"keyword":["own","Trustworthy and responsible AI","Knowledge representation and reasoning","Automated theorem proving","Model finding","Normative reasoning","Normative systems","Ethical issues","Semantical embedding","Higher-order logic"],"metadata":{"authorlinks":{}},"downloads":9},"bibtype":"article","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T","peg5auaDeiDseYQMF"],"keywords":["own","trustworthy and responsible ai","knowledge representation and reasoning","automated theorem proving","model finding","normative reasoning","normative systems","ethical issues","semantical embedding","higher-order logic"],"search_terms":["designing","normative","theories","ethical","legal","reasoning","logikey","framework","methodology","tool","support","benzmüller","parent","van der torre"],"title":"Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support","year":2020,"downloads":9}