Options
Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset)
Parent, Xavier; Benzmüller, Christoph (2024): „Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset)“.
Faculty/Professorship:
Author:
Title of the Journal:
Archive of Formal Proofs
ISSN:
2150-914X
Year of publication:
2024
Pages:
Language:
English
Peer Reviewed:
Yes:
International Distribution:
Yes:
Open Access Journal:
Yes:
Type:
Article
published:
April 15, 2024
Permalink
https://fis.uni-bamberg.de/handle/uniba/94698