Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/gcai/gcai2017.bht:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-07-26 08:28 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
