FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

Shortcuts: ABCDEFGHLMPST
A
abstraction learning
automata learning
B
Bayesian learning
C
clustering
Congruence
Context-free Grammars
D
Decidability
DNF
E
Equivalence
F
false negative rate
false positive rate
G
grammatical inference
Graph Weighted Models
H
hidden tree Markov model
L
Learning from positive examples
learning transductions
Learning Weighted Automata
learning-based testing
M
Minimally Adequate Teacher
multiple languages
P
Picture Series
S
sparse Boolean functions
state-merging
Structured Data
T
tree automata