LINKING
RESEARCH
GLOBALLY
GCAI 2017 / 3rd Global Conference on Artificial Intelligence
PROGRAM FOR THURSDAY, OCTOBER 19TH
Days:
next day
all days

View: session overviewtalk overview

09:00-10:30 Session 1: Tutorial Ia: Automated Reasoning in the First-order TPTP World
Chair:
Geoff Sutcliffe
10:30-11:00Break
11:00-12:30 Session 2: Tutorial Ib: Automated Reasoning in Higher-order and Non-classical Logics
Chair:
Christoph Benzmüller
12:30-14:00Lunch
14:00-16:00 Session 3: Tutorial 2: Affective Computing and Virtual Agents
Chair:
Christine Lisetti