|
|
GCAI 2020: Author Index| Author | Papers |
|---|
| A | | Autherith, Stephanie | Property Preserving Embedding of First-order 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 Data-Driven 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 First-Order 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 First-order 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 Data-Driven Strategy | | P | | Parsert, Julian | Property Preserving Embedding of First-order Logic | | Postan, Ezequiel | Partial Regularization of First-Order 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 First-Order 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 Data-Driven Strategy |
|
|
|
