LINKING
RESEARCH
GLOBALLY
GCAI 2016 / 2nd Global Conference on Artificial Intelligence
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

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

Friday, September 30th, 2016

View this program: with abstractssession overviewtalk overview

11:00-12:30 Session 4: Automated Reasoning
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
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
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
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
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
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
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
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 )