Proof Theory and Ordered Groups.

Almudena Colacito George Metcalfe

Published in: WoLLIC (2017)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
artificial intelligence
reasoning problems
bayesian networks
knowledge representation
temporal reasoning