• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A Graphical Proof Theory of Logical Time.

Matteo AcclavioRoss HorneSjouke MauwLutz 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