GCAI 2015 Volume Information GCAI 2015 Volume InformationPapersAuthors  Title  Pages  PDF 

Robert Nieuwenhuis  SATBased Techniques for Integer Linear Constraints  113   JeanMarc Alliot and Charlie Vanaret  (The Final) Countdown  1426   Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit and Charles Prud'Homme  A Modelling Pearl with Sortedness Constraints  2741   Gela Besiashvili, Tamar Bliadze and Zurab Kochladze  Application of Adaptive Neural Networks for the Filtration of Spam  4250   Stefan Borgwardt and Veronika Thost  Temporal Query Answering in DLLite with Negation  5165   Michael Bukatin and Steve Matthews  Linear Models of Computation and Program Learning  6678   EmmanuelleAnna Dietz, Steffen Hölldobler and Luís Moniz Pereira  On Conditionals  7992   Shasha Feng, Michel Ludwig and Dirk Walther  Foundations for the Logical Difference of ELTBoxes  93112   Maria Andreina Francisco, Pierre Flener and Justin Pearson  Implied Constraints for Automaton Constraints  113126   Michael Färber and Cezary Kaliszyk  Metisbased Paramodulation Tactic for HOL Light  127136   Zurab Khasidashvili, Konstantin Korovin and Dmitry Tsarkov  EPRbased kinduction with Counterexample Guided Abstraction Refinement  137150   Irina Khutsishvili, Gia Sirbiladze and Gvanca Tsulaia  Hesitant Fuzzy MADM Approach in Optimal Selection of Investment Projects  151162   Marek Kurzynski  Multiclassifier System with Dynamic Model of Classifier Competence Applied to the Control of Bioprosthetic Hand  163175   Arman Masoumi, Megan Antoniazzi and Mikhail Soutchanski  Modeling Organic Chemistry and Planning Organic Synthesis  176195   Johanna Nellen, Benedikt Wolters, Lukas Netz, Sascha Geulen and Erika Abraham  A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs  196214   David Pearce and Levan Uridia  Trust, Belief and Honesty  215228   Elena Ravve, Zeev Volkovich and Gerhard Weber  A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures  229251   Yakoub Salhi and Michael Sioutis  A Resolution Method for Modal Logic S5  252262   Simon Schäfer and Stephan Schulz  Breeding Theorem Proving Heuristics with Genetic Algorithms  263274   Eugenia Ternovska  An Algebra of Combined Constraint Solving  275295   Antonina Tretyakova and Franciszek Seredynski  Simulated Annealing Application to Maximum Lifetime Coverage Problem in Wireless Sensor Networks  296311   Josef Urban  BliStr: The Blind Strategymaker  312319  
KeyphrasesCount  Keyphrase 

2  automated theorem proving, genetic algorithms  1  abstraction 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 
