Volume
@proceedings{GCAI2017,
title = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{GCAI2017:Everythings_Bigger_in_Texas,
author = {Marijn Heule},
title = {Everything's Bigger in Texas: "The Largest Math Proof Ever"},
booktitle = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
pages = {1--5},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/sHgD},
doi = {10.29007/gdw8}}
@inproceedings{GCAI2017:Extending_Description_Logic_ALC,
author = {Franz Baader and Andreas Ecke},
title = {Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts},
booktitle = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
pages = {6--19},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/d9vL},
doi = {10.29007/f3hh}}
@inproceedings{GCAI2017:Object_sensitive_Deep_Reinforcement_Learning,
author = {Yuezhang Li and Katia Sycara and Rahul Iyer},
title = {Object-sensitive Deep Reinforcement Learning},
booktitle = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
pages = {20--35},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/h9zx},
doi = {10.29007/xtgm}}
@inproceedings{GCAI2017:Basic_Independence_Results_for,
author = {Marco Wilhelm and Gabriele Kern-Isberner and Andreas Ecke},
title = {Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals},
booktitle = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
pages = {36--50},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/jzdz},
doi = {10.29007/w7b5}}
@inproceedings{GCAI2017:Replaceability_and_Substitutability_Hierarchy,
author = {Eugene Freuder and Richard Wallace},
title = {Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems},
booktitle = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
pages = {51--63},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/mKkF},
doi = {10.29007/n1db}}
@inproceedings{GCAI2017:Properties_of_Constrained_Generalization,
author = {Thierry Boy de La Tour},
title = {Properties of Constrained Generalization Algorithms},
booktitle = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
pages = {64--77},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/R4mG},
doi = {10.29007/xtb8}}
@inproceedings{GCAI2017:Iterated_contraction_of_propositions,
author = {Gabriele Kern-Isberner and Tanja Bock and Kai Sauerwald and Christoph Beierle},
title = {Iterated contraction of propositions and conditionals under the principle of conditional preservation},
booktitle = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
pages = {78--92},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/DTmX},
doi = {10.29007/3q8l}}
@inproceedings{GCAI2017:Genetic_Algorithm_for_Truck,
author = {Wesley Cox and Tim French and Mark Reynolds and Lyndon While},
title = {A Genetic Algorithm for Truck Dispatching in Mining},
booktitle = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
pages = {93--106},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/3PFP},
doi = {10.29007/n11t}}
@inproceedings{GCAI2017:Reasoning_Inside_Box_Deduction,
author = {Liron Cohen and Yoni Zohar},
title = {Reasoning Inside The Box: Deduction in Herbrand Logics},
booktitle = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
pages = {107--120},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/qK5j},
doi = {10.29007/kx2m}}
@inproceedings{GCAI2017:Automated_Invention_of_Strategies,
author = {Jan Jakubuv and Martin Suda and Josef Urban},
title = {Automated Invention of Strategies and Term Orderings for Vampire},
booktitle = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
pages = {121--133},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/rsMF},
doi = {10.29007/xghj}}
@inproceedings{GCAI2017:Modular_Approach_of_Decision_Making,
author = {Alexandra Kirsch},
title = {A Modular Approach of Decision-Making in the Context of Robot Navigation in Domestic Environments},
booktitle = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
pages = {134--147},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/RJDZ},
doi = {10.29007/hzlw}}
@inproceedings{GCAI2017:Quantification_and_Analysis_of,
author = {Joshua Cherian Varughese and Ronald Thenius and Thomas Schmickl and Franz Wotawa},
title = {Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms},
booktitle = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
pages = {148--161},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Dbvv},
doi = {10.29007/5fhn}}
@inproceedings{GCAI2017:Improved_Heuristic_for_Manipulation,
author = {Ramoni Lasisi and Abibat Lasisi},
title = {Improved Heuristic for Manipulation of Second-order Copeland Elections},
booktitle = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
pages = {162--174},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/lVQF},
doi = {10.29007/19q2}}
@inproceedings{GCAI2017:Improving_SAT_Solver_Performance,
author = {Sima Jamali and David Mitchell},
title = {Improving SAT Solver Performance with Structure-based Preferential Bumping},
booktitle = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
pages = {175--187},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Smgv},
doi = {10.29007/3pxg}}
@inproceedings{GCAI2017:Secrecy_Preserving_Reasoning_and_Query,
author = {Gopalakrishnan Krishnasamy Sivaprakasam and Adrienne Raglin and Douglas Summers-Stay and Giora Slutzki},
title = {Secrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases},
booktitle = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
pages = {188--201},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Wg2G},
doi = {10.29007/npd4}}
@inproceedings{GCAI2017:Enhanced_Simplified_Memory_bounded_Star,
author = {Justin Lovinger and Xiaoqin Zhang},
title = {Enhanced Simplified Memory-bounded A Star (SMA*+)},
booktitle = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
pages = {202--212},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/TL2M},
doi = {10.29007/v7zc}}
@inproceedings{GCAI2017:Anemic_Status_Prediction_using,
author = {Ching Hao Yu and Manas Bhatnagar and Rachel Hogen and Dilin Mao and Atefeh Farzindar and Kiran Dhanireddy},
title = {Anemic Status Prediction using Multilayer Perceptron Neural Network Model},
booktitle = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
pages = {213--220},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/nlVs},
doi = {10.29007/8bh6}}
@inproceedings{GCAI2017:Implementation_of_Incremental_Learning,
author = {Mariela Andrade and Eduardo Gasca and Er\textbackslash{}'endira Rend\textbackslash{}'on},
title = {Implementation of Incremental Learning in Artificial Neural Networks},
booktitle = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
pages = {221--232},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/1r3b},
doi = {10.29007/8559}}
@inproceedings{GCAI2017:Abduction_for_Learning_Smart,
author = {Nikolaj Bjorner and Maria-Cristina Marinescu and Mooly Sagiv},
title = {Abduction for Learning Smart City Rules},
booktitle = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
pages = {233--238},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/8CWl},
doi = {10.29007/8jfk}}
@inproceedings{GCAI2017:Optimizing_Kick_Trajectory_Comparative,
author = {Pedro Pena and Joseph Masterjohn and Ubbo Visser},
title = {Optimizing Kick Trajectory: A Comparative Study},
booktitle = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
editor = {Christoph Benzm\textbackslash{}"uller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
pages = {239--245},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Xw6m},
doi = {10.29007/3f7v}}