GCAI

Keyphrases

Publications

2020

Levan Uridia, Dirk Walther
Common Knowledge in an Epistemic Logic with Hypotheses. GCAI (2020)
Shuang Xia, Krysia Broda, Alessandra Russo
Topical Neural Theorem Prover that Induces Rules. GCAI (2020)
Yan Wu, Jinchuan Chen, Plarent Haxhidauti, Vinu E. Venugopal, Martin Theobald
Guided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback. GCAI (2020)
Nicos Isaak, Loizos Michael
WinoReg: A New Faster and More Accurate Metric of Hardness for Winograd Schemas. GCAI (2020)
Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu, John Licato
Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI. GCAI (2020)
Selmer Bringsjord, Naveen Sundar Govindarajulu, John Licato, Michael Giancola
Learning Ex Nihilo. GCAI (2020)
Julian Parsert, Stephanie Autherith, Cezary Kaliszyk
Property Preserving Embedding of First-order Logic. GCAI (2020)
Abdelwahed Nahli, Yuanzhouhan Cao, Shugong Xu
Face Image Deblurring: A Data-Driven Strategy. GCAI (2020)
Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo
Partial Regularization of First-Order Resolution Proofs. GCAI (2020)

volume 72, 2020

6th Global Conference on Artificial Intelligence, GCAI 2020, Hangzhou, China, April 6-9, 2020 GCAI 72 (2020)

2019

volume 65, 2019

GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019. GCAI 65 (2019)

2018

volume 55, 2018

GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg, September 18-21, 2018 GCAI 55 (2018)

2017

volume 50, 2017

GCAI 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017. GCAI 50 (2017)