GCAI 2015. Global Conference on Artificial Intelligence22 articles•319 pages•Published: December 18, 2015 PapersPages 113  Pages 1426  Pages 2741  Pages 4250  Pages 5165  Pages 6678  Pages 7992  Pages 93112  Pages 113126  Pages 127136  Pages 137150  Pages 151162  Pages 163175  Pages 176195  Pages 196214  Pages 215228  Pages 229251  Pages 252262  Pages 263274  Pages 275295  Pages 296311  Pages 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 
