Model generation for natural language interpretation and analysis
Mathematical theorem proving has undergone an impressive development during the last two decades, resulting in a variety of powerful systems for applications in mathematical deduction and knowledge processing. Natural language processing has become a topic of outstanding relevance in information tec...
Sparad:
| Huvudupphovsman: | |
|---|---|
| Materialtyp: | Livre numérique |
| Språk: | Anglais |
| Publicerad: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science. Lecture notes in artificial intelligence
2953 |
| Ämnen: | |
| Länkar: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmärkning: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Model generation for natural language interpretation and analysis, Karsten Konrad, Berlin, Springer, 2004, 1 vol. (XIII-166 p.), Lecture notes in computer science, 3-540-21069-5 • Model Generation for Natural Language Interpretation and Analysis, Texte imprimé, 9783662190302 |
Innehållsförteckning:
- 1 Motivation
- 1 Motivation
- I Logics
- 2 Model Generation
- 3 Higher-Order Model Generation
- 4 Minimal Model Generation
- II Linguistics
- 5 The Analysis of Definites
- 6 Reciprocity
- 7 Abduction
- 8 Implementation
- 9 Conclusion
- A Some Example Problems
- References and Index.