GCAI 2020: Volume Information

GCAI 2020. 6th Global Conference on Artificial Intelligence (GCAI 2020)

9 articles120 pagesPublished: April 27, 2020

Papers

Selmer 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

Keyphrases

Argumentation, 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.