GCAI 2017:BibTeX Entries

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, http://www.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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}