Using Earley Parser for Verification of Totally Ordered Hierarchical Plans.
Kristýna PantuckováSimona OndrckováRoman BartákPublished in: FLAIRS (2024)
Keyphrases
- totally ordered
- partially ordered
- partial order
- partial ordering
- model checking
- natural language processing
- natural language
- verification method
- formal methods
- multi dimensional
- information retrieval systems
- hierarchical structure
- hierarchical clustering
- coarse to fine
- hierarchical model
- signature verification
- information extraction