GCAI 2019: Volume Information

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

Papers

Keyphrases

#SAT, Ackermann's Lemma, active learning, Answer Set Programming³, catastrophic forgetting, chronological backtracking, Classification problems, computer vision, concrete domains, conflict-driven clause learning, Continual Learning, cultural heritage, Data Analytics, declarative problem solving, Description Logic², Description Logics, Description logics in learning, DL-Lite², 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.