GCAI 2017: Author Index

AuthorPapers
A
Andrade, MarielaImplementation of Incremental Learning in Artificial Neural Networks
B
Baader, FranzExtending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts
Beierle, ChristophIterated contraction of propositions and conditionals under the principle of conditional preservation
Bhatnagar, ManasAnemic Status Prediction using Multilayer Perceptron Neural Network Model
Bjorner, NikolajAbduction for Learning Smart City Rules
Bock, TanjaIterated contraction of propositions and conditionals under the principle of conditional preservation
Boy de La Tour, ThierryProperties of Constrained Generalization Algorithms
C
Cohen, LironReasoning Inside The Box: Deduction in Herbrand Logics
Cox, WesleyA Genetic Algorithm for Truck Dispatching in Mining
D
Dhanireddy, KiranAnemic Status Prediction using Multilayer Perceptron Neural Network Model
E
Ecke, AndreasExtending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts
Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals
F
Farzindar, AtefehAnemic Status Prediction using Multilayer Perceptron Neural Network Model
French, TimA Genetic Algorithm for Truck Dispatching in Mining
Freuder, EugeneReplaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems
G
Gasca, EduardoImplementation of Incremental Learning in Artificial Neural Networks
H
Heule, MarijnEverything's Bigger in Texas: "The Largest Math Proof Ever"
Hogen, RachelAnemic Status Prediction using Multilayer Perceptron Neural Network Model
I
Iyer, RahulObject-sensitive Deep Reinforcement Learning
J
Jakubuv, JanAutomated Invention of Strategies and Term Orderings for Vampire
Jamali, SimaImproving SAT Solver Performance with Structure-based Preferential Bumping
K
Kern-Isberner, GabrieleBasic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals
Iterated contraction of propositions and conditionals under the principle of conditional preservation
Kirsch, AlexandraA Modular Approach of Decision-Making in the Context of Robot Navigation in Domestic Environments
Krishnasamy Sivaprakasam, GopalakrishnanSecrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases
L
Lasisi, AbibatImproved Heuristic for Manipulation of Second-order Copeland Elections
Lasisi, RamoniImproved Heuristic for Manipulation of Second-order Copeland Elections
Li, YuezhangObject-sensitive Deep Reinforcement Learning
Lovinger, JustinEnhanced Simplified Memory-bounded A Star (SMA*+)
M
Mao, DilinAnemic Status Prediction using Multilayer Perceptron Neural Network Model
Marinescu, Maria-CristinaAbduction for Learning Smart City Rules
Masterjohn, JosephOptimizing Kick Trajectory: A Comparative Study
Mitchell, DavidImproving SAT Solver Performance with Structure-based Preferential Bumping
P
Pena, PedroOptimizing Kick Trajectory: A Comparative Study
R
Raglin, AdrienneSecrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases
Rendón, EréndiraImplementation of Incremental Learning in Artificial Neural Networks
Reynolds, MarkA Genetic Algorithm for Truck Dispatching in Mining
S
Sagiv, MoolyAbduction for Learning Smart City Rules
Sauerwald, KaiIterated contraction of propositions and conditionals under the principle of conditional preservation
Schmickl, ThomasQuantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms
Slutzki, GioraSecrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases
Suda, MartinAutomated Invention of Strategies and Term Orderings for Vampire
Summers-Stay, DouglasSecrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases
Sycara, KatiaObject-sensitive Deep Reinforcement Learning
T
Thenius, RonaldQuantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms
U
Urban, JosefAutomated Invention of Strategies and Term Orderings for Vampire
V
Varughese, Joshua CherianQuantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms
Visser, UbboOptimizing Kick Trajectory: A Comparative Study
W
Wallace, RichardReplaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems
While, LyndonA Genetic Algorithm for Truck Dispatching in Mining
Wilhelm, MarcoBasic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals
Wotawa, FranzQuantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms
Y
Yu, Ching HaoAnemic Status Prediction using Multilayer Perceptron Neural Network Model
Z
Zhang, XiaoqinEnhanced Simplified Memory-bounded A Star (SMA*+)
Zohar, YoniReasoning Inside The Box: Deduction in Herbrand Logics