AMR Parsing With Cache Transition Systems.

Xiaochang Peng Daniel Gildea Giorgio Satta

Published in: AAAI (2018)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
natural language
practical reasoning
control flow
model checker
formal specification
reactive systems
fully observable
formal verification
object oriented
markov chain
partially observable