Login / Signup
On Some Weakened Forms of Transitivity in the Logic of Norms.
Xavier Parent
Published in:
NMR (2022)
Keyphrases
</>
normative systems
logic programming
modal logic
classical logic
data sets
artificial intelligence
multi agent systems
expert systems
delay insensitive
propositional dynamic logic
decision trees
digital circuits
agent societies
sound and complete axiomatization