GCAI 2017: Author IndexAuthor  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  Objectsensitive Deep Reinforcement Learning  J  Jakubuv, Jan  Automated Invention of Strategies and Term Orderings for Vampire  Jamali, Sima  Improving SAT Solver Performance with Structurebased Preferential Bumping  K  KernIsberner, 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 DecisionMaking in the Context of Robot Navigation in Domestic Environments  Krishnasamy Sivaprakasam, Gopalakrishnan  SecrecyPreserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases  L  Lasisi, Abibat  Improved Heuristic for Manipulation of Secondorder Copeland Elections  Lasisi, Ramoni  Improved Heuristic for Manipulation of Secondorder Copeland Elections  Li, Yuezhang  Objectsensitive Deep Reinforcement Learning  Lovinger, Justin  Enhanced Simplified Memorybounded A Star (SMA*+)  M  Mao, Dilin  Anemic Status Prediction using Multilayer Perceptron Neural Network Model  Marinescu, MariaCristina  Abduction for Learning Smart City Rules  Masterjohn, Joseph  Optimizing Kick Trajectory: A Comparative Study  Mitchell, David  Improving SAT Solver Performance with Structurebased Preferential Bumping  P  Pena, Pedro  Optimizing Kick Trajectory: A Comparative Study  R  Raglin, Adrienne  SecrecyPreserving 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  SecrecyPreserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases  Suda, Martin  Automated Invention of Strategies and Term Orderings for Vampire  SummersStay, Douglas  SecrecyPreserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases  Sycara, Katia  Objectsensitive 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 Memorybounded A Star (SMA*+)  Zohar, Yoni  Reasoning Inside The Box: Deduction in Herbrand Logics 

