Login / Signup
Encoding Phases using Commutativity and Non-commutativity in a Logical Framework
Maxime Amblard
Published in:
CoRR (2011)
Keyphrases
</>
logical framework
inference rules
belief revision
linear logic
update operations
reasoning tasks
dynamic programming
possibilistic logic
normative systems
higher order logic
machine learning
expert systems
coalition logic