FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

This page contains an index consisting of author-provided keywords.

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

Disclaimer | Powered by EasyChair Smart Program