GCAI 2015: Author IndexAuthor  Papers 

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

