GCAI 2020: Keyword Index

KeywordPapers
a
ArgumentationAdjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI
automated reasoningLearning Ex Nihilo
c
computer visionFace Image Deblurring: A Data-Driven Strategy
d
data cleaningGuided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback
deep learningTopical Neural Theorem Prover that Induces Rules
Distributive knowledgeCommon Knowledge in an Epistemic Logic with Hypotheses
e
embeddingTopical Neural Theorem Prover that Induces Rules
Evaluation of AI systemsWinoReg: A New Faster and More Accurate Metric of Hardness for Winograd Schemas
f
feedbackGuided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback
first-order logicPartial Regularization of First-Order Resolution Proofs
Property Preserving Embedding of First-order Logic
h
High-Expressivity PlannerLearning Ex Nihilo
HybridAdjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI
Hybrid AILearning Ex Nihilo
k
knowledge basesGuided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback
knowledge representationWinoReg: A New Faster and More Accurate Metric of Hardness for Winograd Schemas
Kripke completenessCommon Knowledge in an Epistemic Logic with Hypotheses
l
logical propertiesProperty Preserving Embedding of First-order Logic
m
machine learningWinoReg: A New Faster and More Accurate Metric of Hardness for Winograd Schemas
modal logicCommon Knowledge in an Epistemic Logic with Hypotheses
Multi-Operator LogicLearning Ex Nihilo
n
Natural language systems and linguisticsWinoReg: A New Faster and More Accurate Metric of Hardness for Winograd Schemas
Neural EmbeddingProperty Preserving Embedding of First-order Logic
neural theorem proverTopical Neural Theorem Prover that Induces Rules
neural-symbolic integrationTopical Neural Theorem Prover that Induces Rules
p
Proof CompressionPartial Regularization of First-Order Resolution Proofs
r
resolutionPartial Regularization of First-Order Resolution Proofs
rule inductionTopical Neural Theorem Prover that Induces Rules
rule learningGuided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback
s
supervised learningFace Image Deblurring: A Data-Driven Strategy
t
topicTopical Neural Theorem Prover that Induces Rules
u
Uncertainty Multi-Operator LogicAdjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI
unificationPartial Regularization of First-Order Resolution Proofs
unsupervised learningFace Image Deblurring: A Data-Driven Strategy
w
Winograd Schema ChallengeWinoReg: A New Faster and More Accurate Metric of Hardness for Winograd Schemas