GCAI 2015:BibTeX Entries

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}}