GCAI 2017: Author Index

Author	Papers
A
Andrade, Mariela	Implementation of Incremental Learning in Artificial Neural Networks
B
Baader, Franz	Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts
Beierle, Christoph	Iterated contraction of propositions and conditionals under the principle of conditional preservation
Bhatnagar, Manas	Anemic Status Prediction using Multilayer Perceptron Neural Network Model
Bjorner, Nikolaj	Abduction for Learning Smart City Rules
Bock, Tanja	Iterated contraction of propositions and conditionals under the principle of conditional preservation
Boy de La Tour, Thierry	Properties of Constrained Generalization Algorithms
C
Cohen, Liron	Reasoning Inside The Box: Deduction in Herbrand Logics
Cox, Wesley	A Genetic Algorithm for Truck Dispatching in Mining
D
Dhanireddy, Kiran	Anemic Status Prediction using Multilayer Perceptron Neural Network Model
E
Ecke, Andreas	Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals
F
Farzindar, Atefeh	Anemic Status Prediction using Multilayer Perceptron Neural Network Model
French, Tim	A Genetic Algorithm for Truck Dispatching in Mining
Freuder, Eugene	Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems
G
Gasca, Eduardo	Implementation of Incremental Learning in Artificial Neural Networks
H
Heule, Marijn	Everything's Bigger in Texas: "The Largest Math Proof Ever"
Hogen, Rachel	Anemic Status Prediction using Multilayer Perceptron Neural Network Model
I
Iyer, Rahul	Object-sensitive Deep Reinforcement Learning
J
Jakubuv, Jan	Automated Invention of Strategies and Term Orderings for Vampire
Jamali, Sima	Improving SAT Solver Performance with Structure-based Preferential Bumping
K
Kern-Isberner, Gabriele	Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals Iterated contraction of propositions and conditionals under the principle of conditional preservation
Kirsch, Alexandra	A Modular Approach of Decision-Making in the Context of Robot Navigation in Domestic Environments
Krishnasamy Sivaprakasam, Gopalakrishnan	Secrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases
L
Lasisi, Abibat	Improved Heuristic for Manipulation of Second-order Copeland Elections
Lasisi, Ramoni	Improved Heuristic for Manipulation of Second-order Copeland Elections
Li, Yuezhang	Object-sensitive Deep Reinforcement Learning
Lovinger, Justin	Enhanced Simplified Memory-bounded A Star (SMA*+)
M
Mao, Dilin	Anemic Status Prediction using Multilayer Perceptron Neural Network Model
Marinescu, Maria-Cristina	Abduction for Learning Smart City Rules
Masterjohn, Joseph	Optimizing Kick Trajectory: A Comparative Study
Mitchell, David	Improving SAT Solver Performance with Structure-based Preferential Bumping
P
Pena, Pedro	Optimizing Kick Trajectory: A Comparative Study
R
Raglin, Adrienne	Secrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases
Rendón, Eréndira	Implementation of Incremental Learning in Artificial Neural Networks
Reynolds, Mark	A Genetic Algorithm for Truck Dispatching in Mining
S
Sagiv, Mooly	Abduction for Learning Smart City Rules
Sauerwald, Kai	Iterated contraction of propositions and conditionals under the principle of conditional preservation
Schmickl, Thomas	Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms
Slutzki, Giora	Secrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases
Suda, Martin	Automated Invention of Strategies and Term Orderings for Vampire
Summers-Stay, Douglas	Secrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases
Sycara, Katia	Object-sensitive Deep Reinforcement Learning
T
Thenius, Ronald	Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms
U
Urban, Josef	Automated Invention of Strategies and Term Orderings for Vampire
V
Varughese, Joshua Cherian	Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms
Visser, Ubbo	Optimizing Kick Trajectory: A Comparative Study
W
Wallace, Richard	Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems
While, Lyndon	A Genetic Algorithm for Truck Dispatching in Mining
Wilhelm, Marco	Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals
Wotawa, Franz	Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms
Y
Yu, Ching Hao	Anemic Status Prediction using Multilayer Perceptron Neural Network Model
Z
Zhang, Xiaoqin	Enhanced Simplified Memory-bounded A Star (SMA*+)
Zohar, Yoni	Reasoning Inside The Box: Deduction in Herbrand Logics