GCAI 2015: Volume InformationGCAI 2015. Global Conference on Artificial Intelligence22 articles•319 pages•Published: December 18, 2015 PapersRobert Nieuwenhuis 113  JeanMarc Alliot and Charlie Vanaret 1426  Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit and Charles Prud'Homme 2741  Gela Besiashvili, Tamar Bliadze and Zurab Kochladze 4250  Stefan Borgwardt and Veronika Thost 5165  Michael Bukatin and Steve Matthews 6678  EmmanuelleAnna Dietz, Steffen Hölldobler and Luís Moniz Pereira 7992  Shasha Feng, Michel Ludwig and Dirk Walther 93112  Maria Andreina Francisco, Pierre Flener and Justin Pearson 113126  Michael Färber and Cezary Kaliszyk 127136  Zurab Khasidashvili, Konstantin Korovin and Dmitry Tsarkov 137150  Irina Khutsishvili, Gia Sirbiladze and Gvanca Tsulaia 151162  Marek Kurzynski 163175  Arman Masoumi, Megan Antoniazzi and Mikhail Soutchanski 176195  Johanna Nellen, Benedikt Wolters, Lukas Netz, Sascha Geulen and Erika Abraham 196214  David Pearce and Levan Uridia 215228  Elena Ravve, Zeev Volkovich and Gerhard Weber 229251  Yakoub Salhi and Michael Sioutis 252262  Simon Schäfer and Stephan Schulz 263274  Eugenia Ternovska 275295  Antonina Tretyakova and Franciszek Seredynski 296311  Josef Urban 312319 
Keyphrasesabstraction refinement, adaptive neural networks, Answer Set Programming, Artificial Intelligence, automated theorem proving^{2}, Automaton constraint, Bilattices, bioprosthetic hand, bitopology, Bounded Model Checking, competence measure, computational complexity, computer games, conditionals, conjunctive normal form, constraint decomposition, Constraint Modelling, Constraint Programming, constraint propagator, constraint satisfaction, countdown game, countdown game variants, coverage control, coverage preserving protocols, data complexity, Description Logic, Description Logics, DLLite, doxastic logic, energy management problem, energy optimization, EPR fragment, extended interval numbers, feedback information, FefermanVaught Reduction Sequences, firstorder logic, fixpoint reasoning, fuzzy sampling, generalized animation, Genetic Algorithms^{2}, Global Constraints, hesitant fuzzy set, heuristic search, HOL, hybrid electric vehicle, implied constraints, Incremental Automated Reasoning, information entropy, kinduction, knowledge representation, Knowledge Representation and Reasoning, largetheory automated reasoning, Linear Integer Arithmetic, logic programming, logical difference between ontologies, mathematical foundations, mathematical programming problem, maximum lifetime coverage problem, MESON, METIS, modal logic, modal logic S5, modular systems, multiattribute decision making, multilanguage constraint solving, Multiclassifier system, negative probability, neural networks, nonmonotonic reasoning, organic chemistry synthesis problem, paramodulation, probabilistic programming, Proof tactics, ranking of investment projects, reasoning about action, resolution method, SAT solving, simulations between hypergraphs, sortedness constraints, Spam, Spam Detection, spam filtration system, stable sort, strategy development, Strongly distributed systems, Syntactically Defined Translation Schemes, tableaux, Temporal Queries, TOPSIS method, Trust, Wireless Sensor Networks. 
