GCAI 2015: Author Index

AuthorPapers
A
Alliot, Jean-Marc(The Final) Countdown
Antoniazzi, MeganModeling Organic Chemistry and Planning Organic Synthesis
B
Beldiceanu, NicolasA Modelling Pearl with Sortedness Constraints
Besiashvili, GelaApplication of Adaptive Neural Networks for the Filtration of Spam
Bliadze, TamarApplication of Adaptive Neural Networks for the Filtration of Spam
Borgwardt, StefanTemporal Query Answering in DL-Lite with Negation
Bukatin, MichaelLinear Models of Computation and Program Learning
C
Carlsson, MatsA Modelling Pearl with Sortedness Constraints
D
Dietz, Emmanuelle-AnnaOn Conditionals
F
Feng, ShashaFoundations for the Logical Difference of EL-TBoxes
Flener, PierreA Modelling Pearl with Sortedness Constraints
Implied Constraints for Automaton Constraints
Francisco, Maria AndreinaImplied Constraints for Automaton Constraints
Färber, MichaelMetis-based Paramodulation Tactic for HOL Light
G
Geulen, SaschaA Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs
H
Hölldobler, SteffenOn Conditionals
K
Kaliszyk, CezaryMetis-based Paramodulation Tactic for HOL Light
Khasidashvili, ZurabEPR-based k-induction with Counterexample Guided Abstraction Refinement
Khutsishvili, IrinaHesitant Fuzzy MADM Approach in Optimal Selection of Investment Projects
Kochladze, ZurabApplication of Adaptive Neural Networks for the Filtration of Spam
Korovin, KonstantinEPR-based k-induction with Counterexample Guided Abstraction Refinement
Kurzynski, MarekMulticlassifier System with Dynamic Model of Classifier Competence Applied to the Control of Bioprosthetic Hand
L
Lorca, XavierA Modelling Pearl with Sortedness Constraints
Ludwig, MichelFoundations for the Logical Difference of EL-TBoxes
M
Masoumi, ArmanModeling Organic Chemistry and Planning Organic Synthesis
Matthews, SteveLinear Models of Computation and Program Learning
N
Nellen, JohannaA Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs
Netz, LukasA Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs
Nieuwenhuis, RobertSAT-Based Techniques for Integer Linear Constraints
P
Pearce, DavidTrust, Belief and Honesty
Pearson, JustinA Modelling Pearl with Sortedness Constraints
Implied Constraints for Automaton Constraints
Pereira, Luís MonizOn Conditionals
Petit, ThierryA Modelling Pearl with Sortedness Constraints
Prud'Homme, CharlesA Modelling Pearl with Sortedness Constraints
R
Ravve, ElenaA Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures
S
Salhi, YakoubA Resolution Method for Modal Logic S5
Schulz, StephanBreeding Theorem Proving Heuristics with Genetic Algorithms
Schäfer, SimonBreeding Theorem Proving Heuristics with Genetic Algorithms
Seredynski, FranciszekSimulated Annealing Application to Maximum Lifetime Coverage Problem in Wireless Sensor Networks
Sioutis, MichaelA Resolution Method for Modal Logic S5
Sirbiladze, GiaHesitant Fuzzy MADM Approach in Optimal Selection of Investment Projects
Soutchanski, MikhailModeling Organic Chemistry and Planning Organic Synthesis
T
Ternovska, EugeniaAn Algebra of Combined Constraint Solving
Thost, VeronikaTemporal Query Answering in DL-Lite with Negation
Tretyakova, AntoninaSimulated Annealing Application to Maximum Lifetime Coverage Problem in Wireless Sensor Networks
Tsarkov, DmitryEPR-based k-induction with Counterexample Guided Abstraction Refinement
Tsulaia, GvancaHesitant Fuzzy MADM Approach in Optimal Selection of Investment Projects
U
Urban, JosefBliStr: The Blind Strategymaker
Uridia, LevanTrust, Belief and Honesty
V
Vanaret, Charlie(The Final) Countdown
Volkovich, ZeevA Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures
W
Walther, DirkFoundations for the Logical Difference of EL-TBoxes
Weber, GerhardA Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures
Wolters, BenediktA Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs
Á
Ábrahám, ErikaA Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs