FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

A
action language
Actual Cause
Answer Set Programming
B
Boolean Satisfiability
C
Controlled Natural Language
CR-Prolog
D
dependent types
E
elaboration
explanation
G
Grammatical Framework
H
heuristics
I
Inductive Logic Programming
K
Knowledge Acquisition
Knowledge Representation and Reasoning
L
lazy grounding
Logic-based tools
Logical Regulatory Networks
Logistics
LPMLN
LPOD
M
Model Revision
N
natural language understanding
O
Ontology
P
Phylotastic
Planning
preference
probabilistic reasoning
proof-relevant
Q
Question Answering
R
Reasoning about Actions and Change
resolution
T
type classes
W
Web Service Composition