Intransitive Linear Temporal Logic, Knowledge from Past, Decidability, Admissible Rules.

Vladimir V. Rybakov

Published in: CoRR (2015)

Keyphrases

linear temporal logic
domain knowledge
temporal logic
domain experts
production rules
knowledge base
background knowledge
expert systems
knowledge based systems
general purpose
knowledge acquisition
search algorithm
knowledge representation
simulated annealing