Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B C D F G H K L M N P R S T U V W

A
Abraham, Erika	A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs
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 the spam
Bliadze, Tamar	Application of adaptive neural networks for the filtration of the 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 the 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 (Position Paper)
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
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