GCAI 2015: Author Index| Author | Papers |
|---|
| A | | Alliot, Jean-Marc | (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 DL-Lite with Negation | | Bukatin, Michael | Linear Models of Computation and Program Learning | | C | | Carlsson, Mats | A Modelling Pearl with Sortedness Constraints | | D | | Dietz, Emmanuelle-Anna | On Conditionals | | F | | Feng, Shasha | Foundations for the Logical Difference of EL-TBoxes | | Flener, Pierre | A Modelling Pearl with Sortedness Constraints
Implied Constraints for Automaton Constraints | | Francisco, Maria Andreina | Implied Constraints for Automaton Constraints | | Färber, Michael | Metis-based 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 | Metis-based Paramodulation Tactic for HOL Light | | Khasidashvili, Zurab | EPR-based k-induction 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 | EPR-based k-induction 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 EL-TBoxes | | 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 | SAT-Based 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 DL-Lite with Negation | | Tretyakova, Antonina | Simulated Annealing Application to Maximum Lifetime Coverage Problem in Wireless Sensor Networks | | Tsarkov, Dmitry | EPR-based k-induction 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 EL-TBoxes | | 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 |
|
|
