Model Generation for Natural Language Interpretation and Analysis

• Κύριος συγγραφέας: Konrad, Karsten (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Σειρά: Lecture Notes in Computer Science, 2953
• Θέματα: 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...