GCAI 2020: Author IndexAuthor  Papers 

A  Autherith, Stephanie  Property Preserving Embedding of Firstorder Logic  B  Bringsjord, Selmer  Learning Ex Nihilo Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI  Broda, Krysia  Topical Neural Theorem Prover that Induces Rules  C  Cao, Yuanzhouhan  Face Image Deblurring: A DataDriven Strategy  Chen, Jinchuan  Guided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback  G  Giancola, Michael  Learning Ex Nihilo Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI  Gorzny, Jan  Partial Regularization of FirstOrder Resolution Proofs  Govindarajulu, Naveen Sundar  Learning Ex Nihilo Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI  H  Haxhidauti, Plarent  Guided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback  I  Isaak, Nicos  WinoReg: A New Faster and More Accurate Metric of Hardness for Winograd Schemas  K  Kaliszyk, Cezary  Property Preserving Embedding of Firstorder Logic  L  Licato, John  Learning Ex Nihilo Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI  M  Michael, Loizos  WinoReg: A New Faster and More Accurate Metric of Hardness for Winograd Schemas  N  Nahli, Abdelwahed  Face Image Deblurring: A DataDriven Strategy  P  Parsert, Julian  Property Preserving Embedding of Firstorder Logic  Postan, Ezequiel  Partial Regularization of FirstOrder Resolution Proofs  R  Russo, Alessandra  Topical Neural Theorem Prover that Induces Rules  T  Theobald, Martin  Guided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback  U  Uridia, Levan  Common Knowledge in an Epistemic Logic with Hypotheses  V  Venugopal, Vinu Ellampallil  Guided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback  W  Walther, Dirk  Common Knowledge in an Epistemic Logic with Hypotheses  Woltzenlogel Paleo, Bruno  Partial Regularization of FirstOrder Resolution Proofs  Wu, Yan  Guided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback  X  Xia, Shuang  Topical Neural Theorem Prover that Induces Rules  Xu, Shugong  Face Image Deblurring: A DataDriven Strategy 

