Algebraic proof theory: Hypersequents and hypercompletions.

Agata Ciabattoni Nikolaos Galatos Kazushige Terui

Published in: Ann. Pure Appl. Log. (2017)

Keyphrases

proof theory
default reasoning
automated reasoning
proof theoretic
reasoning problems
decision procedures
bayesian networks
description logics
multi dimensional
probabilistic reasoning
nonmonotonic reasoning