FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

Disclaimer | Powered by EasyChair Smart Program