Reichenbach, Prior and hybrid tense logic.

Patrick Blackburn Klaus Frovin Jørgensen

Published in: Synth. (2016)

Keyphrases

hybrid learning
modal logic
data sets
computational properties
machine learning
database
logic programming
prior information
artificial intelligence
automated reasoning
temporal relations
classical logic
decision trees
case study
prior knowledge
prior probabilities
predicate logic
epistemic logic
deontic logic