GCAI 2016: Author Index

Author	Papers
A
Abdennadher, Slim	Animating Cognitive Models and Architectures: A Rule-Based Approach
Agarwal, Sudhir	Invariant Projections in Games
Apeldoorn, Daan	When Should Learning Agents Switch to Explicit Knowledge?
B
Benzmüller, Christoph	Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL
Bjorner, Nikolaj	AVATAR Modulo Theories
Boudali, Imen	Harmony Search Approach for Patient Scheduling in Emergency Laboratories
Bouziat, Teddy	Cooperation in Adaptive Multi-Agent Systems through System of Systems modeling
C
Caillou, Phillipe	Matching Jobs and Resumes: a Deep Collaborative Filtering Task
Camps, Valérie	Cooperation in Adaptive Multi-Agent Systems through System of Systems modeling
Chen, Bo-Rong	Content-Based Image Retrieval System for Real Images
Chichkov, Ivo	A Short-Term Memory for Deliberative Agents in Everyday Environments
Chipofya, Malumbo	Matching Qualitative Constraint Networks with Online Reinforcement Learning
Combettes, Stéphanie	Cooperation in Adaptive Multi-Agent Systems through System of Systems modeling
D
Decoster, Bertrand	Invariant Projections in Games
Dietz, Armin	Contactless Surgery Light Control based on 3D Gesture Recognition
E
Edel, Marcus	Capacity Visual Attention Networks
Eppe, Manfred	Application-Independent and Integration-Friendly Natural Language Understanding
F
Feldman, Jerome	Application-Independent and Integration-Friendly Natural Language Understanding
Frank, Klaus	Contactless Surgery Light Control based on 3D Gesture Recognition
Frank, Martin	Heliostat Field Layout Optimization with Evolutionary Algorithms
Fruehwirth, Thom	Animating Cognitive Models and Architectures: A Rule-Based Approach
G
Gall, Daniel	Animating Cognitive Models and Architectures: A Rule-Based Approach
Genesereth, Michael	Invariant Projections in Games
Gerdes, Levin	Heliostat Field Layout Optimization with Evolutionary Algorithms
Ghassem-Sani, Gholamreza	LexiPers: An ontology based sentiment lexicon for Persian
H
Hosseini, Pedram	LexiPers: An ontology based sentiment lexicon for Persian
Huang, Yin-Fu	Content-Based Image Retrieval System for Real Images
J
Janin, Adam	Application-Independent and Integration-Friendly Natural Language Understanding
K
Kerdels, Jochen	A Sparse Representation of High-Dimensional Input Spaces Based on an Augmented Growing Neural Gas
Kern-Isberner, Gabriele	When Should Learning Agents Switch to Explicit Knowledge?
Kirsch, Alexandra	A Short-Term Memory for Deliberative Agents in Everyday Environments Heuristic Decision-Making for Human-aware Navigation in Domestic Environments
Kotelnikov, Evgenii	A Clausal Normal Form Translation for FOOL
Kovács, Laura	A Clausal Normal Form Translation for FOOL
L
Laukamp, David	Heliostat Field Layout Optimization with Evolutionary Algorithms
Lausch, Joscha	Capacity Visual Attention Networks
Liu, Xudong	Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes
Ludwig, Michel	Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach
M
Magoulas, George	Deep Incremental Boosting
Michael, Loizos	Empirical Investigation of Learning-Based Imputation Policies
Mirroshandel, Sَeyed Abolghasem	LexiPers: An ontology based sentiment lexicon for Persian
Mohapatra, Abhijeet	Invariant Projections in Games
Mokhtar, Nihel	Harmony Search Approach for Patient Scheduling in Emergency Laboratories
Mosca, Alan	Deep Incremental Boosting
P
Peters, Gabriele	A Sparse Representation of High-Dimensional Input Spaces Based on an Augmented Growing Neural Gas
Philipp, Tobias	Unsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing
Prestwich, Steven	Constraint Problem Specification as Compression
Pösch, Andreas	Contactless Surgery Light Control based on 3D Gesture Recognition
R
Raghuram, Vivek	Application-Independent and Integration-Friendly Natural Language Understanding
Reger, Giles	New Techniques in Clausal Form Generation AVATAR Modulo Theories
Reithmeier, Eduard	Contactless Surgery Light Control based on 3D Gesture Recognition
Richter, Pascal	Heliostat Field Layout Optimization with Evolutionary Algorithms
Rossi, Roberto	Constraint Problem Specification as Compression
S
Sabeti, Behnam	LexiPers: An ontology based sentiment lexicon for Persian
Schmitt, Thomas	Matching Jobs and Resumes: a Deep Collaborative Filtering Task
Schröder, Stephan	Contactless Surgery Light Control based on 3D Gesture Recognition
Sebag, Michèle	Matching Jobs and Resumes: a Deep Collaborative Filtering Task
Sharaf, Nada	Animating Cognitive Models and Architectures: A Rule-Based Approach
Skouteli, Hara	Empirical Investigation of Learning-Based Imputation Policies
Steen, Alexander	Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL
Suda, Martin	New Techniques in Clausal Form Generation AVATAR Modulo Theories A Clausal Normal Form Translation for FOOL
T
Tarim, S. Armagan	Constraint Problem Specification as Compression
Trott, Sean	Application-Independent and Integration-Friendly Natural Language Understanding
Truszczynski, Mirek	Learning Importance of Preferences Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes
V
Voronkov, Andrei	New Techniques in Clausal Form Generation AVATAR Modulo Theories A Clausal Normal Form Translation for FOOL
W
Walther, Dirk	Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach
Wisniewski, Max	Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL
Z
Zhu, Ying	Learning Importance of Preferences
Á
Ábrahám, Erika	Heliostat Field Layout Optimization with Evolutionary Algorithms