GCAI 2020: Author Index

AuthorPapers
A
Autherith, StephanieProperty Preserving Embedding of First-order Logic
B
Bringsjord, SelmerLearning Ex Nihilo
Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI
Broda, KrysiaTopical Neural Theorem Prover that Induces Rules
C
Cao, YuanzhouhanFace Image Deblurring: A Data-Driven Strategy
Chen, JinchuanGuided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback
G
Giancola, MichaelLearning Ex Nihilo
Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI
Gorzny, JanPartial Regularization of First-Order Resolution Proofs
Govindarajulu, Naveen SundarLearning Ex Nihilo
Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI
H
Haxhidauti, PlarentGuided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback
I
Isaak, NicosWinoReg: A New Faster and More Accurate Metric of Hardness for Winograd Schemas
K
Kaliszyk, CezaryProperty Preserving Embedding of First-order Logic
L
Licato, JohnLearning Ex Nihilo
Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI
M
Michael, LoizosWinoReg: A New Faster and More Accurate Metric of Hardness for Winograd Schemas
N
Nahli, AbdelwahedFace Image Deblurring: A Data-Driven Strategy
P
Parsert, JulianProperty Preserving Embedding of First-order Logic
Postan, EzequielPartial Regularization of First-Order Resolution Proofs
R
Russo, AlessandraTopical Neural Theorem Prover that Induces Rules
T
Theobald, MartinGuided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback
U
Uridia, LevanCommon Knowledge in an Epistemic Logic with Hypotheses
V
Venugopal, Vinu EllampallilGuided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback
W
Walther, DirkCommon Knowledge in an Epistemic Logic with Hypotheses
Woltzenlogel Paleo, BrunoPartial Regularization of First-Order Resolution Proofs
Wu, YanGuided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback
X
Xia, ShuangTopical Neural Theorem Prover that Induces Rules
Xu, ShugongFace Image Deblurring: A Data-Driven Strategy