Program
Wednesday, September 28 - Friday, September 30, 2016
Rooms: HS B (and HS A for Keynotes on Wednesday and Thursday)
Wednesday, 28.09.2016, 9:00-18:00
09:00-09:45 Keynote (Jointly with Informatik 2016) (HS A)
Moderation: Gerhard Friedrich
From model checking to equilibrium checking
Michael Wooldridge
09:45-10:30 Keynote (Jointly with Informatik 2016) (HS A)
Moderation: Gerhard Friedrich
Artificial Intelligence at the Gates of Dawn?
Thomas Eiter
10:30-10:50 Coffee Break
10:50-11:00 Welcome (HS B)
11:00-12:30 Session 1 (HS B)
Moderation: Stefan Wölfl
An Object-Logic Explanation for the Inconsistency in Gödel’s Ontological Theory
Christoph Benzmüller and Bruno Woltzenlogel Paleo
Simulating Human Inferences in the Light of New Information: A Formal Analysis
Marco Ragni, Christian Eichhorn and Gabriele Kern-Isberner
Group Decision Making via Probabilistic Belief Merging
Nico Potyka, Erman Acar, Matthias Thimm and Heiner Stuckenschmidt
State-dependent Cost Partitionings for Cartesian Abstractions in Classical Planning
Thomas Keller, Florian Pommerening, Jendrik Seipp, Florian Geißer and Robert Mattmüller
Noisy Submodular Maximization via Adaptive Sampling with Applications to Crowdsourced Image Collection Summarization
Adish Singla, Sebastian Tschiatschek and Andreas Krause
Efficient Determination of Measurement Points for Sequential Diagnosis
Kostyantyn Shchekotykhin, Thomas Schmitz and Dietmar Jannach
12:30-14:00 Lunch Break
14:00-15:30 Session 2 (HS B)
Moderation: Malte Helmert
A Fast Elimination Method for Pruning in POMDPs
Selim Özgen and Mübeccel Demirekler
Improved Diversity in Nested Rollout Policy Adaptation
Stefan Edelkamp and Tristan Cazenave
Model based augmentation and testing of annotated hand pose dataset
Richard Bellon, Younggeon Choi, Nikoletta Ekker, Vincent Lepetit, L. Mike Olasz, Daniel Sonntag, Zoltan Töser, Kyounghwan Yoo and András Lorincz
Trending Topic Aggregation by News-based Context Modeling
Sebastian Fuchs, Damian Borth and Adrian Ulges
Personalization of Gaze Direction Estimation with Deep Learning
Zoltan Töser, Robert A. Rill, Kinga Farago, Laszlo A. Jeni and Andras Lörincz
15:30-16:00 Coffee Break
16:00-17:00 Session 3 (HS B)
Moderation: Stefan Woltran
Solving Negotiation Problems against Unknown Opponents with Wisdom of Crowds
Siqi Chen, Gerhard Weiss and Shuang Zhou
Learning Event Time Series for the Automated Quality Control of Videos
Stefan Edelkamp and Fritz Jacob
A Multi-Objective Approach for both Makespan- and Energy-Efficient Scheduling in Injection Molding
Klaas Dählmann and Jürgen Sauer
Declarative Decomposition and Dispatching for Large-Scale Job-Shop Scheduling
Giacomo Da Col and Erich C. Teppan
17:15-18:00 Mitgliederversammlung des Fachbereichs KI der GI (HS B)
Thursday, 29.09.2016, 9:00-17:45
09:00-10:30 Session 4 (HS B)
Moderation: Birgit Hofer
Influence of ASP Language Constructs on the Performance of state-of-the-art Solvers
Richard Taupe and Erich Teppan
Lifted Junction Tree Algorithm
Tanya Braun and Ralf Möller
Providing Built-In Counters in a Declarative Dynamic Programming Environment
Michael Abseher, Marius Moldovan and Stefan Woltran
Using Ontological Knowledge About Active Pharmaceutical Ingredients for a Decision Support System in Medical Cancer Therapy
Christoph Beierle, Lewin Eisele, Gabriele Kern-Isberner, Ralf Georg Meyer, Mathias Nietzke
Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems
Bernhard Peischl, Ingo Pill and Franz Wotawa
10:30-11:00 Coffee Break
11:00-11:45 Informatik 2016 Keynote (HS A)
Moderation: Heinrich C. Mayr
Industrie 4.0 und zukünftige Arbeitswelten: Praxis und Vision von Infineon Technologies Austria
Sabine Herlitschka
11:45-12:30 Keynote (Jointly with Informatik 2016) (HS A)
Moderation: Heinrich C. Mayr
Towards Industrial Machine Intelligence
Dr. Michael May
12:30-14:00 Lunch Break
14:00-15:30 Session 5 (HS B)
Moderation: Robert Mattmüller
Decoupled Strong Stubborn Sets
Daniel Gnad, Martin Wehrle and Jörg Hoffmann
Investigating the Relationship between Argumentation Semantics via Signatures
Paul E. Dunne, Thomas Linsbichler, Christof Spanring and Stefan Woltran
Driver Frustration Detection From Audio and Video in the Wild
Irman Abdic, Lex Fridman, Daniel McDuff, Erik Marchi, Bryan Reimer and Björn Schuller
ASP for Anytime Dynamic Programming on Tree Decompositions
Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub and Stefan Woltran
A New Tableau-based Satisfiability Checker for Linear Temporal Logic
Matteo Bertello, Nicola Gigante, Angelo Montanari and Mark Reynolds
Preferential Query Answering in the Semantic Web with Possibilistic Networks
Stefan Borgwardt, Bettina Fazzinga, Thomas Lukasiewicz, Akanksha Shrivastava and Oana Tifrea-Marciuska
15:30-16:00 Coffee Break
16:00-17:45 Session 6 (HS B)
Moderation: Stefan Borgwardt
Discriminatively trained recurrent neural networks for continuous dimensional emotion recognition from audio
Felix Weninger, Fabien Ringeval, Erik Marchi and Björn Schuller
A Geometric Method to Construct Minimal Peer Prediction Mechanisms
Rafael Frongillo and Jens Witkowski
Exception-enriched Rule Learning from Knowledge Graphs
Mohamed Gad-Elrab, Daria Stepanova, Jacopo Urbani, Gerhard Weikum
iRobot: Teaching an Evaluated, Competencies-based Introductory Artifcial Intelligence Class in Highschools
Harald Burgsteiner, Martin Kandlhofer and Gerald Steinbauer
Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends
Marcel Steinmetz and Jörg Hoffmann
VLog: A Column-Oriented Datalog Reasoner
Jacopo Urbani, Ceriel Jacobs and Markus Krötzsch
Connecting Qualitative Spatial and Temporal Representations by Propositional Closure
Diedrich Wolter and Jae Hee Lee
Friday, 30.09.2016, 9:00-14:00
09:00-10:00 Keynote (Jointly with MATES) (HS B)
Moderation: Rainer Unland
Automated Reasoning and Cognitive Computing.
Ulrich Furbach
10:00-10:20 Joint Session with MATES (HS B)
Moderation: Franz Wotawa
A Robotic Home Assistant with Memory Aid Functionality
Iris Wieser, Sibel Toprak, Andreas Grenzing, Tobias Hinz, Sayantan Auddy, Ethem Can Karao guz, Abhilash Chandran, Melanie Remmels, Ahmed El Shinawi, Josip Josifovski, Leena Chennuru Vankadara, Faiz Ul Wahab, Alireza M.Alizadeh B., Debasish Sahu, Stefan Heinrich, Nicol as Navarro-Guerrero, Erik Strahl, Johannes Twiefel and Stefan Wermter
10:20-11:00 Coffee Break
11:00-12:20 Session 7 (HS B)
Moderation: Gerhard Friedrich
A Neural Field approach to Obstacle Avoidance
Chun Kwang Tan, Paul G. Plöger and Thomas P. Trappenberg
Solving the Physical Vehicle Routing Problem for Improved Multi-Robot Freespace Navigation
Stefan Edelkamp, Denis Golubev and Christoph Greulich
Symbolic Robot Commanding utilizing Physical Properties - System Overview
Michael Spangenberg and Dominik Henrich
Using a Deep Understanding of Network Activities for Workflow Mining
Mona Lange, Felix Kuhr and Ralf Möller
Image-based identification of Plant Species using a Model-Free Approach and Active Learning
Jonatan Grimm, Mark Hoffmann, Ben Stover, Kai Müller and Volker Steinhage
12:20-12:30 KI 2016 Closing Remarks (HS B)
12:30-14:00 Lunch Break