Login / Signup

Proof Theory, Semantics and Algebra for Normative Systems.

Xin Sun
Published in: LORI (2013)
Keyphrases
  • proof theory
  • normative systems
  • default reasoning
  • proof theoretic
  • automated reasoning
  • logical framework
  • multi agent systems
  • reasoning problems
  • description logics
  • cp nets
  • cooperative