Volume
@proceedings{GCAI2016,
title = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzmüller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2016}}
Papers
@inproceedings{GCAI2016:Tutorial_Reasoning_Expressive_Non,
author = {Alexander Steen and Max Wisniewski and Christoph Benzmüller},
title = {Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzmüller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/dw51},
doi = {10.29007/4dsr},
pages = {1-10},
year = {2016}}
@inproceedings{GCAI2016:New_Techniques_Clausal_Form,
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üller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/XncX},
doi = {10.29007/dzfz},
pages = {11-23},
year = {2016}}
@inproceedings{GCAI2016:Unsatisfiability_Proofs_Parallel_SAT,
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üller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/vlFf},
doi = {10.29007/68qz},
pages = {24-38},
year = {2016}}
@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üller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/7},
doi = {10.29007/k6tp},
pages = {39-52},
year = {2016}}
@inproceedings{GCAI2016:Clausal_Normal_Form_Translation,
author = {Evgenii Kotelnikov and Laura Kovács 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üller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/1PB2},
doi = {10.29007/ltkk},
pages = {53-71},
year = {2016}}
@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üller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/RlH},
doi = {10.29007/lcmk},
pages = {72-80},
year = {2016}}
@inproceedings{GCAI2016:Learning_Importance_Preferences,
author = {Ying Zhu and Mirek Truszczynski},
title = {Learning Importance of Preferences},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzmüller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/NMJm},
doi = {10.29007/v68w},
pages = {81-94},
year = {2016}}
@inproceedings{GCAI2016:Content_Based_Image_Retrieval,
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üller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Z3T},
doi = {10.29007/w4sr},
pages = {95-108},
year = {2016}}
@inproceedings{GCAI2016:Harmony_Search_Approach_Patient,
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üller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/dbLz},
doi = {10.29007/jr2r},
pages = {109-123},
year = {2016}}
@inproceedings{GCAI2016:Matching_Jobs_Resumes_Deep,
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üller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Jwh},
doi = {10.29007/17rz},
pages = {124-137},
year = {2016}}
@inproceedings{GCAI2016:Contactless_Surgery_Light_Control,
author = {Armin Dietz and Stephan Schröder and Andreas Pösch 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üller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/L1},
doi = {10.29007/zmz9},
pages = {138-146},
year = {2016}}
@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üller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/bmx},
doi = {10.29007/bsqm},
pages = {147-160},
year = {2016}}
@inproceedings{GCAI2016:Empirical_Investigation_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üller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/hlg},
doi = {10.29007/rcnn},
pages = {161-173},
year = {2016}}
@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üller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/xrz},
doi = {10.29007/2bgs},
pages = {174-186},
year = {2016}}
@inproceedings{GCAI2016:Short_Term_Memory_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üller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/xJQ},
doi = {10.29007/r5x5},
pages = {187-199},
year = {2016}}
@inproceedings{GCAI2016:Heuristic_Decision_Making_Human,
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üller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/z2d},
doi = {10.29007/12l7},
pages = {200-213},
year = {2016}}
@inproceedings{GCAI2016:Cooperation_Adaptive_Multi_Agent,
author = {Teddy Bouziat and Valérie Camps and Stéphanie 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üller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/vHXp},
doi = {10.29007/kqfk},
pages = {214-226},
year = {2016}}
@inproceedings{GCAI2016:Invariant_Projections_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üller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/JL8k},
doi = {10.29007/z5zn},
pages = {227-239},
year = {2016}}
@inproceedings{GCAI2016:Heliostat_Field_Layout_Optimization,
author = {Pascal Richter and David Laukamp and Levin Gerdes and Martin Frank and Erika Ábrahám},
title = {Heliostat Field Layout Optimization with Evolutionary Algorithms},
booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
editor = {Christoph Benzmüller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Q9n4},
doi = {10.29007/7p6t},
pages = {240-252},
year = {2016}}
@inproceedings{GCAI2016:Animating_Cognitive_Models_Architectures,
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üller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/877},
doi = {10.29007/wjwz},
pages = {253-265},
year = {2016}}
@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üller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/TJF},
doi = {10.29007/1g5q},
pages = {266-279},
year = {2016}}
@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üller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/6xN},
doi = {10.29007/7ths},
pages = {280-292},
year = {2016}}
@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üller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/NR},
doi = {10.29007/qlvr},
pages = {293-302},
year = {2016}}
@inproceedings{GCAI2016:Sparse_Representation_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üller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/s2},
doi = {10.29007/jgjt},
pages = {303-313},
year = {2016}}
@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üller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/6z},
doi = {10.29007/xtl4},
pages = {314-328},
year = {2016}}
@inproceedings{GCAI2016:LexiPers_ontology_based_sentiment,
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üller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/q2F},
doi = {10.29007/f4j4},
pages = {329-339},
year = {2016}}
@inproceedings{GCAI2016:Application_Independent_Integration_Friendly,
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üller and Geoff Sutcliffe and Raul Rojas},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/W2T},
doi = {10.29007/npsn},
pages = {340-352},
year = {2016}}
