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