default search action
Search dblp for Publications
export results for "stream:streams/conf/gcai:"
@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 = {Thu, 27 Jun 2024 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} }
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.