![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/gcai/gcai2017.bht:"
@inproceedings{DBLP:conf/gcai/AndradeGR17, author = {Mariela Andrade and Eduardo Gasca and Er{\'{e}}ndira Rend{\'{o}}n}, editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald}, title = {Implementation of Incremental Learning in Artificial Neural Networks}, booktitle = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017}, series = {EPiC Series in Computing}, volume = {50}, pages = {221--232}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/8559}, doi = {10.29007/8559}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/AndradeGR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/BaaderE17, author = {Franz Baader and Andreas Ecke}, editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald}, title = {Extending the Description Logic {ALC} with More Expressive Cardinality Constraints on Concepts}, booktitle = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017}, series = {EPiC Series in Computing}, volume = {50}, pages = {6--19}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/f3hh}, doi = {10.29007/F3HH}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/BaaderE17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/BjornerMS17, author = {Nikolaj S. Bj{\o}rner and Maria{-}Cristina V. Marinescu and Mooly Sagiv}, editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald}, title = {Abduction for Learning Smart City Rules}, booktitle = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017}, series = {EPiC Series in Computing}, volume = {50}, pages = {233--238}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/8jfk}, doi = {10.29007/8JFK}, timestamp = {Thu, 14 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/BjornerMS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/CohenZ17, author = {Liron Cohen and Yoni Zohar}, editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald}, title = {Reasoning Inside The Box: Deduction in Herbrand Logics}, booktitle = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017}, series = {EPiC Series in Computing}, volume = {50}, pages = {107--120}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/kx2m}, doi = {10.29007/KX2M}, timestamp = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/CohenZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/Cox0RW17, author = {Wesley Cox and Tim French and Mark Reynolds and Lyndon While}, editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald}, title = {A Genetic Algorithm for Truck Dispatching in Mining}, booktitle = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017}, series = {EPiC Series in Computing}, volume = {50}, pages = {93--106}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/n11t}, doi = {10.29007/N11T}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/Cox0RW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/FreuderW17, author = {Eugene C. Freuder and Richard J. Wallace}, editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald}, title = {Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems}, booktitle = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017}, series = {EPiC Series in Computing}, volume = {50}, pages = {51--63}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/n1db}, doi = {10.29007/N1DB}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/FreuderW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/Heule17, author = {Marijn Heule}, editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald}, title = {Everything's Bigger in Texas: "The Largest Math Proof Ever"}, booktitle = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017}, series = {EPiC Series in Computing}, volume = {50}, pages = {1--5}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/gdw8}, doi = {10.29007/GDW8}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/Heule17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/JakubuvSU17, author = {Jan Jakubuv and Martin Suda and Josef Urban}, editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald}, title = {Automated Invention of Strategies and Term Orderings for Vampire}, booktitle = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017}, series = {EPiC Series in Computing}, volume = {50}, pages = {121--133}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/xghj}, doi = {10.29007/XGHJ}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/JakubuvSU17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/JamaliM17, author = {Sima Jamali and David Mitchell}, editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald}, title = {Improving {SAT} Solver Performance with Structure-based Preferential Bumping}, booktitle = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017}, series = {EPiC Series in Computing}, volume = {50}, pages = {175--187}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/3pxg}, doi = {10.29007/3PXG}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/JamaliM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/Kern-IsbernerBS17, author = {Gabriele Kern{-}Isberner and Tanja Bock and Kai Sauerwald and Christoph Beierle}, editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald}, title = {Iterated contraction of propositions and conditionals under the principle of conditional preservation}, booktitle = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017}, series = {EPiC Series in Computing}, volume = {50}, pages = {78--92}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/3q8l}, doi = {10.29007/3Q8L}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/Kern-IsbernerBS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/Kirsch17, author = {Alexandra Kirsch}, editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald}, 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, Miami, FL, USA, 18-22 October 2017}, series = {EPiC Series in Computing}, volume = {50}, pages = {134--147}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/hzlw}, doi = {10.29007/HZLW}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/Kirsch17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/LasisiL17, author = {Ramoni O. Lasisi and Abibat A. Lasisi}, editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald}, title = {Improved Heuristic for Manipulation of Second-order Copeland Elections}, booktitle = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017}, series = {EPiC Series in Computing}, volume = {50}, pages = {162--174}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/19q2}, doi = {10.29007/19Q2}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/LasisiL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/LiSI17, author = {Yuezhang Li and Katia P. Sycara and Rahul Iyer}, editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald}, title = {Object-sensitive Deep Reinforcement Learning}, booktitle = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017}, series = {EPiC Series in Computing}, volume = {50}, pages = {20--35}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/xtgm}, doi = {10.29007/XTGM}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/LiSI17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/LovingerZ17, author = {Justin Lovinger and Xiaoqin Zhang}, editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald}, title = {Enhanced Simplified Memory-bounded {A} Star (SMA*+)}, booktitle = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017}, series = {EPiC Series in Computing}, volume = {50}, pages = {202--212}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/v7zc}, doi = {10.29007/V7ZC}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/LovingerZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/PenaMV17, author = {Pedro Pe{\~{n}}a and Joseph G. Masterjohn and Ubbo Visser}, editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald}, title = {Optimizing Kick Trajectory: {A} Comparative Study}, booktitle = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017}, series = {EPiC Series in Computing}, volume = {50}, pages = {239--245}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/3f7v}, doi = {10.29007/3F7V}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/PenaMV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/SivaprakasamRSS17, author = {Gopalakrishnan Krishnasamy Sivaprakasam and Adrienne Raglin and Douglas Summers{-}Stay and Giora Slutzki}, editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald}, title = {Secrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases}, booktitle = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017}, series = {EPiC Series in Computing}, volume = {50}, pages = {188--201}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/npd4}, doi = {10.29007/NPD4}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/SivaprakasamRSS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/Tour17, author = {Thierry Boy de la Tour}, editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald}, title = {Properties of Constrained Generalization Algorithms}, booktitle = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017}, series = {EPiC Series in Computing}, volume = {50}, pages = {64--77}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/xtb8}, doi = {10.29007/XTB8}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/Tour17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/VarugheseTSW17, author = {Joshua Cherian Varughese and Ronald Thenius and Thomas Schmickl and Franz Wotawa}, editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald}, title = {Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms}, booktitle = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017}, series = {EPiC Series in Computing}, volume = {50}, pages = {148--161}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/5fhn}, doi = {10.29007/5FHN}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/VarugheseTSW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/WilhelmKE17, author = {Marco Wilhelm and Gabriele Kern{-}Isberner and Andreas Ecke}, editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald}, title = {Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals}, booktitle = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017}, series = {EPiC Series in Computing}, volume = {50}, pages = {36--50}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/w7b5}, doi = {10.29007/W7B5}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/WilhelmKE17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/YuBHMFD17, author = {Ching{-}Hao Yu and Manas Bhatnagar and Rachel Hogen and Dilin Mao and Atefeh Farzindar and Kiran Dhanireddy}, editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald}, title = {Anemic Status Prediction using Multilayer Perceptron Neural Network Model}, booktitle = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017}, series = {EPiC Series in Computing}, volume = {50}, pages = {213--220}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/8bh6}, doi = {10.29007/8BH6}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/YuBHMFD17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/gcai/2017, editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald}, title = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017}, series = {EPiC Series in Computing}, volume = {50}, publisher = {EasyChair}, year = {2017}, url = {https://easychair.org/publications/volume/GCAI\_2017}, timestamp = {Fri, 05 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gcai/2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.