Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning

Steen, AlexanderAlexanderSteenFuenmayor, DavidDavidFuenmayor0000-0002-0042-45382023-10-042023-10-042022978-3-031-21540-7978-3-031-21541-40302-97431611-3349https://fis.uni-bamberg.de/handle/uniba/91146engBridging Between LegalRuleML and TPTP for Automated Normative Reasoningconferenceobject10.1007/978-3-031-21541-4_16