Formal Theory Of Quantifiers In Natural Language And Their Syllogisms.
Vilem NovakPublished in: ECMS (2024)
Keyphrases
- formal theory
- natural language
- belief update
- natural language interface
- natural language processing
- knowledge representation
- machine learning
- commonsense reasoning
- natural language understanding
- spatial reasoning
- question answering
- language processing
- semantic representation
- semantic interpretation
- semantic analysis
- machine translation
- information retrieval
- formal language
- dialogue system
- information extraction
- data sets
- multi agent
- cooperative
- text mining
- conceptual graphs
- mathematical models
- first order logic