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