FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Amiridze, Nino	Anti-Unification and Natural Language Processing (PDF, talk)
B
Bekki, Daisuke	Paychecks, Presupposition, and Dependent Types (PDF, talk)
C
Catta, Davide	Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus. (PDF, talk)
Chalub, Fabricio	OpenWordNet-PT: Taking Stock (PDF, talk)
Chatzikyriakidis, Stergios	Propositional Forms of Judgemental Interpretations (PDF, talk)
Claessen, Koen	Automatic test suite generation for PMCFG grammars (PDF, talk)
Crouch, Richard	Graph Knowledge Representations for SICK (PDF, talk)
D
de Melo, Gerard	OpenWordNet-PT: Taking Stock (PDF, talk)
de Paiva, Valeria	OpenWordNet-PT: Taking Stock (PDF, talk) Graph Knowledge Representations for SICK (PDF, talk)
H
Hu, Hai	Automated Reasoning from Polarized Parse Trees (PDF, talk)
I
Icard, Thomas	Automated Reasoning from Polarized Parse Trees (PDF, talk)
K
Kalouli, Aikaterini-Lida	Graph Knowledge Representations for SICK (PDF, talk)
Kutsia, Temur	Anti-Unification and Natural Language Processing (PDF, talk)
L
Listenmaa, Inari	Automatic test suite generation for PMCFG grammars (PDF, talk)
Luo, Zhaohui	Propositional Forms of Judgemental Interpretations (PDF, talk)
M
Mineshima, Koji	Paychecks, Presupposition, and Dependent Types (PDF, talk)
Moot, Richard	Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus. (PDF, talk)
Moss, Larry	Automated Reasoning from Polarized Parse Trees (PDF, talk)
R
Rademaker, Alexandre	OpenWordNet-PT: Taking Stock (PDF, talk)
Real, Livy	OpenWordNet-PT: Taking Stock (PDF, talk) Graph Knowledge Representations for SICK (PDF, talk)
Retoré, Christian	Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus. (PDF, talk)
T
Tanaka, Ribeka	Paychecks, Presupposition, and Dependent Types (PDF, talk)
X
Xue, Tao	Propositional Forms of Judgemental Interpretations (PDF, talk)
Z
Zwanziger, Colin	Propositional Attitude Operators in Homotopy Type Theory (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program