|
|
GCAI 2020: Author IndexAuthor | 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 |
|
|
|