Volume
@proceedings{GCAI2017,
title = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
editor = {Christoph Benzmüller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2017}}
Papers
@inproceedings{GCAI2017:Everythings_Bigger_Texas_"The,
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üller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/sHgD},
doi = {10.29007/gdw8},
pages = {1-5},
year = {2017}}
@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üller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/d9vL},
doi = {10.29007/f3hh},
pages = {6-19},
year = {2017}}
@inproceedings{GCAI2017:Object_sensitive_Deep_Reinforcement,
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üller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/h9zx},
doi = {10.29007/xtgm},
pages = {20-35},
year = {2017}}
@inproceedings{GCAI2017:Basic_Independence_Results_Maximum,
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üller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/jzdz},
doi = {10.29007/w7b5},
pages = {36-50},
year = {2017}}
@inproceedings{GCAI2017:Replaceability_Substitutability_Hierarchy_Constraint,
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üller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/mKkF},
doi = {10.29007/n1db},
pages = {51-63},
year = {2017}}
@inproceedings{GCAI2017:Properties_Constrained_Generalization_Algorithms,
author = {Thierry Boy de La Tour},
title = {Properties of Constrained Generalization Algorithms},
booktitle = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
editor = {Christoph Benzmüller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/R4mG},
doi = {10.29007/xtb8},
pages = {64-77},
year = {2017}}
@inproceedings{GCAI2017:Iterated_contraction_propositions_conditionals,
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üller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/DTmX},
doi = {10.29007/3q8l},
pages = {78-92},
year = {2017}}
@inproceedings{GCAI2017:Genetic_Algorithm_Truck_Dispatching,
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üller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/3PFP},
doi = {10.29007/n11t},
pages = {93-106},
year = {2017}}
@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üller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/qK5j},
doi = {10.29007/kx2m},
pages = {107-120},
year = {2017}}
@inproceedings{GCAI2017:Automated_Invention_Strategies_Term,
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üller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/rsMF},
doi = {10.29007/xghj},
pages = {121-133},
year = {2017}}
@inproceedings{GCAI2017:Modular_Approach_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üller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/RJDZ},
doi = {10.29007/hzlw},
pages = {134-147},
year = {2017}}
@inproceedings{GCAI2017:Quantification_Analysis_Resilience_Two,
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üller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Dbvv},
doi = {10.29007/5fhn},
pages = {148-161},
year = {2017}}
@inproceedings{GCAI2017:Improved_Heuristic_Manipulation_Second,
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üller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/lVQF},
doi = {10.29007/19q2},
pages = {162-174},
year = {2017}}
@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üller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Smgv},
doi = {10.29007/3pxg},
pages = {175-187},
year = {2017}}
@inproceedings{GCAI2017:Secrecy_Preserving_Reasoning_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üller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Wg2G},
doi = {10.29007/npd4},
pages = {188-201},
year = {2017}}
@inproceedings{GCAI2017:Enhanced_Simplified_Memory_bounded,
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üller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/TL2M},
doi = {10.29007/v7zc},
pages = {202-212},
year = {2017}}
@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üller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/nlVs},
doi = {10.29007/8bh6},
pages = {213-220},
year = {2017}}
@inproceedings{GCAI2017:Implementation_Incremental_Learning_Artificial,
author = {Mariela Andrade and Eduardo Gasca and Eréndira Rendón},
title = {Implementation of Incremental Learning in Artificial Neural Networks},
booktitle = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
editor = {Christoph Benzmüller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/1r3b},
doi = {10.29007/8559},
pages = {221-232},
year = {2017}}
@inproceedings{GCAI2017:Abduction_Learning_Smart_City,
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üller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/8CWl},
doi = {10.29007/8jfk},
pages = {233-238},
year = {2017}}
@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üller and Christine Lisetti and Martin Theobald},
series = {EPiC Series in Computing},
volume = {50},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Xw6m},
doi = {10.29007/3f7v},
pages = {239-245},
year = {2017}}
