Model Generation for Natural Language Interpretation and Analysis

• Main Author: Konrad, Karsten (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Series: Lecture Notes in Computer Science, 2953
• Subjects: Computer science.; Mathematical logic.; Artificial intelligence.; Text processing (Computer science).; Computational linguistics.; Computer Science.; Language Translation and Linguistics.; Artificial Intelligence (incl. Robotics).; Computer Science, general.; Mathematical Logic and Formal Languages.; Document Preparation and Text Processing.

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...