A Graphical Proof Theory of Logical Time.

Matteo Acclavio Ross Horne Sjouke Mauw Lutz Straßburger

Published in: FSCD (2022)

Keyphrases

proof theory
default reasoning
automated reasoning
proof theoretic
reasoning problems
model theoretic
bayesian networks
knowledge representation
decision makers
theorem proving
probabilistic reasoning