GCAI 2019

5th Global Conference on Artificial Intelligence

17-19 September 2019 - Bolzano, Italy

Accepted papers

Lukas Hahn, Lutz Roese-Koerner, Peet Cremer, Urs Zimmermann, Ori Maoz and Anton Kummert On the Robustness of Active Learning (pdf) João Ribeiro, Francisco Melo and João Dias Transfer Learning and Catastrophic Forgetting in Deep Reinforcement Learning (pdf) Magdalena Ortiz Ontology-mediated queries from examples: a glimpse at the DL-Lite case (pdf) Christian Alrabbaa, Patrick Koopmann and Anni-Yasmin Turhan Practical Query Rewriting for DL-Lite with Numerical Predicates (pdf) Dario Della Monica, Angelo Montanari, Aniello Murano and Guido Sciavicco Ultimately-periodic interval model checking for temporal dataset evaluation (pdf) Abdullah Khan, Loris Bozzato, Luciano Serafini and Beatrice Lazzerini Visual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming (pdf) Aysu Bogatarkan, Volkan Patoglu and Esra Erdem A Declarative Method for Dynamic Multi-Agent Path Finding (pdf) Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti and Nicolas Troquard On Knowledge Dependence in Weighted Description Logic (pdf) Satyadharma Tirtarasa and Benjamin Zarrieß Projection in a Description Logic of Context with Actions (pdf) Mohamed Ben Ellefi, Pierre Drap, Laurent Garcia, Fabien Garreau, Claire Lefèvre, Odile Papini, Igor Stéphan and Eric Würbel Query Answering Ontologies With Non-Monotonic Rules: Application to a Qualitative Spatial Reasoning for Archaeology (pdf) Guendalina Righetti, Pietro Galliani, Oliver Kutz, Claudio Masolo, Daniele Porello and Nicolas Troquard (short) Weighted Description Logic for Classification Problems (pdf) Sibylle Möhle and Armin Biere Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting (pdf) Ruba Alassaf and Renate A. Schmidt DLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic (pdf) Levan Uridia Common Knowledge in Epistemic Logic With Hypotheses (pdf)