Back to Results
First PageMeta Content
Logic / 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 Abstract
Add to Reading List

Document Date: 2014-10-16 02:36:17


Open Document

File Size: 112,94 KB

Share Result on Facebook