How to Analyze Natural Language with Transparent Intensional Logic?
Vojtech KovárAles HorákMilos JakubícekPublished in: RASLAN (2010)
Keyphrases
- natural language
- logic programming
- knowledge representation
- formal language
- classical logic
- higher order
- natural language interface
- defeasible logic
- modal logic
- computational properties
- dialogue system
- context dependent
- logical formulas
- semantic representation
- automated reasoning
- artificial intelligence
- query evaluation
- programming language
- natural language processing
- three dimensional