GCAI 2019:BibTeX Entries

Volume

@proceedings{GCAI2019,
  title     = {GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence},
  editor    = {Diego Calvanese and Luca Iocchi},
  series    = {EPiC Series in Computing},
  volume    = {65},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{GCAI2019:Ontology_Mediated_Queries_from_Examples,
  author    = {Magdalena Ortiz},
  title     = {Ontology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case},
  booktitle = {GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence},
  editor    = {Diego Calvanese and Luca Iocchi},
  series    = {EPiC Series in Computing},
  volume    = {65},
  pages     = {1--14},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/c3CT},
  doi       = {10.29007/jhtz}}

@inproceedings{GCAI2019:Practical_Query_Rewriting_for,
  author    = {Christian Alrabbaa and Patrick Koopmann and Anni-Yasmin Turhan},
  title     = {Practical Query Rewriting for DL-Lite with Numerical Predicates},
  booktitle = {GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence},
  editor    = {Diego Calvanese and Luca Iocchi},
  series    = {EPiC Series in Computing},
  volume    = {65},
  pages     = {15--27},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/1Zbd},
  doi       = {10.29007/gqll}}

@inproceedings{GCAI2019:Ultimately_periodic_Interval_Model_Checking,
  author    = {Dario Della Monica and Angelo Montanari and Aniello Murano and Guido Sciavicco},
  title     = {Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation},
  booktitle = {GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence},
  editor    = {Diego Calvanese and Luca Iocchi},
  series    = {EPiC Series in Computing},
  volume    = {65},
  pages     = {28--41},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/XS2V},
  doi       = {10.29007/r3pf}}

@inproceedings{GCAI2019:Visual_Reasoning_on_Complex,
  author    = {Abdullah Khan and Loris Bozzato and Luciano Serafini and Beatrice Lazzerini},
  title     = {Visual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming},
  booktitle = {GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence},
  editor    = {Diego Calvanese and Luca Iocchi},
  series    = {EPiC Series in Computing},
  volume    = {65},
  pages     = {42--53},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/83zQ},
  doi       = {10.29007/pjd4}}

@inproceedings{GCAI2019:Declarative_Method_for_Dynamic,
  author    = {Aysu Bogatarkan and Volkan Patoglu and Esra Erdem},
  title     = {A Declarative Method for Dynamic Multi-Agent Path Finding},
  booktitle = {GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence},
  editor    = {Diego Calvanese and Luca Iocchi},
  series    = {EPiC Series in Computing},
  volume    = {65},
  pages     = {54--67},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/n21z},
  doi       = {10.29007/cnzw}}

@inproceedings{GCAI2019:On_Knowledge_Dependence_in,
  author    = {Pietro Galliani and Oliver Kutz and Daniele Porello and Guendalina Righetti and Nicolas Troquard},
  title     = {On Knowledge Dependence in Weighted Description Logic},
  booktitle = {GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence},
  editor    = {Diego Calvanese and Luca Iocchi},
  series    = {EPiC Series in Computing},
  volume    = {65},
  pages     = {68--80},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/s17p},
  doi       = {10.29007/hjt1}}

@inproceedings{GCAI2019:Projection_in_Description_Logic,
  author    = {Satyadharma Tirtarasa and Benjamin Zarrie\{\textbackslash{}ss\}},
  title     = {Projection in a Description Logic of Context with Actions},
  booktitle = {GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence},
  editor    = {Diego Calvanese and Luca Iocchi},
  series    = {EPiC Series in Computing},
  volume    = {65},
  pages     = {81--93},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/wJkN},
  doi       = {10.29007/s7cm}}

@inproceedings{GCAI2019:Query_Answering_With_Non_Monotonic,
  author    = {Mohamed Ben Ellefi and Pierre Drap and Laurent Garcia and Fabien Garreau and Claire Lef\textbackslash{}`evre and Odile Papini and Igor St\textbackslash{}'ephan and Eric W\textbackslash{}"urbel},
  title     = {Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning},
  booktitle = {GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence},
  editor    = {Diego Calvanese and Luca Iocchi},
  series    = {EPiC Series in Computing},
  volume    = {65},
  pages     = {94--107},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/gl5c},
  doi       = {10.29007/6ph5}}

@inproceedings{GCAI2019:Weighted_Description_Logic_for,
  author    = {Guendalina Righetti and Pietro Galliani and Oliver Kutz and Daniele Porello and Claudio Masolo and Nicolas Troquard},
  title     = {Weighted Description Logic for Classification Problems},
  booktitle = {GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence},
  editor    = {Diego Calvanese and Luca Iocchi},
  series    = {EPiC Series in Computing},
  volume    = {65},
  pages     = {108--112},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/S5bV},
  doi       = {10.29007/vdlq}}

@inproceedings{GCAI2019:Combining_Conflict_Driven_Clause_Learning,
  author    = {Sibylle M\textbackslash{}"ohle and Armin Biere},
  title     = {Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting},
  booktitle = {GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence},
  editor    = {Diego Calvanese and Luca Iocchi},
  series    = {EPiC Series in Computing},
  volume    = {65},
  pages     = {113--126},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/wBnB},
  doi       = {10.29007/vgg4}}

@inproceedings{GCAI2019:DLS_Forgetter_An_Implementation_of,
  author    = {Ruba Alassaf and Renate A. Schmidt},
  title     = {DLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic},
  booktitle = {GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence},
  editor    = {Diego Calvanese and Luca Iocchi},
  series    = {EPiC Series in Computing},
  volume    = {65},
  pages     = {127--138},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/TM2K},
  doi       = {10.29007/hvz6}}

@inproceedings{GCAI2019:Common_Knowledge_in_Epistemic,
  author    = {Levan Uridia and Dirk Walther},
  title     = {Common Knowledge in Epistemic Logic With Hypotheses},
  booktitle = {GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence},
  editor    = {Diego Calvanese and Luca Iocchi},
  series    = {EPiC Series in Computing},
  volume    = {65},
  pages     = {139--151},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/gq75},
  doi       = {10.29007/glrl}}

@inproceedings{GCAI2019:On_Robustness_of_Active,
  author    = {Lukas Hahn and Lutz Roese-Koerner and Peet Cremer and Urs Zimmermann and Ori Maoz and Anton Kummert},
  title     = {On the Robustness of Active Learning},
  booktitle = {GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence},
  editor    = {Diego Calvanese and Luca Iocchi},
  series    = {EPiC Series in Computing},
  volume    = {65},
  pages     = {152--162},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/WQ4F},
  doi       = {10.29007/thws}}

@inproceedings{GCAI2019:Multi_task_Learning_and_Catastrophic,
  author    = {Jo\textbackslash{}\~{}\{a\}o Ribeiro and Francisco Melo and Jo\textbackslash{}\~{}\{a\}o Dias},
  title     = {Multi-task Learning and Catastrophic Forgetting in Continual Reinforcement Learning},
  booktitle = {GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence},
  editor    = {Diego Calvanese and Luca Iocchi},
  series    = {EPiC Series in Computing},
  volume    = {65},
  pages     = {163--175},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/8RPq},
  doi       = {10.29007/g7bg}}