FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
anaphora	Paychecks, Presupposition, and Dependent Types (PDF, talk)
Anti-unification	Anti-Unification and Natural Language Processing (PDF, talk)
B
beta reduction	Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus. (PDF, talk)
C
categorial grammar	Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus. (PDF, talk)
ccg	Automated Reasoning from Polarized Parse Trees (PDF, talk)
Comonads	Propositional Attitude Operators in Homotopy Type Theory (PDF, talk)
D
dependent type theory	Paychecks, Presupposition, and Dependent Types (PDF, talk)
E
Extension	Propositional Attitude Operators in Homotopy Type Theory (PDF, talk)
F
Formal Semantics	Propositional Forms of Judgemental Interpretations (PDF, talk)
G
Generalization of syntactic parse trees	Anti-Unification and Natural Language Processing (PDF, talk)
Grammar testing	Automatic test suite generation for PMCFG grammars (PDF, talk)
Grammatical Framework	Automatic test suite generation for PMCFG grammars (PDF, talk)
H
head variable	Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus. (PDF, talk)
homotopy type theory	Propositional Attitude Operators in Homotopy Type Theory (PDF, talk)
Hyperintensional Logic	Propositional Attitude Operators in Homotopy Type Theory (PDF, talk)
I
inference	Automated Reasoning from Polarized Parse Trees (PDF, talk)
Intension	Propositional Attitude Operators in Homotopy Type Theory (PDF, talk)
Intensional Logic	Propositional Attitude Operators in Homotopy Type Theory (PDF, talk)
Intensional Type Theory	Propositional Attitude Operators in Homotopy Type Theory (PDF, talk)
J
Judgemental Interpretation	Propositional Forms of Judgemental Interpretations (PDF, talk)
K
Knowledge Representation	Graph Knowledge Representations for SICK (PDF, talk)
L
Least general generalization	Anti-Unification and Natural Language Processing (PDF, talk)
M
Modal Type Theory	Propositional Attitude Operators in Homotopy Type Theory (PDF, talk)
Monads	Propositional Attitude Operators in Homotopy Type Theory (PDF, talk)
monotonicity	Automated Reasoning from Polarized Parse Trees (PDF, talk)
Montague semantics	Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus. (PDF, talk)
N
natural language processing	OpenWordNet-PT: Taking Stock (PDF, talk) Anti-Unification and Natural Language Processing (PDF, talk)
natural language understanding	OpenWordNet-PT: Taking Stock (PDF, talk)
nominalizations	OpenWordNet-PT: Taking Stock (PDF, talk)
P
parsing	OpenWordNet-PT: Taking Stock (PDF, talk)
paycheck pronouns	Paychecks, Presupposition, and Dependent Types (PDF, talk)
PMCFG	Automatic test suite generation for PMCFG grammars (PDF, talk)
polarity	Automated Reasoning from Polarized Parse Trees (PDF, talk)
presupposition	Paychecks, Presupposition, and Dependent Types (PDF, talk)
proof-theoretic semantics	Paychecks, Presupposition, and Dependent Types (PDF, talk)
R
Richard Montague	Propositional Attitude Operators in Homotopy Type Theory (PDF, talk)
S
semantic parsing	Graph Knowledge Representations for SICK (PDF, talk)
T
textual inference	Graph Knowledge Representations for SICK (PDF, talk)
type theory	Propositional Forms of Judgemental Interpretations (PDF, talk)
typed lambda calculus	Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus. (PDF, talk)
U
UD	OpenWordNet-PT: Taking Stock (PDF, talk)
W
wordnet	OpenWordNet-PT: Taking Stock (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program