GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence

14 articles175 pagesPublished: December 10, 2019


Pages 1-14
Pages 15-27
Pages 28-41
Pages 42-53
Pages 54-67
Pages 68-80
Pages 81-93
Pages 94-107
Pages 108-112
Pages 113-126
Pages 127-138
Pages 139-151
Pages 152-162
Pages 163-175


#SAT, Ackermann's Lemma, active learning, Answer Set Programming3, catastrophic forgetting, chronological backtracking, Classification problems, computer vision, concrete domains, conflict-driven clause learning, Continual Learning, cultural heritage, Data Analytics, declarative problem solving, Description Logic2, Description Logics, Description logics in learning, DL-Lite2, Event Calculus, Event detection in video, first-order logic, forgetting, hierarchical networks, image classification, knowledge base, Knowledge Representation and Reasoning, Kripke completeness, linear models, Logic of Hypotheses, machine learning, modal logic, model checking, model counting, multi-agent path finding, multi-task learning, Ontology, Ontology-Based Query Answering, ontology-mediated queries, propositional calculus, prototype theory, query by example, query rewriting, Reasoning, reasoning about action, Reverse engineering queries, rules, SAT, temporal dataset evaluation, Threshold Operators, Transfer Learning, Two-dimensional Description Logic, ultimately periodic models, weighted description logic