GCAI 2020. 6th Global Conference on Artificial Intelligence (GCAI 2020)9 articles•120 pages•Published: April 27, 2020 Papers
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 theorem prover, neural-symbolic integration, Proof Compression, resolution, rule induction, rule learning, supervised learning, topic, Uncertainty Multi-Operator Logic, unification, unsupervised learning, Winograd Schema Challenge |