Linear Intransitive Temporal Logic of Knowledge LTK_r, Decision Algorithms, Inference Rules.

Alexandra Lukyanchuk Vladimir V. Rybakov

Published in: CoRR (2014)

Keyphrases

temporal logic
inference rules
modal logic
model checking
learning algorithm
probabilistic knowledge
temporal knowledge
first order logic
theorem prover
logical framework
machine learning
knowledge base
lower bound
knowledge representation
linear temporal logic