Volume
@proceedings{GCAI2016,
title = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{GCAI2016:Tutorial_on_Reasoning_in,
author = {Alexander Steen and Max Wisniewski and Christoph Benzm\textbackslash{}"uller},
title = {Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {1--10},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/dw51},
doi = {10.29007/4dsr}}
@inproceedings{GCAI2016:New_Techniques_in_Clausal,
author = {Giles Reger and Martin Suda and Andrei Voronkov},
title = {New Techniques in Clausal Form Generation},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {11--23},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/XncX},
doi = {10.29007/dzfz}}
@inproceedings{GCAI2016:Unsatisfiability_Proofs_for_Parallel,
author = {Tobias Philipp},
title = {Unsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {24--38},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/vlFf},
doi = {10.29007/68qz}}
@inproceedings{GCAI2016:AVATAR_Modulo_Theories,
author = {Giles Reger and Nikolaj Bjorner and Martin Suda and Andrei Voronkov},
title = {AVATAR Modulo Theories},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {39--52},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/7},
doi = {10.29007/k6tp}}
@inproceedings{GCAI2016:Clausal_Normal_Form_Translation,
author = {Evgenii Kotelnikov and Laura Kov\textbackslash{}'acs and Martin Suda and Andrei Voronkov},
title = {A Clausal Normal Form Translation for FOOL},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {53--71},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/1PB2},
doi = {10.29007/ltkk}}
@inproceedings{GCAI2016:Capacity_Visual_Attention_Networks,
author = {Marcus Edel and Joscha Lausch},
title = {Capacity Visual Attention Networks},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {72--80},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/RlH},
doi = {10.29007/lcmk}}
@inproceedings{GCAI2016:Learning_Importance_of_Preferences,
author = {Ying Zhu and Mirek Truszczynski},
title = {Learning Importance of Preferences},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {81--94},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/NMJm},
doi = {10.29007/v68w}}
@inproceedings{GCAI2016:Content_Based_Image_Retrieval_System,
author = {Yin-Fu Huang and Bo-Rong Chen},
title = {Content-Based Image Retrieval System for Real Images},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {95--108},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Z3T},
doi = {10.29007/w4sr}}
@inproceedings{GCAI2016:Harmony_Search_Approach_for,
author = {Imen Boudali and Nihel Mokhtar},
title = {Harmony Search Approach for Patient Scheduling in Emergency Laboratories},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {109--123},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/dbLz},
doi = {10.29007/jr2r}}
@inproceedings{GCAI2016:Matching_Jobs_and_Resumes,
author = {Thomas Schmitt and Phillipe Caillou and Michele Sebag},
title = {Matching Jobs and Resumes: a Deep Collaborative Filtering Task},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {124--137},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Jwh},
doi = {10.29007/17rz}}
@inproceedings{GCAI2016:Contactless_Surgery_Light_Control,
author = {Armin Dietz and Stephan Schr\textbackslash{}"oder and Andreas P\textbackslash{}"osch and Klaus Frank and Eduard Reithmeier},
title = {Contactless Surgery Light Control based on 3D Gesture Recognition},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {138--146},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/L1},
doi = {10.29007/zmz9}}
@inproceedings{GCAI2016:Towards_Practical_Decision_Procedure,
author = {Michel Ludwig and Dirk Walther},
title = {Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {147--160},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/bmx},
doi = {10.29007/bsqm}}
@inproceedings{GCAI2016:Empirical_Investigation_of_Learning_Based,
author = {Hara Skouteli and Loizos Michael},
title = {Empirical Investigation of Learning-Based Imputation Policies},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {161--173},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/hlg},
doi = {10.29007/rcnn}}
@inproceedings{GCAI2016:When_Should_Learning_Agents,
author = {Daan Apeldoorn and Gabriele Kern-Isberner},
title = {When Should Learning Agents Switch to Explicit Knowledge?},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {174--186},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/xrz},
doi = {10.29007/2bgs}}
@inproceedings{GCAI2016:Short_Term_Memory_for_Deliberative,
author = {Ivo Chichkov and Alexandra Kirsch},
title = {A Short-Term Memory for Deliberative Agents in Everyday Environments},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {187--199},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/xJQ},
doi = {10.29007/r5x5}}
@inproceedings{GCAI2016:Heuristic_Decision_Making_for_Human_aware,
author = {Alexandra Kirsch},
title = {Heuristic Decision-Making for Human-aware Navigation in Domestic Environments},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {200--213},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/z2d},
doi = {10.29007/12l7}}
@inproceedings{GCAI2016:Cooperation_in_Adaptive_Multi_Agent,
author = {Teddy Bouziat and Val\textbackslash{}'erie Camps and St\textbackslash{}'ephanie Combettes},
title = {Cooperation in Adaptive Multi-Agent Systems through System of Systems modeling},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {214--226},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/vHXp},
doi = {10.29007/kqfk}}
@inproceedings{GCAI2016:Invariant_Projections_in_Games,
author = {Abhijeet Mohapatra and Bertrand Decoster and Sudhir Agarwal and Michael Genesereth},
title = {Invariant Projections in Games},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {227--239},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/JL8k},
doi = {10.29007/z5zn}}
@inproceedings{GCAI2016:Heliostat_Field_Layout_Optimization,
author = {Pascal Richter and David Laukamp and Levin Gerdes and Martin Frank and Erika \textbackslash{}'Abrah\textbackslash{}'am},
title = {Heliostat Field Layout Optimization with Evolutionary Algorithms},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {240--252},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Q9n4},
doi = {10.29007/7p6t}}
@inproceedings{GCAI2016:Animating_Cognitive_Models_and,
author = {Nada Sharaf and Slim Abdennadher and Thom Fruehwirth and Daniel Gall},
title = {Animating Cognitive Models and Architectures: A Rule-Based Approach},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {253--265},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/877},
doi = {10.29007/wjwz}}
@inproceedings{GCAI2016:Matching_Qualitative_Constraint_Networks,
author = {Malumbo Chipofya},
title = {Matching Qualitative Constraint Networks with Online Reinforcement Learning},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {266--279},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/TJF},
doi = {10.29007/1g5q}}
@inproceedings{GCAI2016:Constraint_Problem_Specification_as,
author = {Steve Prestwich and S. Armagan Tarim and Roberto Rossi},
title = {Constraint Problem Specification as Compression},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {280--292},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/6xN},
doi = {10.29007/7ths}}
@inproceedings{GCAI2016:Deep_Incremental_Boosting,
author = {Alan Mosca and George Magoulas},
title = {Deep Incremental Boosting},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {293--302},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/NR},
doi = {10.29007/qlvr}}
@inproceedings{GCAI2016:Sparse_Representation_of_High_Dimensional,
author = {Jochen Kerdels and Gabriele Peters},
title = {A Sparse Representation of High-Dimensional Input Spaces Based on an Augmented Growing Neural Gas},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {303--313},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/s2},
doi = {10.29007/jgjt}}
@inproceedings{GCAI2016:Learning_Partial_Lexicographic_Preference,
author = {Xudong Liu and Mirek Truszczynski},
title = {Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {314--328},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/6z},
doi = {10.29007/xtl4}}
@inproceedings{GCAI2016:LexiPers_An_ontology_based,
author = {Behnam Sabeti and Pedram Hosseini and Gholamreza Ghassem-Sani and Sَeyed Abolghasem Mirroshandel},
title = {LexiPers: An ontology based sentiment lexicon for Persian},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {329--339},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/q2F},
doi = {10.29007/f4j4}}
@inproceedings{GCAI2016:Application_Independent_and_Integration_Friendly_Natural,
author = {Manfred Eppe and Sean Trott and Vivek Raghuram and Jerome Feldman and Adam Janin},
title = {Application-Independent and Integration-Friendly Natural Language Understanding},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
pages = {340--352},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/W2T},
doi = {10.29007/npsn}}