Login / Signup

Non-transitive linear temporal logic and logical knowledge operations.

Vladimir V. Rybakov
Published in: J. Log. Comput. (2016)
Keyphrases
  • linear temporal logic
  • knowledge base
  • temporal logic
  • knowledge representation
  • programming language
  • knowledge based systems
  • domain independent
  • logical rules