GCAI 2020:Keyword Index

Keyword	Papers
A
Argumentation	Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI
automated reasoning	Learning Ex Nihilo
C
computer vision	Face Image Deblurring: A Data-Driven Strategy
D
data cleaning	Guided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback
deep learning	Topical Neural Theorem Prover that Induces Rules
Distributive knowledge	Common Knowledge in an Epistemic Logic with Hypotheses
E
embedding	Topical Neural Theorem Prover that Induces Rules
Evaluation of AI systems	WinoReg: A New Faster and More Accurate Metric of Hardness for Winograd Schemas
F
feedback	Guided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback
first-order logic	Partial Regularization of First-Order Resolution Proofs Property Preserving Embedding of First-order Logic
H
High-Expressivity Planner	Learning Ex Nihilo
Hybrid	Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI
Hybrid AI	Learning Ex Nihilo
K
knowledge bases	Guided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback
knowledge representation	WinoReg: A New Faster and More Accurate Metric of Hardness for Winograd Schemas
Kripke completeness	Common Knowledge in an Epistemic Logic with Hypotheses
L
logical properties	Property Preserving Embedding of First-order Logic
M
machine learning	WinoReg: A New Faster and More Accurate Metric of Hardness for Winograd Schemas
modal logic	Common Knowledge in an Epistemic Logic with Hypotheses
Multi-Operator Logic	Learning Ex Nihilo
N
Natural language systems and linguistics	WinoReg: A New Faster and More Accurate Metric of Hardness for Winograd Schemas
Neural Embedding	Property Preserving Embedding of First-order Logic
neural theorem prover	Topical Neural Theorem Prover that Induces Rules
neural-symbolic integration	Topical Neural Theorem Prover that Induces Rules
P
Proof Compression	Partial Regularization of First-Order Resolution Proofs
R
resolution	Partial Regularization of First-Order Resolution Proofs
rule induction	Topical Neural Theorem Prover that Induces Rules
rule learning	Guided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback
S
supervised learning	Face Image Deblurring: A Data-Driven Strategy
T
topic	Topical Neural Theorem Prover that Induces Rules
U
Uncertainty Multi-Operator Logic	Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI
unification	Partial Regularization of First-Order Resolution Proofs
unsupervised learning	Face Image Deblurring: A Data-Driven Strategy
W
Winograd Schema Challenge	WinoReg: A New Faster and More Accurate Metric of Hardness for Winograd Schemas