Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/gcai:"
download as .bib file
@inproceedings{DBLP:conf/gcai/BringsjordGLG20,
author = {Selmer Bringsjord and
Naveen Sundar Govindarajulu and
John Licato and
Michael Giancola},
editor = {Gr{\'{e}}goire Danoy and
Jun Pang and
Geoff Sutcliffe},
title = {Learning Ex Nihilo},
booktitle = {6th Global Conference on Artificial Intelligence, {GCAI} 2020, Hangzhou,
China, April 6-9, 2020},
series = {EPiC Series in Computing},
volume = {72},
pages = {1--27},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/ggcf},
doi = {10.29007/GGCF},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/BringsjordGLG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/GiancolaBGL20,
author = {Michael Giancola and
Selmer Bringsjord and
Naveen Sundar Govindarajulu and
John Licato},
editor = {Gr{\'{e}}goire Danoy and
Jun Pang and
Geoff Sutcliffe},
title = {Adjudication of Symbolic {\&} Connectionist Arguments in Autonomous
Driving {AI}},
booktitle = {6th Global Conference on Artificial Intelligence, {GCAI} 2020, Hangzhou,
China, April 6-9, 2020},
series = {EPiC Series in Computing},
volume = {72},
pages = {28--33},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/k647},
doi = {10.29007/K647},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/GiancolaBGL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/GorznyPP20,
author = {Jan Gorzny and
Ezequiel Postan and
Bruno Woltzenlogel Paleo},
editor = {Gr{\'{e}}goire Danoy and
Jun Pang and
Geoff Sutcliffe},
title = {Partial Regularization of First-Order Resolution Proofs},
booktitle = {6th Global Conference on Artificial Intelligence, {GCAI} 2020, Hangzhou,
China, April 6-9, 2020},
series = {EPiC Series in Computing},
volume = {72},
pages = {34--45},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/3r41},
doi = {10.29007/3R41},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/GorznyPP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/IsaakM20,
author = {Nicos Isaak and
Loizos Michael},
editor = {Gr{\'{e}}goire Danoy and
Jun Pang and
Geoff Sutcliffe},
title = {WinoReg: {A} New Faster and More Accurate Metric of Hardness for Winograd
Schemas},
booktitle = {6th Global Conference on Artificial Intelligence, {GCAI} 2020, Hangzhou,
China, April 6-9, 2020},
series = {EPiC Series in Computing},
volume = {72},
pages = {46--58},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/wl4b},
doi = {10.29007/WL4B},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/IsaakM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/NahliCX20,
author = {Abdelwahed Nahli and
Yuanzhouhan Cao and
Shugong Xu},
editor = {Gr{\'{e}}goire Danoy and
Jun Pang and
Geoff Sutcliffe},
title = {Face Image Deblurring: {A} Data-Driven Strategy},
booktitle = {6th Global Conference on Artificial Intelligence, {GCAI} 2020, Hangzhou,
China, April 6-9, 2020},
series = {EPiC Series in Computing},
volume = {72},
pages = {59--69},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/tlhq},
doi = {10.29007/TLHQ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/NahliCX20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/ParsertAK20,
author = {Julian Parsert and
Stephanie Autherith and
Cezary Kaliszyk},
editor = {Gr{\'{e}}goire Danoy and
Jun Pang and
Geoff Sutcliffe},
title = {Property Preserving Embedding of First-order Logic},
booktitle = {6th Global Conference on Artificial Intelligence, {GCAI} 2020, Hangzhou,
China, April 6-9, 2020},
series = {EPiC Series in Computing},
volume = {72},
pages = {70--82},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/18t1},
doi = {10.29007/18T1},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gcai/ParsertAK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/Uridia020,
author = {Levan Uridia and
Dirk Walther},
editor = {Gr{\'{e}}goire Danoy and
Jun Pang and
Geoff Sutcliffe},
title = {Common Knowledge in an Epistemic Logic with Hypotheses},
booktitle = {6th Global Conference on Artificial Intelligence, {GCAI} 2020, Hangzhou,
China, April 6-9, 2020},
series = {EPiC Series in Computing},
volume = {72},
pages = {83--91},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/43wj},
doi = {10.29007/43WJ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/Uridia020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/WuCHVT20,
author = {Yan Wu and
Jinchuan Chen and
Plarent Haxhidauti and
Vinu E. Venugopal and
Martin Theobald},
editor = {Gr{\'{e}}goire Danoy and
Jun Pang and
Geoff Sutcliffe},
title = {Guided Inductive Logic Programming: Cleaning Knowledge Bases with
Iterative User Feedback},
booktitle = {6th Global Conference on Artificial Intelligence, {GCAI} 2020, Hangzhou,
China, April 6-9, 2020},
series = {EPiC Series in Computing},
volume = {72},
pages = {92--106},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/ppgx},
doi = {10.29007/PPGX},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/WuCHVT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/XiaBR20,
author = {Shuang Xia and
Krysia Broda and
Alessandra Russo},
editor = {Gr{\'{e}}goire Danoy and
Jun Pang and
Geoff Sutcliffe},
title = {Topical Neural Theorem Prover that Induces Rules},
booktitle = {6th Global Conference on Artificial Intelligence, {GCAI} 2020, Hangzhou,
China, April 6-9, 2020},
series = {EPiC Series in Computing},
volume = {72},
pages = {107--120},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/wscr},
doi = {10.29007/WSCR},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/XiaBR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gcai/2020,
editor = {Gr{\'{e}}goire Danoy and
Jun Pang and
Geoff Sutcliffe},
title = {6th Global Conference on Artificial Intelligence, {GCAI} 2020, Hangzhou,
China, April 6-9, 2020},
series = {EPiC Series in Computing},
volume = {72},
publisher = {EasyChair},
year = {2020},
url = {https://easychair.org/publications/volume/GCAI\_2020},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gcai/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/AlassafS19,
author = {Ruba Alassaf and
Renate A. Schmidt},
editor = {Diego Calvanese and
Luca Iocchi},
title = {DLS-Forgetter: An Implementation of the {DLS} Forgetting Calculus
for First-Order Logic},
booktitle = {{GCAI} 2019. Proceedings of the 5th Global Conference on Artificial
Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019},
series = {EPiC Series in Computing},
volume = {65},
pages = {127--138},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/hvz6},
doi = {10.29007/HVZ6},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/AlassafS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/AlrabbaaKT19,
author = {Christian Alrabbaa and
Patrick Koopmann and
Anni{-}Yasmin Turhan},
editor = {Diego Calvanese and
Luca Iocchi},
title = {Practical Query Rewriting for DL-Lite with Numerical Predicates},
booktitle = {{GCAI} 2019. Proceedings of the 5th Global Conference on Artificial
Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019},
series = {EPiC Series in Computing},
volume = {65},
pages = {15--27},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/gqll},
doi = {10.29007/GQLL},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/AlrabbaaKT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/BogatarkanP019,
author = {Aysu Bogatarkan and
Volkan Patoglu and
Esra Erdem},
editor = {Diego Calvanese and
Luca Iocchi},
title = {A Declarative Method for Dynamic Multi-Agent Path Finding},
booktitle = {{GCAI} 2019. Proceedings of the 5th Global Conference on Artificial
Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019},
series = {EPiC Series in Computing},
volume = {65},
pages = {54--67},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/cnzw},
doi = {10.29007/CNZW},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/BogatarkanP019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/EllefiDGGLPSW19,
author = {Mohamed Ben Ellefi and
Pierre Drap and
Laurent Garcia and
Fabien Garreau and
Claire Lef{\`{e}}vre and
Odile Papini and
Igor St{\'{e}}phan and
{\'{E}}ric W{\"{u}}rbel},
editor = {Diego Calvanese and
Luca Iocchi},
title = {Query Answering With Non-Monotonic Rules: {A} Case Study of Archaeology
Qualitative Spatial Reasoning},
booktitle = {{GCAI} 2019. Proceedings of the 5th Global Conference on Artificial
Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019},
series = {EPiC Series in Computing},
volume = {65},
pages = {94--107},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/6ph5},
doi = {10.29007/6PH5},
timestamp = {Wed, 08 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gcai/EllefiDGGLPSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/GallianiKPRT19,
author = {Pietro Galliani and
Oliver Kutz and
Daniele Porello and
Guendalina Righetti and
Nicolas Troquard},
editor = {Diego Calvanese and
Luca Iocchi},
title = {On Knowledge Dependence in Weighted Description Logic},
booktitle = {{GCAI} 2019. Proceedings of the 5th Global Conference on Artificial
Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019},
series = {EPiC Series in Computing},
volume = {65},
pages = {68--80},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/hjt1},
doi = {10.29007/HJT1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/GallianiKPRT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/HahnRCZMK19,
author = {Lukas Hahn and
Lutz Roese{-}Koerner and
Peet Cremer and
Urs Zimmermann and
Ori Maoz and
Anton Kummert},
editor = {Diego Calvanese and
Luca Iocchi},
title = {On the Robustness of Active Learning},
booktitle = {{GCAI} 2019. Proceedings of the 5th Global Conference on Artificial
Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019},
series = {EPiC Series in Computing},
volume = {65},
pages = {152--162},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/thws},
doi = {10.29007/THWS},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/HahnRCZMK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/KhanBSL19,
author = {Abdullah Khan and
Loris Bozzato and
Luciano Serafini and
Beatrice Lazzerini},
editor = {Diego Calvanese and
Luca Iocchi},
title = {Visual Reasoning on Complex Events in Soccer Videos Using Answer Set
Programming},
booktitle = {{GCAI} 2019. Proceedings of the 5th Global Conference on Artificial
Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019},
series = {EPiC Series in Computing},
volume = {65},
pages = {42--53},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/pjd4},
doi = {10.29007/PJD4},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/KhanBSL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/MohleB19,
author = {Sibylle M{\"{o}}hle and
Armin Biere},
editor = {Diego Calvanese and
Luca Iocchi},
title = {Combining Conflict-Driven Clause Learning and Chronological Backtracking
for Propositional Model Counting},
booktitle = {{GCAI} 2019. Proceedings of the 5th Global Conference on Artificial
Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019},
series = {EPiC Series in Computing},
volume = {65},
pages = {113--126},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/vgg4},
doi = {10.29007/VGG4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/MohleB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/MonicaMMS19,
author = {Dario Della Monica and
Angelo Montanari and
Aniello Murano and
Guido Sciavicco},
editor = {Diego Calvanese and
Luca Iocchi},
title = {Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation},
booktitle = {{GCAI} 2019. Proceedings of the 5th Global Conference on Artificial
Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019},
series = {EPiC Series in Computing},
volume = {65},
pages = {28--41},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/r3pf},
doi = {10.29007/R3PF},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/MonicaMMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/Ortiz19,
author = {Magdalena Ortiz},
editor = {Diego Calvanese and
Luca Iocchi},
title = {Ontology-Mediated Queries from Examples: a Glimpse at the DL-Lite
Case},
booktitle = {{GCAI} 2019. Proceedings of the 5th Global Conference on Artificial
Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019},
series = {EPiC Series in Computing},
volume = {65},
pages = {1--14},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/jhtz},
doi = {10.29007/JHTZ},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/Ortiz19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/RibeiroMD19,
author = {Jo{\~{a}}o G. Ribeiro and
Francisco S. Melo and
Jo{\~{a}}o Dias},
editor = {Diego Calvanese and
Luca Iocchi},
title = {Multi-task Learning and Catastrophic Forgetting in Continual Reinforcement
Learning},
booktitle = {{GCAI} 2019. Proceedings of the 5th Global Conference on Artificial
Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019},
series = {EPiC Series in Computing},
volume = {65},
pages = {163--175},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/g7bg},
doi = {10.29007/G7BG},
timestamp = {Sat, 07 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/RibeiroMD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/RighettiGKPMT19,
author = {Guendalina Righetti and
Pietro Galliani and
Oliver Kutz and
Daniele Porello and
Claudio Masolo and
Nicolas Troquard},
editor = {Diego Calvanese and
Luca Iocchi},
title = {Weighted Description Logic for Classification Problems},
booktitle = {{GCAI} 2019. Proceedings of the 5th Global Conference on Artificial
Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019},
series = {EPiC Series in Computing},
volume = {65},
pages = {108--112},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/vdlq},
doi = {10.29007/VDLQ},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/RighettiGKPMT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/TirtarasaZ19,
author = {Satyadharma Tirtarasa and
Benjamin Zarrie{\ss}},
editor = {Diego Calvanese and
Luca Iocchi},
title = {Projection in a Description Logic of Context with Actions},
booktitle = {{GCAI} 2019. Proceedings of the 5th Global Conference on Artificial
Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019},
series = {EPiC Series in Computing},
volume = {65},
pages = {81--93},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/s7cm},
doi = {10.29007/S7CM},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/TirtarasaZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/Uridia019,
author = {Levan Uridia and
Dirk Walther},
editor = {Diego Calvanese and
Luca Iocchi},
title = {Common Knowledge in Epistemic Logic With Hypotheses},
booktitle = {{GCAI} 2019. Proceedings of the 5th Global Conference on Artificial
Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019},
series = {EPiC Series in Computing},
volume = {65},
pages = {139--151},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/glrl},
doi = {10.29007/GLRL},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/Uridia019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gcai/2019,
editor = {Diego Calvanese and
Luca Iocchi},
title = {{GCAI} 2019. Proceedings of the 5th Global Conference on Artificial
Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019},
series = {EPiC Series in Computing},
volume = {65},
publisher = {EasyChair},
year = {2019},
url = {https://easychair.org/publications/volume/GCAI\_2019},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gcai/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/BaaderGP18,
author = {Franz Baader and
Oliver Fernandez Gil and
Maximilian Pensel},
editor = {Daniel D. Lee and
Alexander Steen and
Toby Walsh},
title = {Standard and Non-Standard Inferences in the Description Logic {FL0}
Using Tree Automata},
booktitle = {GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg,
September 18-21, 2018},
series = {EPiC Series in Computing},
volume = {55},
pages = {1--14},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/scbw},
doi = {10.29007/SCBW},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/BaaderGP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/BazininS18,
author = {Sagi Bazinin and
Guy Shani},
editor = {Daniel D. Lee and
Alexander Steen and
Toby Walsh},
title = {Iterative Planning for Deterministic QDec-POMDPs},
booktitle = {GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg,
September 18-21, 2018},
series = {EPiC Series in Computing},
volume = {55},
pages = {15--28},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/4t8s},
doi = {10.29007/4T8S},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/BazininS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/CeballosC18,
author = {Hector G. Ceballos and
Francisco J. Cantu},
editor = {Daniel D. Lee and
Alexander Steen and
Toby Walsh},
title = {Discovering Causal Relations in Semantically-Annotated Probabilistic
Business Process Diagrams},
booktitle = {GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg,
September 18-21, 2018},
series = {EPiC Series in Computing},
volume = {55},
pages = {29--40},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/nd7r},
doi = {10.29007/ND7R},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/CeballosC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/ChenL018,
author = {Jieying Chen and
Michel Ludwig and
Dirk Walther},
editor = {Daniel D. Lee and
Alexander Steen and
Toby Walsh},
title = {Computing Minimal Subsumption Modules of Ontologies},
booktitle = {GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg,
September 18-21, 2018},
series = {EPiC Series in Computing},
volume = {55},
pages = {41--53},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/tz7k},
doi = {10.29007/TZ7K},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/ChenL018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/DittadiBW18,
author = {Andrea Dittadi and
Thomas Bolander and
Ole Winther},
editor = {Daniel D. Lee and
Alexander Steen and
Toby Walsh},
title = {Learning to Plan from Raw Data in Grid-based Games},
booktitle = {GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg,
September 18-21, 2018},
series = {EPiC Series in Computing},
volume = {55},
pages = {54--67},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/s8jk},
doi = {10.29007/S8JK},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/DittadiBW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/FengXT18,
author = {Zeyu Feng and
Chang Xu and
Dacheng Tao},
editor = {Daniel D. Lee and
Alexander Steen and
Toby Walsh},
title = {Historical Gradient Boosting Machine},
booktitle = {GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg,
September 18-21, 2018},
series = {EPiC Series in Computing},
volume = {55},
pages = {68--80},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/2sdc},
doi = {10.29007/2SDC},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/FengXT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/GondaPPSS18,
author = {Tom Gonda and
Tal Pascal and
Rami Puzis and
Guy Shani and
Bracha Shapira},
editor = {Daniel D. Lee and
Alexander Steen and
Toby Walsh},
title = {Analysis of Attack Graph Representations for Ranking Vulnerability
Fixes},
booktitle = {GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg,
September 18-21, 2018},
series = {EPiC Series in Computing},
volume = {55},
pages = {215--228},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/2c1q},
doi = {10.29007/2C1Q},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/GondaPPSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/HassanR18,
author = {Ghulam Mubashar Hassan and
Mark Reynolds},
editor = {Daniel D. Lee and
Alexander Steen and
Toby Walsh},
title = {Genetic Algorithms for Scheduling and Optimization of Ore Train Networks},
booktitle = {GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg,
September 18-21, 2018},
series = {EPiC Series in Computing},
volume = {55},
pages = {81--92},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/fzrq},
doi = {10.29007/FZRQ},
timestamp = {Fri, 24 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/HassanR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/IsaakM18,
author = {Nicos Isaak and
Loizos Michael},
editor = {Daniel D. Lee and
Alexander Steen and
Toby Walsh},
title = {Using the Winograd Schema Challenge as a {CAPTCHA}},
booktitle = {GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg,
September 18-21, 2018},
series = {EPiC Series in Computing},
volume = {55},
pages = {93--106},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/rnk8},
doi = {10.29007/RNK8},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/IsaakM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/IsaakM18a,
author = {Nicos Isaak and
Loizos Michael},
editor = {Daniel D. Lee and
Alexander Steen and
Toby Walsh},
title = {A Data-Driven Metric of Hardness for {WSC} Sentences},
booktitle = {GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg,
September 18-21, 2018},
series = {EPiC Series in Computing},
volume = {55},
pages = {107--120},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/398z},
doi = {10.29007/398Z},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/IsaakM18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/KoreinV18,
author = {Max Korein and
Manuela Veloso},
editor = {Daniel D. Lee and
Alexander Steen and
Toby Walsh},
title = {Multi-Armed Bandit Algorithms for a Mobile Service Robot's Spare Time
in a Structured Environment},
booktitle = {GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg,
September 18-21, 2018},
series = {EPiC Series in Computing},
volume = {55},
pages = {121--133},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/kg4r},
doi = {10.29007/KG4R},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/KoreinV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/OsmanS18,
author = {Nardine Osman and
Carles Sierra},
editor = {Daniel D. Lee and
Alexander Steen and
Toby Walsh},
title = {Responsible Technologies},
booktitle = {GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg,
September 18-21, 2018},
series = {EPiC Series in Computing},
volume = {55},
pages = {134--147},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/176h},
doi = {10.29007/176H},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/OsmanS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/PereraV18,
author = {Vittorio Perera and
Manuela Veloso},
editor = {Daniel D. Lee and
Alexander Steen and
Toby Walsh},
title = {Interpretability of a Service Robot: Enabling User Questions and Checkable
Answers},
booktitle = {GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg,
September 18-21, 2018},
series = {EPiC Series in Computing},
volume = {55},
pages = {176--187},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/tt18},
doi = {10.29007/TT18},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/PereraV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/PratesAL18,
author = {Marcelo O. R. Prates and
Pedro H. C. Avelar and
Lu{\'{\i}}s C. Lamb},
editor = {Daniel D. Lee and
Alexander Steen and
Toby Walsh},
title = {On Quantifying and Understanding the Role of Ethics in {AI} Research:
{A} Historical Account of Flagship Conferences and Journals},
booktitle = {GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg,
September 18-21, 2018},
series = {EPiC Series in Computing},
volume = {55},
pages = {188--201},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/74gj},
doi = {10.29007/74GJ},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/PratesAL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/PrestwichRTV18,
author = {Steven D. Prestwich and
Roberto Rossi and
S. Armagan Tarim and
Andrea Visentin},
editor = {Daniel D. Lee and
Alexander Steen and
Toby Walsh},
title = {Towards a Closer Integration of Dynamic Programming and Constraint
Programming},
booktitle = {GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg,
September 18-21, 2018},
series = {EPiC Series in Computing},
volume = {55},
pages = {202--214},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/gscn},
doi = {10.29007/GSCN},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gcai/PrestwichRTV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/SelvarajVR18,
author = {Sai Pandi Selvaraj and
Manuela Veloso and
Stephanie Rosenthal},
editor = {Daniel D. Lee and
Alexander Steen and
Toby Walsh},
title = {Classifier Labels as Language Grounding for Explanations},
booktitle = {GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg,
September 18-21, 2018},
series = {EPiC Series in Computing},
volume = {55},
pages = {148--161},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/8h3z},
doi = {10.29007/8H3Z},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/SelvarajVR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/SelvarajVR18a,
author = {Sai Pandi Selvaraj and
Manuela Veloso and
Stephanie Rosenthal},
editor = {Daniel D. Lee and
Alexander Steen and
Toby Walsh},
title = {Classifier-Based Evaluation of Image Feature Importance},
booktitle = {GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg,
September 18-21, 2018},
series = {EPiC Series in Computing},
volume = {55},
pages = {162--175},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/p655},
doi = {10.29007/P655},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/SelvarajVR18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/SilvaMV18,
author = {Rui Silva and
Francisco S. Melo and
Manuela Veloso},
editor = {Daniel D. Lee and
Alexander Steen and
Toby Walsh},
title = {What if the World Were Different? Gradient-Based Exploration for New
Optimal Policies},
booktitle = {GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg,
September 18-21, 2018},
series = {EPiC Series in Computing},
volume = {55},
pages = {229--242},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/6jsv},
doi = {10.29007/6JSV},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/SilvaMV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/Wallace18,
author = {Richard Wallace},
editor = {Daniel D. Lee and
Alexander Steen and
Toby Walsh},
title = {Replaceability for Constraint Satisfaction Problems: Algorithms, Inference,
and Complexity Patterns},
booktitle = {GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg,
September 18-21, 2018},
series = {EPiC Series in Computing},
volume = {55},
pages = {243--255},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/wrp9},
doi = {10.29007/WRP9},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/Wallace18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gcai/2018,
editor = {Daniel D. Lee and
Alexander Steen and
Toby Walsh},
title = {GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg,
September 18-21, 2018},
series = {EPiC Series in Computing},
volume = {55},
publisher = {EasyChair},
year = {2018},
url = {https://easychair.org/publications/volume/GCAI-2018},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gcai/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@inproceedings{DBLP:conf/gcai/ApeldoornK16,
author = {Daan Apeldoorn and
Gabriele Kern{-}Isberner},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {When Should Learning Agents Switch to Explicit Knowledge?},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {174--186},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/2bgs},
doi = {10.29007/2BGS},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/ApeldoornK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/BoudaliM16,
author = {Imen Boudali and
Nihel Mokhtar},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {Harmony Search Approach for Patient Scheduling in Emergency Laboratories},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {109--123},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/jr2r},
doi = {10.29007/JR2R},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/BoudaliM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/BouziatCC16,
author = {Teddy Bouziat and
Val{\'{e}}rie Camps and
St{\'{e}}phanie Combettes},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {Cooperation in Adaptive Multi-Agent Systems through System of Systems
modeling},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {214--226},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/kqfk},
doi = {10.29007/KQFK},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/BouziatCC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/ChichkovK16,
author = {Ivo Chichkov and
Alexandra Kirsch},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {A Short-Term Memory for Deliberative Agents in Everyday Environments},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {187--199},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/r5x5},
doi = {10.29007/R5X5},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/ChichkovK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/Chipofya16,
author = {Malumbo Chipofya},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {Matching Qualitative Constraint Networks with Online Reinforcement
Learning},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {266--279},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/1g5q},
doi = {10.29007/1G5Q},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/Chipofya16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/DietzSPFR16,
author = {Armin Dietz and
Stephan Schr{\"{o}}der and
Andreas P{\"{o}}sch and
Klaus Frank and
Eduard Reithmeier},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {Contactless Surgery Light Control based on 3D Gesture Recognition},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {138--146},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/zmz9},
doi = {10.29007/ZMZ9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/DietzSPFR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/EdelL16,
author = {Marcus Edel and
Joscha Lausch},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {Capacity Visual Attention Networks},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {72--80},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/lcmk},
doi = {10.29007/LCMK},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/EdelL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/EppeTRFJ16,
author = {Manfred Eppe and
Sean Trott and
Vivek Raghuram and
Jerome A. Feldman and
Adam Janin},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {Application-Independent and Integration-Friendly Natural Language
Understanding},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {340--352},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/npsn},
doi = {10.29007/NPSN},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/EppeTRFJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/HuangC16,
author = {Yin{-}Fu Huang and
Bo{-}Rong Chen},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {Content-Based Image Retrieval System for Real Images},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {95--108},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/w4sr},
doi = {10.29007/W4SR},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/HuangC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/KerdelsP16,
author = {Jochen Kerdels and
Gabriele Peters},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {A Sparse Representation of High-Dimensional Input Spaces Based on
an Augmented Growing Neural Gas},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {303--313},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/jgjt},
doi = {10.29007/JGJT},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/KerdelsP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/Kirsch16,
author = {Alexandra Kirsch},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {Heuristic Decision-Making for Human-aware Navigation in Domestic Environments},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {200--213},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/12l7},
doi = {10.29007/12L7},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/Kirsch16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/KotelnikovK0V16,
author = {Evgenii Kotelnikov and
Laura Kov{\'{a}}cs and
Martin Suda and
Andrei Voronkov},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {A Clausal Normal Form Translation for {FOOL}},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {53--71},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/ltkk},
doi = {10.29007/LTKK},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/KotelnikovK0V16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/LiuT16,
author = {Xudong Liu and
Mirek Truszczynski},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued
Attributes},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {314--328},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/xtl4},
doi = {10.29007/XTL4},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/LiuT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/Ludwig016,
author = {Michel Ludwig and
Dirk Walther},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {Towards a Practical Decision Procedure for Uniform Interpolants of
EL-TBoxes - a Proof-Theoretic Approach},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {147--160},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/bsqm},
doi = {10.29007/BSQM},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/Ludwig016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/MohapatraDAG16,
author = {Abhijeet Mohapatra and
Bertrand Decoster and
Sudhir Agarwal and
Michael R. Genesereth},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {Invariant Projections in Games},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {227--239},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/z5zn},
doi = {10.29007/Z5ZN},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/MohapatraDAG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/MoscaM16,
author = {Alan Mosca and
George D. Magoulas},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {Deep Incremental Boosting},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {293--302},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/qlvr},
doi = {10.29007/QLVR},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/MoscaM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/Philipp16,
author = {Tobias Philipp},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {Unsatisfiability Proofs for Parallel {SAT} Solver Portfolios with
Clause Sharing and Inprocessing},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {24--38},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/68qz},
doi = {10.29007/68QZ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/Philipp16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/PrestwichTR16,
author = {Steve Prestwich and
S. Armagan Tarim and
Roberto Rossi},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {Constraint Problem Specification as Compression},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {280--292},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/7ths},
doi = {10.29007/7THS},
timestamp = {Tue, 08 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/PrestwichTR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/Reger0V16,
author = {Giles Reger and
Martin Suda and
Andrei Voronkov},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {New Techniques in Clausal Form Generation},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {11--23},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/dzfz},
doi = {10.29007/DZFZ},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/Reger0V16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/RegerB0V16,
author = {Giles Reger and
Nikolaj S. Bj{\o}rner and
Martin Suda and
Andrei Voronkov},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {{AVATAR} Modulo Theories},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {39--52},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/k6tp},
doi = {10.29007/K6TP},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/RegerB0V16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/RichterLGFA16,
author = {Pascal Richter and
David Laukamp and
Levin Gerdes and
Martin Frank and
Erika {\'{A}}brah{\'{a}}m},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {Heliostat Field Layout Optimization with Evolutionary Algorithms},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {240--252},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/7p6t},
doi = {10.29007/7P6T},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/RichterLGFA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/SabetiHGM16,
author = {Behnam Sabeti and
Pedram Hosseini and
Gholamreza Ghassem{-}Sani and
Seyed Abolghasem Mirroshandel},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {LexiPers: An ontology based sentiment lexicon for Persian},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {329--339},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/f4j4},
doi = {10.29007/F4J4},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/SabetiHGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/SchmittCS16,
author = {Thomas Schmitt and
Phillipe Caillou and
Mich{\`{e}}le Sebag},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {Matching Jobs and Resumes: a Deep Collaborative Filtering Task},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {124--137},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/17rz},
doi = {10.29007/17RZ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/SchmittCS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/SharafAFG16,
author = {Nada Sharaf and
Slim Abdennadher and
Thom W. Fr{\"{u}}hwirth and
Daniel Gall},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {Animating Cognitive Models and Architectures: {A} Rule-Based Approach},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {253--265},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/wjwz},
doi = {10.29007/WJWZ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/SharafAFG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/SkouteliM16,
author = {Hara Skouteli and
Loizos Michael},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {Empirical Investigation of Learning-Based Imputation Policies},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {161--173},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/rcnn},
doi = {10.29007/RCNN},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/SkouteliM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/SteenWB16,
author = {Alexander Steen and
Max Wisniewski and
Christoph Benzm{\"{u}}ller},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {1--10},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/4dsr},
doi = {10.29007/4DSR},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/SteenWB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/ZhuT16,
author = {Ying Zhu and
Mirek Truszczynski},
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {Learning Importance of Preferences},
booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
pages = {81--94},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/v68w},
doi = {10.29007/V68W},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/ZhuT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gcai/2016,
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
year = {2016},
url = {https://easychair.org/publications/volume/GCAI\_2016},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gcai/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/0001U15,
author = {David Pearce and
Levan Uridia},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Trust, Belief and Honesty},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {215--228},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/qrp5},
doi = {10.29007/QRP5},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/0001U15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/AlliotV15,
author = {Jean{-}Marc Alliot and
Charlie Vanaret},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {(The Final) Countdown},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {14--26},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/66z4},
doi = {10.29007/66Z4},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/AlliotV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/BeldiceanuCFLPP15,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Pierre Flener and
Xavier Lorca and
Justin Pearson and
Thierry Petit and
Charles Prud'homme},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {A Modelling Pearl with Sortedness Constraints},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {27--41},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/b4dz},
doi = {10.29007/B4DZ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/BeldiceanuCFLPP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/BesiashviliBK15,
author = {Gela Besiashvili and
Tamar Bliadze and
Zurab Kochladze},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Application of Adaptive Neural Networks for the Filtration of Spam},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {42--50},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/t3rl},
doi = {10.29007/T3RL},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/BesiashviliBK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/BorgwardtT15,
author = {Stefan Borgwardt and
Veronika Thost},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Temporal Query Answering in DL-Lite with Negation},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {51--65},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/2df8},
doi = {10.29007/2DF8},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/BorgwardtT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/BukatinM15,
author = {Michael A. Bukatin and
Steve Matthews},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Linear Models of Computation and Program Learning},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {66--78},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/rbdd},
doi = {10.29007/RBDD},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/BukatinM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/DietzHP15,
author = {Emmanuelle{-}Anna Dietz and
Steffen H{\"{o}}lldobler and
Lu{\'{\i}}s Moniz Pereira},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {On Conditionals},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {79--92},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/7p4b},
doi = {10.29007/7P4B},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/DietzHP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/FarberK15,
author = {Michael F{\"{a}}rber and
Cezary Kaliszyk},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Metis-based Paramodulation Tactic for {HOL} Light},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {127--136},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/z9mz},
doi = {10.29007/Z9MZ},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gcai/FarberK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/FengL015,
author = {Shasha Feng and
Michel Ludwig and
Dirk Walther},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Foundations for the Logical Difference of EL-TBoxes},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {93--112},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/prhh},
doi = {10.29007/PRHH},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/FengL015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/KhasidashviliKT15,
author = {Zurab Khasidashvili and
Konstantin Korovin and
Dmitry Tsarkov},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {EPR-based k-induction with Counterexample Guided Abstraction Refinement},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {137--150},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/scv7},
doi = {10.29007/SCV7},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/KhasidashviliKT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/KhutsishviliST15,
author = {Irina Khutsishvili and
Gia Sirbiladze and
Gvantsa Tsulaia},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Hesitant Fuzzy {MADM} Approach in Optimal Selection of Investment
Projects},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {151--162},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/gnfq},
doi = {10.29007/GNFQ},
timestamp = {Fri, 12 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/KhutsishviliST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/Kurzynski15,
author = {Marek Kurzynski},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Multiclassifier System with Dynamic Model of Classifier Competence
Applied to the Control of Bioprosthetic Hand},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {163--175},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/dlmp},
doi = {10.29007/DLMP},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/Kurzynski15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/MasoumiAS15,
author = {Arman Masoumi and
Megan Antoniazzi and
Mikhail Soutchanski},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Modeling Organic Chemistry and Planning Organic Synthesis},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {176--195},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/493z},
doi = {10.29007/493Z},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/MasoumiAS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/NellenWNGA15,
author = {Johanna Nellen and
Benedikt Wolters and
Lukas Netz and
Sascha Geulen and
Erika {\'{A}}brah{\'{a}}m},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {A Genetic Algorithm based Control Strategy for the Energy Management
Problem in PHEVs},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {196--214},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/md3x},
doi = {10.29007/MD3X},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/NellenWNGA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/Nieuwenhuis15,
author = {Robert Nieuwenhuis},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {SAT-Based Techniques for Integer Linear Constraints},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {1--13},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/4dtv},
doi = {10.29007/4DTV},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/Nieuwenhuis15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/RavveVW15,
author = {Elena V. Ravve and
Zeev Volkovich and
Gerhard{-}Wilhelm Weber},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {A Uniform Approach to Incremental Automated Reasoning on Strongly
Distributed Structures},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {229--251},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/45rv},
doi = {10.29007/45RV},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/RavveVW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/RodriguezFP15,
author = {Mar{\'{\i}}a Andre{\'{\i}}na Francisco Rodr{\'{\i}}guez and
Pierre Flener and
Justin Pearson},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Implied Constraints for Automaton Constraints},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {113--126},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/m767},
doi = {10.29007/M767},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/RodriguezFP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/SalhiS15,
author = {Yakoub Salhi and
Michael Sioutis},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {A Resolution Method for Modal Logic {S5}},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {252--262},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/1zgr},
doi = {10.29007/1ZGR},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/SalhiS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/SchaferS15,
author = {Simon Sch{\"{a}}fer and
Stephan Schulz},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Breeding Theorem Proving Heuristics with Genetic Algorithms},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {263--274},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/gms9},
doi = {10.29007/GMS9},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/SchaferS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/Ternovska15,
author = {Eugenia Ternovska},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {An Algebra of Combined Constraint Solving},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {275--295},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/976n},
doi = {10.29007/976N},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/Ternovska15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/TretyakovaS15,
author = {Antonina Tretyakova and
Franciszek Seredynski},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Simulated Annealing Application to Maximum Lifetime Coverage Problem
in Wireless Sensor Networks},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {296--311},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/gl61},
doi = {10.29007/GL61},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/TretyakovaS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/Urban15,
author = {Josef Urban},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {BliStr: The Blind Strategymaker},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {312--319},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/8n7m},
doi = {10.29007/8N7M},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/Urban15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gcai/2015,
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
year = {2015},
url = {https://easychair.org/publications/volume/GCAI\_2015},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gcai/2015.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-05-10 05:11 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:
