Volume
@proceedings{GCAI2015,
title = {GCAI 2015. Global Conference on Artificial Intelligence},
editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2015}}
Papers
@inproceedings{GCAI2015:SAT_Based_Techniques_Integer,
author = {Robert Nieuwenhuis},
title = {SAT-Based Techniques for Integer Linear Constraints},
booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/hKJK},
doi = {10.29007/4dtv},
pages = {1-13},
year = {2015}}
@inproceedings{GCAI2015:(The_Final)_Countdown,
author = {Jean-Marc Alliot and Charlie Vanaret},
title = {(The Final) Countdown},
booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/2L76},
doi = {10.29007/66z4},
pages = {14-26},
year = {2015}}
@inproceedings{GCAI2015:Modelling_Pearl_with_Sortedness,
author = {Nicolas Beldiceanu and Mats Carlsson and Pierre Flener and Xavier Lorca and Justin Pearson and Thierry Petit and Charles Prud'Homme},
title = {A Modelling Pearl with Sortedness Constraints},
booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/bXc},
doi = {10.29007/b4dz},
pages = {27-41},
year = {2015}}
@inproceedings{GCAI2015:Application_Adaptive_Neural_Networks,
author = {Gela Besiashvili and Tamar Bliadze and Zurab Kochladze},
title = {Application of Adaptive Neural Networks for the Filtration of Spam},
booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/GtRd},
doi = {10.29007/t3rl},
pages = {42-50},
year = {2015}}
@inproceedings{GCAI2015:Temporal_Query_Answering_DL,
author = {Stefan Borgwardt and Veronika Thost},
title = {Temporal Query Answering in DL-Lite with Negation},
booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/T8jq},
doi = {10.29007/2df8},
pages = {51-65},
year = {2015}}
@inproceedings{GCAI2015:Linear_Models_Computation_Program,
author = {Michael Bukatin and Steve Matthews},
title = {Linear Models of Computation and Program Learning},
booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Q4lW},
doi = {10.29007/rbdd},
pages = {66-78},
year = {2015}}
@inproceedings{GCAI2015:Conditionals,
author = {Emmanuelle-Anna Dietz and Steffen Hölldobler and Luís Moniz Pereira},
title = {On Conditionals},
booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Nvph},
doi = {10.29007/7p4b},
pages = {79-92},
year = {2015}}
@inproceedings{GCAI2015:Foundations_Logical_Difference_EL,
author = {Shasha Feng and Michel Ludwig and Dirk Walther},
title = {Foundations for the Logical Difference of EL-TBoxes},
booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/34F2},
doi = {10.29007/prhh},
pages = {93-112},
year = {2015}}
@inproceedings{GCAI2015:Implied_Constraints_Automaton_Constraints,
author = {Maria Andreina Francisco and Pierre Flener and Justin Pearson},
title = {Implied Constraints for Automaton Constraints},
booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/q3k7},
doi = {10.29007/m767},
pages = {113-126},
year = {2015}}
@inproceedings{GCAI2015:Metis_based_Paramodulation_Tactic,
author = {Michael Färber and Cezary Kaliszyk},
title = {Metis-based Paramodulation Tactic for HOL Light},
booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/T2g},
doi = {10.29007/z9mz},
pages = {127-136},
year = {2015}}
@inproceedings{GCAI2015:EPR_based_k_induction,
author = {Zurab Khasidashvili and Konstantin Korovin and Dmitry Tsarkov},
title = {EPR-based k-induction with Counterexample Guided Abstraction Refinement},
booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/MF},
doi = {10.29007/scv7},
pages = {137-150},
year = {2015}}
@inproceedings{GCAI2015:Hesitant_Fuzzy_MADM_Approach,
author = {Irina Khutsishvili and Gia Sirbiladze and Gvanca Tsulaia},
title = {Hesitant Fuzzy MADM Approach in Optimal Selection of Investment Projects},
booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/qwmZ},
doi = {10.29007/gnfq},
pages = {151-162},
year = {2015}}
@inproceedings{GCAI2015:Multiclassifier_System_with_Dynamic,
author = {Marek Kurzynski},
title = {Multiclassifier System with Dynamic Model of Classifier Competence Applied to the Control of Bioprosthetic Hand},
booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/d7t},
doi = {10.29007/dlmp},
pages = {163-175},
year = {2015}}
@inproceedings{GCAI2015:Modeling_Organic_Chemistry_Planning,
author = {Arman Masoumi and Megan Antoniazzi and Mikhail Soutchanski},
title = {Modeling Organic Chemistry and Planning Organic Synthesis},
booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/cQB6},
doi = {10.29007/493z},
pages = {176-195},
year = {2015}}
@inproceedings{GCAI2015:Genetic_Algorithm_based_Control,
author = {Johanna Nellen and Benedikt Wolters and Lukas Netz and Sascha Geulen and Erika Abraham},
title = {A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs},
booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/6CD4},
doi = {10.29007/md3x},
pages = {196-214},
year = {2015}}
@inproceedings{GCAI2015:Trust_Belief_Honesty,
author = {David Pearce and Levan Uridia},
title = {Trust, Belief and Honesty},
booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Rp},
doi = {10.29007/qrp5},
pages = {215-228},
year = {2015}}
@inproceedings{GCAI2015:Uniform_Approach_Incremental_Automated,
author = {Elena Ravve and Zeev Volkovich and Gerhard Weber},
title = {A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures},
booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/PTV},
doi = {10.29007/45rv},
pages = {229-251},
year = {2015}}
@inproceedings{GCAI2015:Resolution_Method_Modal_Logic,
author = {Yakoub Salhi and Michael Sioutis},
title = {A Resolution Method for Modal Logic S5},
booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/3XXQ},
doi = {10.29007/1zgr},
pages = {252-262},
year = {2015}}
@inproceedings{GCAI2015:Breeding_Theorem_Proving_Heuristics,
author = {Simon Schäfer and Stephan Schulz},
title = {Breeding Theorem Proving Heuristics with Genetic Algorithms},
booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/M5},
doi = {10.29007/gms9},
pages = {263-274},
year = {2015}}
@inproceedings{GCAI2015:Algebra_Combined_Constraint_Solving,
author = {Eugenia Ternovska},
title = {An Algebra of Combined Constraint Solving},
booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/FQ2t},
doi = {10.29007/976n},
pages = {275-295},
year = {2015}}
@inproceedings{GCAI2015:Simulated_Annealing_Application_Maximum,
author = {Antonina Tretyakova and Franciszek Seredynski},
title = {Simulated Annealing Application to Maximum Lifetime Coverage Problem in Wireless Sensor Networks},
booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/clDP},
doi = {10.29007/gl61},
pages = {296-311},
year = {2015}}
@inproceedings{GCAI2015:BliStr_Blind_Strategymaker,
author = {Josef Urban},
title = {BliStr: The Blind Strategymaker},
booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/FJD},
doi = {10.29007/8n7m},
pages = {312-319},
year = {2015}}
