A Novel Parsing-based Approach for Verification of Hierarchical Plans.
Roman BartákSimona OndrckováAdrien MaillardGregor BehnkePascal BercherPublished in: ICTAI (2020)
Keyphrases
- natural language
- natural language processing
- unsupervised learning
- model checking
- intermediate representation
- pattern matching
- planning problems
- plan recognition
- partially ordered
- dependency parsing
- hierarchical classification
- formal verification
- syntactic analysis
- database
- plan generation
- context free
- hierarchical model
- knowledge base