Date: 2014-10-16 02:36:17Logic Mathematical logic Theoretical computer science Natural language processing Formal methods Computability theory Artificial intelligence Decidability First-order logic Natural language understanding Natural language user interface Entityrelationship model | | In pursuit of decidable ‘logical form’ Michael Minock TCS/CSC KTH Royal Institute of Technology, Stockholm, Sweden AbstractAdd to Reading ListSource URL: www2.lingfil.uu.seDownload Document from Source Website File Size: 112,94 KBShare Document on Facebook
|