Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation.
Sam LasserChris CasinghinoDerek EgolfKathleen FisherCody RouxPublished in: NFM (2023)
Keyphrases
- natural language
- linguistic analysis
- natural language processing
- semantic web
- reinforcement learning
- dynamic environments
- semantic information
- semantic parsing
- syntactic structures
- semantic annotation
- context sensitive
- semantic representation
- action descriptions
- search engine
- situation calculus
- human activities
- domain specific
- keywords
- knowledge base