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},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{GCAI2015:SAT_Based_Techniques_for_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},
pages = {1--13},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/hKJK},
doi = {10.29007/4dtv}}
@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},
pages = {14--26},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/2L76},
doi = {10.29007/66z4}}
@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},
pages = {27--41},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/bXc},
doi = {10.29007/b4dz}}
@inproceedings{GCAI2015:Application_of_Adaptive_Neural,
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},
pages = {42--50},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/GtRd},
doi = {10.29007/t3rl}}
@inproceedings{GCAI2015:Temporal_Query_Answering_in,
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},
pages = {51--65},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/T8jq},
doi = {10.29007/2df8}}
@inproceedings{GCAI2015:Linear_Models_of_Computation,
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},
pages = {66--78},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Q4lW},
doi = {10.29007/rbdd}}
@inproceedings{GCAI2015:On_Conditionals,
author = {Emmanuelle-Anna Dietz and Steffen H\textbackslash{}"olldobler and Lu\textbackslash{}'is 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},
pages = {79--92},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Nvph},
doi = {10.29007/7p4b}}
@inproceedings{GCAI2015:Foundations_for_Logical_Difference,
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},
pages = {93--112},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/34F2},
doi = {10.29007/prhh}}
@inproceedings{GCAI2015:Implied_Constraints_for_Automaton,
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},
pages = {113--126},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/q3k7},
doi = {10.29007/m767}}
@inproceedings{GCAI2015:Metis_based_Paramodulation_Tactic_for,
author = {Michael F\textbackslash{}"arber 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},
pages = {127--136},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/T2g},
doi = {10.29007/z9mz}}
@inproceedings{GCAI2015:EPR_based_k_induction_with_Counterexample,
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},
pages = {137--150},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/MF},
doi = {10.29007/scv7}}
@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},
pages = {151--162},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/qwmZ},
doi = {10.29007/gnfq}}
@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},
pages = {163--175},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/d7t},
doi = {10.29007/dlmp}}
@inproceedings{GCAI2015:Modeling_Organic_Chemistry_and,
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},
pages = {176--195},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/cQB6},
doi = {10.29007/493z}}
@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},
pages = {196--214},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/6CD4},
doi = {10.29007/md3x}}
@inproceedings{GCAI2015:Trust_Belief_and_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},
pages = {215--228},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Rp},
doi = {10.29007/qrp5}}
@inproceedings{GCAI2015:Uniform_Approach_to_Incremental,
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},
pages = {229--251},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/PTV},
doi = {10.29007/45rv}}
@inproceedings{GCAI2015:Resolution_Method_for_Modal,
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},
pages = {252--262},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/3XXQ},
doi = {10.29007/1zgr}}
@inproceedings{GCAI2015:Breeding_Theorem_Proving_Heuristics,
author = {Simon Sch\textbackslash{}"afer 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},
pages = {263--274},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/M5},
doi = {10.29007/gms9}}
@inproceedings{GCAI2015:An_Algebra_of_Combined,
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},
pages = {275--295},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/FQ2t},
doi = {10.29007/976n}}
@inproceedings{GCAI2015:Simulated_Annealing_Application_to,
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},
pages = {296--311},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/clDP},
doi = {10.29007/gl61}}
@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},
pages = {312--319},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/FJD},
doi = {10.29007/8n7m}}