|
|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
NLCS PRE-WORKSHOP PAPERS
| Authors | Title | Paper | Talk |
|---|
| Tao Xue, Zhaohui Luo and Stergios Chatzikyriakidis | Propositional Forms of Judgemental Interpretations |  | Jul 07 11:30 | | Valeria de Paiva, Alexandre Rademaker, Livy Real, Fabricio Chalub and Gerard de Melo | OpenWordNet-PT: Taking Stock | | Jul 07 17:30 | | Aikaterini-Lida Kalouli, Richard Crouch, Valeria de Paiva and Livy Real | Graph Knowledge Representations for SICK | | Jul 07 15:00 | | Colin Zwanziger | Propositional Attitude Operators in Homotopy Type Theory | | Jul 07 11:00 | | Inari Listenmaa and Koen Claessen | Automatic test suite generation for PMCFG grammars | | Jul 07 17:00 | | Nino Amiridze and Temur Kutsia | Anti-Unification and Natural Language Processing | | Jul 07 10:00 | | Hai Hu, Thomas Icard and Larry Moss | Automated Reasoning from Polarized Parse Trees | | Jul 07 16:00 | | Ribeka Tanaka, Koji Mineshima and Daisuke Bekki | Paychecks, Presupposition, and Dependent Types | | Jul 07 12:00 | | Davide Catta, Richard Moot and Christian Retoré | Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus. | | Jul 07 16:30 |
|
|