A Logic for Reasoning about Group Norms.

Daniele Porello

Published in: DEON (2018)

Keyphrases

formal theory
normative systems
databases
modal operators
qualitative reasoning
multi agent systems
logic programming
group members
machine learning
neural network
data sets
expert systems
automated reasoning
logical framework
classical logic
set theory
digital circuits
proof theory