CTL as an Intermediate Language.

Neil D. Jones René Rydhof Hansen

Published in: VMCAI (2008)

Keyphrases

programming language
linear temporal logic
model checking
temporal logic
language learning
neural network
data sets
computational linguistics
english language
natural language
case study
information systems
artificial intelligence
conceptual graphs
representation language
minimal change
temporal properties