PROGRAM
Days: Thursday, September 29th Friday, September 30th Saturday, October 1st Sunday, October 2nd
Thursday, September 29th, 2016
View this program: with abstractssession overviewtalk overview
13:30-15:30 Session 1: Tutorial: Automated Theorem Proving in the TPTP World
Seminar room SR006, Takustrasse 9, Institut für Informatik, FU Berlin, see the map
Chair:
16:00-18:00 Session 2: Tutorial: Reasoning in Expressive Non-Classical Logics with Isabelle/HOL
Seminar room SR006, Takustrasse 9, Institut für Informatik, FU Berlin, see the map
Chair:
Friday, September 30th, 2016
View this program: with abstractssession overviewtalk overview
11:00-12:30 Session 4: Automated Reasoning
Chair:
| 11:00 | New Techniques in Clausal Form Generation ( abstract )  |
| 11:30 | Certificates for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing ( abstract ) |
| 12:00 | AVATAR Modulo Theories ( abstract ) |
14:00-15:30 Session 5: Perception and People
Chair:
| 14:00 | Capacity Visual Attention Networks ( abstract ) |
| 14:30 | Learning Importance of Preferences ( abstract ) |
| 15:00 | Content-Based Image Retrieval System for Real Images ( abstract ) |
16:00-18:00 Session 6: Applications I
Chair:
| 16:00 | Harmony Search Approach for Patient Scheduling in Emergency Laboratories ( abstract ) |
| 16:30 | Matching Jobs and Resumes: a Deep Collaborative Filtering Task ( abstract ) |
| 17:00 | Contactless Surgery Light Control based on 3D Gesture Recognition ( abstract ) |
Saturday, October 1st, 2016
View this program: with abstractssession overviewtalk overview
11:00-12:30 Session 8: Reasoning and Knowledge
Chair:
| 11:00 | Towards a Decision Procedure for Uniform Interpolants in EL-TBoxes - a Proof-Theoretic Approach ( abstract ) |
| 11:30 | Empirical Investigation of Learning-Based Imputation Policies ( abstract ) |
| 12:00 | When Should Learning Agents Switch to Explicit Knowledge? ( abstract ) |
14:00-15:30 Session 9: Agents and Robots
Chair:
| 14:00 | A Short-Term Memory for Deliberative Agents in Everyday Environments ( abstract ) |
| 14:30 | Heuristic Decision-Making for Human-aware Navigation in Domestic Environments ( abstract ) |
| 15:00 | Cooperation in Adaptive Multi-Agent Systems through System of Systems modeling. ( abstract ) |
16:00-18:00 Session 10: Applications II
Chair:
| 16:00 | Invariant Projections in Games ( abstract ) |
| 16:30 | Heliostat Field Layout Optimization with Evolutionary Algorithms ( abstract ) |
Sunday, October 2nd, 2016
View this program: with abstractssession overviewtalk overview
11:00-12:30 Session 12: Cognition and Constraints
Chair:
| 11:00 | Animating Cognitive Models and Architectures: A Rule-based Approach ( abstract ) |
| 11:30 | Matching Qualitative Constraint Networks with Online Reinforcement Learning ( abstract ) |
| 12:00 | Constraint Problem Specification as Compression ( abstract ) |
14:00-15:30 Session 13: Machine Learning
Chair:
| 14:00 | Deep Incremental Boosting ( abstract ) |
| 14:30 | A Sparse Representation of High-Dimensional Input Spaces Based on an Augmented Growing Neural Gas ( abstract ) |
| 15:00 | Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes ( abstract ) |
16:00-18:00 Session 14: Natural Language Processing, Automated Reasoning
Chair:
| 16:00 | LexiPers: An ontology based sentiment lexicon for Persian ( abstract ) |
| 16:30 | Application-Independent and Integration-Friendly Natural Language Understanding ( abstract ) |
| 17:00 | A Clausal Normal Form Translation for FOOL ( abstract ) |