GCAI 2019: Volume Information

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

14 articles175 pagesPublished: December 10, 2019

Papers

Magdalena Ortiz
1-14
Christian Alrabbaa, Patrick Koopmann and Anni-Yasmin Turhan
15-27
Dario Della Monica, Angelo Montanari, Aniello Murano and Guido Sciavicco
28-41
Abdullah Khan, Loris Bozzato, Luciano Serafini and Beatrice Lazzerini
42-53
Aysu Bogatarkan, Volkan Patoglu and Esra Erdem
54-67
Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti and Nicolas Troquard
68-80
Satyadharma Tirtarasa and Benjamin Zarrieß
81-93
Mohamed Ben Ellefi, Pierre Drap, Laurent Garcia, Fabien Garreau, Claire Lefèvre, Odile Papini, Igor Stéphan and Eric Würbel
94-107
Guendalina Righetti, Pietro Galliani, Oliver Kutz, Daniele Porello, Claudio Masolo and Nicolas Troquard
108-112
Sibylle Möhle and Armin Biere
113-126
Ruba Alassaf and Renate A. Schmidt
127-138
Levan Uridia and Dirk Walther
139-151
Lukas Hahn, Lutz Roese-Koerner, Peet Cremer, Urs Zimmermann, Ori Maoz and Anton Kummert
152-162
João Ribeiro, Francisco Melo and João Dias
163-175

Keyphrases

#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.