Login / Signup
Proof theory, semantics and algebra for normative systems.
Xin Sun
Published in:
J. Log. Comput. (2018)
Keyphrases
</>
proof theory
normative systems
default reasoning
proof theoretic
logical framework
automated reasoning
multi agent systems
belief revision
reasoning problems
knowledge base
query language
multi agent
expert systems
data model
nonmonotonic reasoning
model theoretic