GCAI 2020: Volume InformationGCAI 2020. 6th Global Conference on Artificial Intelligence (GCAI 2020)9 articles•120 pages•Published: April 27, 2020 PapersSelmer Bringsjord, Naveen Sundar Govindarajulu, John Licato and Michael Giancola 1-27 | Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu and John Licato 28-33 | Jan Gorzny, Ezequiel Postan and Bruno Woltzenlogel Paleo 34-45 | Nicos Isaak and Loizos Michael 46-58 | Abdelwahed Nahli, Yuanzhouhan Cao and Shugong Xu 59-69 | Julian Parsert, Stephanie Autherith and Cezary Kaliszyk 70-82 | Levan Uridia and Dirk Walther 83-91 | Yan Wu, Jinchuan Chen, Plarent Haxhidauti, Vinu Ellampallil Venugopal and Martin Theobald 92-106 | Shuang Xia, Krysia Broda and Alessandra Russo 107-120 |
KeyphrasesArgumentation, automated reasoning, computer vision, data cleaning, deep learning, Distributive knowledge, embedding, Evaluation of AI systems, feedback, first-order logic2, High-Expressivity Planner, Hybrid, Hybrid AI, knowledge bases, knowledge representation, Kripke completeness, logical properties, machine learning, modal logic, Multi-Operator Logic, Natural language systems and linguistics, Neural Embedding, neural-symbolic integration, neural theorem prover, Proof Compression, resolution, rule induction, rule learning, supervised learning, topic, Uncertainty Multi-Operator Logic, unification, unsupervised learning, Winograd Schema Challenge. |
|