Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Volume
•
Abstracts
•
Preface
•
Authors
•
Program Committee
•
Keywords
•
BibTex Entries
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
Copyright © 2012-2023 easychair.org. All rights reserved.