GCAI 2015 Volume Information
Volume:Georg Gottlob, Geoff Sutcliffe and Andrei Voronkov (editors)
GCAI 2015. Global Conference on Artificial Intelligence

GCAI 2015 Volume Information

Title:GCAI 2015. Global Conference on Artificial Intelligence
Editors:Georg Gottlob, Geoff Sutcliffe and Andrei Voronkov
Series:EPiC Series in Computing
Publication date:December 18, 2015


Robert NieuwenhuisSAT-Based Techniques for Integer Linear Constraints1-13
Jean-Marc Alliot and Charlie Vanaret(The Final) Countdown14-26
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit and Charles Prud'HommeA Modelling Pearl with Sortedness Constraints27-41
Gela Besiashvili, Tamar Bliadze and Zurab KochladzeApplication of Adaptive Neural Networks for the Filtration of Spam42-50
Stefan Borgwardt and Veronika ThostTemporal Query Answering in DL-Lite with Negation51-65
Michael Bukatin and Steve MatthewsLinear Models of Computation and Program Learning66-78
Emmanuelle-Anna Dietz, Steffen Hölldobler and Luís Moniz PereiraOn Conditionals79-92
Shasha Feng, Michel Ludwig and Dirk WaltherFoundations for the Logical Difference of EL-TBoxes93-112
Maria Andreina Francisco, Pierre Flener and Justin PearsonImplied Constraints for Automaton Constraints113-126
Michael Färber and Cezary KaliszykMetis-based Paramodulation Tactic for HOL Light127-136
Zurab Khasidashvili, Konstantin Korovin and Dmitry TsarkovEPR-based k-induction with Counterexample Guided Abstraction Refinement137-150
Irina Khutsishvili, Gia Sirbiladze and Gvanca TsulaiaHesitant Fuzzy MADM Approach in Optimal Selection of Investment Projects151-162
Marek KurzynskiMulticlassifier System with Dynamic Model of Classifier Competence Applied to the Control of Bioprosthetic Hand163-175
Arman Masoumi, Megan Antoniazzi and Mikhail SoutchanskiModeling Organic Chemistry and Planning Organic Synthesis176-195
Johanna Nellen, Benedikt Wolters, Lukas Netz, Sascha Geulen and Erika AbrahamA Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs196-214
David Pearce and Levan UridiaTrust, Belief and Honesty215-228
Elena Ravve, Zeev Volkovich and Gerhard WeberA Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures229-251
Yakoub Salhi and Michael SioutisA Resolution Method for Modal Logic S5252-262
Simon Schäfer and Stephan SchulzBreeding Theorem Proving Heuristics with Genetic Algorithms263-274
Eugenia TernovskaAn Algebra of Combined Constraint Solving275-295
Antonina Tretyakova and Franciszek SeredynskiSimulated Annealing Application to Maximum Lifetime Coverage Problem in Wireless Sensor Networks296-311
Josef UrbanBliStr: The Blind Strategymaker312-319


2automated theorem proving, genetic algorithms
1abstraction refinement, adaptive neural networks, answer set programming, artificial intelligence, 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, 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