000 | 03338nam a22005775i 4500 | ||
---|---|---|---|
001 | 978-3-540-24640-4 | ||
003 | DE-He213 | ||
005 | 20240423125610.0 | ||
007 | cr nn 008mamaa | ||
008 | 121227s2004 gw | s |||| 0|eng d | ||
020 |
_a9783540246404 _9978-3-540-24640-4 |
||
024 | 7 |
_a10.1007/b95744 _2doi |
|
050 | 4 | _aQA76.9.N38 | |
072 | 7 |
_aUYQL _2bicssc |
|
072 | 7 |
_aCOM073000 _2bisacsh |
|
072 | 7 |
_aUYQL _2thema |
|
082 | 0 | 4 |
_a006.35 _223 |
100 | 1 |
_aKonrad, Karsten. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut |
|
245 | 1 | 0 |
_aModel Generation for Natural Language Interpretation and Analysis _h[electronic resource] / _cby Karsten Konrad. |
250 | _a1st ed. 2004. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2004. |
|
300 |
_aXIV, 174 p. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Artificial Intelligence, _x2945-9141 ; _v2953 |
|
505 | 0 | _a1 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. | |
520 | _aMathematical 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 technology, mainly due to the explosive growth of the Web, where by far the largest part of information is encoded in natural language documents. This monograph focuses on the development of inference tools tailored to applications in natural language processing by demonstrating how the model generation paradigm can be used as a framework for the support of specific tasks in natural language interpretation and natural language based inference in a natural way. The book appears at a pivotal moment, when much attention is being paid to the task of adding a semantic layer to the Web, and representation and processing of natural language based semantic information pops up as a primary requirement for further technological progress. | ||
650 | 0 | _aNatural language processing (Computer science). | |
650 | 0 | _aArtificial intelligence. | |
650 | 0 | _aComputer science. | |
650 | 0 | _aMachine theory. | |
650 | 1 | 4 | _aNatural Language Processing (NLP). |
650 | 2 | 4 | _aArtificial Intelligence. |
650 | 2 | 4 | _aComputer Science. |
650 | 2 | 4 | _aFormal Languages and Automata Theory. |
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783540210696 |
776 | 0 | 8 |
_iPrinted edition: _z9783662190302 |
830 | 0 |
_aLecture Notes in Artificial Intelligence, _x2945-9141 ; _v2953 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/b95744 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
912 | _aZDB-2-BAE | ||
942 | _cSPRINGER | ||
999 |
_c179709 _d179709 |