Sign in

Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements - (Preliminary Results).

Wenbin LiJane Huffman HayesMiroslaw Truszczynski
Published in: NASA Formal Methods (2012)
Keyphrases
  • natural language
  • consistency checking
  • action language
  • temporal constraints
  • temporal reasoning
  • temporal information
  • description language
  • general purpose
  • orders of magnitude
  • query answering