Abstract Normative Systems: Semantics and Proof Theory.

Silvano Colombo Tosatto Guido Boella Leendert W. N. van der Torre Serena Villata

Published in: KR (2012)

Keyphrases

decision problems
proof theory
normative systems
default reasoning
proof theoretic
automated reasoning
logical framework
multi agent systems
optimal policy
reasoning problems
np hard
partial order
temporal logic