Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B C D E F G H I J K L M P R S T U V W Y Z

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
Bentert, M.	Proving God's Existence by Automating Leibniz' Algebra of Concepts
Benzmüller, Christoph	Proving God's Existence by Automating Leibniz' Algebra of Concepts Mechanizing Category Theory by Automating Free Logic in Higher-Order Logic
Bhatnagar, Manas	Anemic Status Prediction using Multi Layer 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
Buche, Cedric	IVT: an 3D Agent-based Interactive Training System
C
Cohen, Liron	Reasoning Inside The Box: Deduction in Herbrand Logics
Cox, Wesley	A Genetic Algorithm for Truck Dispatching in Mining
D
Delamarre, Alban	IVT: an 3D Agent-based Interactive Training System
Dhanireddy, Kiran	Anemic Status Prediction using Multi Layer Perceptron Neural Network Model
Dormagen, D.	Mechanizing Category Theory by Automating Free Logic in Higher-Order Logic
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 Multi Layer 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 Multi Layer 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	Iterated contraction of propositions and conditionals under the principle of conditional preservation Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals
Kirsch, Alexandra	A Modular Approach for 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
Lewash, Y.	Proving God's Existence by Automating Leibniz' Algebra of Concepts
Li, Yuezhang	Object-sensitive Deep Reinforcement Learning
Lisetti, Christine	IVT: an 3D Agent-based Interactive Training System
Lovinger, Justin	Enhanced Simplified Memory-bounded A Star (SMA*+)
M
Makarenko, I.	Mechanizing Category Theory by Automating Free Logic in Higher-Order Logic
Mao, Dilin	Anemic Status Prediction using Multi Layer 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
Pelachaud, Catherine	Modelling Conversing Social Agents
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
Schernoff, Elisa	IVT: an 3D Agent-based Interactive Training System
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
Steen, Alexander	Proving God's Existence by Automating Leibniz' Algebra of Concepts Mechanizing Category Theory by Automating Free Logic in Higher-Order Logic
Streit, D.	Proving God's Existence by Automating Leibniz' Algebra of Concepts
Stugk, S.	Proving God's Existence by Automating Leibniz' Algebra of Concepts
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
Van den Broeck, Guy	Open-World Probabilistic Databases
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
Wisniewski, Max	Proving God's Existence by Automating Leibniz' Algebra of Concepts Mechanizing Category Theory by Automating Free Logic in Higher-Order Logic
Wotawa, Franz	Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms
Y
Yu, Ching Hao	Anemic Status Prediction using Multi Layer Perceptron Neural Network Model
Z
Zhang, Xiaoqin	Enhanced Simplified Memory-bounded A Star (SMA*+)
Zohar, Yoni	Reasoning Inside The Box: Deduction in Herbrand Logics