GCAI 2015: Volume Information

GCAI 2015. Global Conference on Artificial Intelligence

22 articles319 pagesPublished: December 18, 2015

Papers

Robert Nieuwenhuis
1-13
Jean-Marc Alliot and Charlie Vanaret
14-26
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit and Charles Prud'Homme
27-41
Gela Besiashvili, Tamar Bliadze and Zurab Kochladze
42-50
Stefan Borgwardt and Veronika Thost
51-65
Michael Bukatin and Steve Matthews
66-78
Emmanuelle-Anna Dietz, Steffen Hölldobler and Luís Moniz Pereira
79-92
Shasha Feng, Michel Ludwig and Dirk Walther
93-112
Maria Andreina Francisco, Pierre Flener and Justin Pearson
113-126
Michael Färber and Cezary Kaliszyk
127-136
Zurab Khasidashvili, Konstantin Korovin and Dmitry Tsarkov
137-150
Irina Khutsishvili, Gia Sirbiladze and Gvanca Tsulaia
151-162
Marek Kurzynski
163-175
Arman Masoumi, Megan Antoniazzi and Mikhail Soutchanski
176-195
Johanna Nellen, Benedikt Wolters, Lukas Netz, Sascha Geulen and Erika Abraham
196-214
David Pearce and Levan Uridia
215-228
Elena Ravve, Zeev Volkovich and Gerhard Weber
229-251
Yakoub Salhi and Michael Sioutis
252-262
Simon Schäfer and Stephan Schulz
263-274
Eugenia Ternovska
275-295
Antonina Tretyakova and Franciszek Seredynski
296-311
Josef Urban
312-319

Keyphrases

abstraction refinement, adaptive neural networks, Answer Set Programming, Artificial Intelligence, automated theorem proving2, 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, DL-Lite, doxastic logic, energy management problem, energy optimization, EPR fragment, extended interval numbers, feedback information, Feferman-Vaught Reduction Sequences, first-order logic, fixpoint reasoning, fuzzy sampling, generalized animation, Genetic Algorithms2, Global Constraints, hesitant fuzzy set, heuristic search, HOL, hybrid electric vehicle, implied constraints, Incremental Automated Reasoning, information entropy, k-induction, knowledge representation, Knowledge Representation and Reasoning, large-theory 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, multi-attribute decision making, multi-language constraint solving, Multiclassifier system, negative probability, neural networks, non-monotonic 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.