Proof Theory of Skew Non-Commutative MILL.

Tarmo Uustalu Niccolò Veltri Cheng-Syuan Wan

Published in: NCL (2022)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
special case
reasoning problems
probabilistic reasoning
learning algorithm
probabilistic model
nonmonotonic reasoning
cp nets