Technical Program
Thursday, August 14

¦ 9:00am ¦ 10:30am ¦ 11:40am ¦ 12:40pm ¦ 2:00pm ¦ 4:00pm ¦ 5:45pm ¦

9:00am-10:00am

• [IT] Automated Verification = Graphs, Automata and Logic.
• [TS] Robotics
• [TS] Natural Language 1
• [TS] Learning 4: Evaluating Classifiers
• [IA] Spatial and Temporal Reasoning

10:30am-11:30am

• [IT] Data Integration: Successes and Challenges.
• [TS] Probabilistic Inference 1
• [TS] Qualitative Reasoning 1
• [TS] Learning 5: Tree Learning
• [TS] Spatial Reasoning
• [IA] Information and Knowledge II

11:40am-12:40pm

• [IT] Optimality of Collective Choice in Social Insects and Social Robots. CANCELLED
• [TS] Probabilistic Inference 2: First Order
• [TS] Description Logics 2
• [TS] Qualitative Reasoning 2
• [TS] Learning 6: Kernel Methods
• [IA] AI on the Move

12:40pm-2:00pm

• Lunch

2:00pm-3:30pm

• [TS] Information Extraction 1
• [TS] Diagnosis and MAS
• [TS] Constraints 5
• [TS] Nonmonotonic Reasoning 2: Logic Programming
• [TS] Multi-Agent Systems 7: Multiagent Reinforcement Learning and POMDPs
• [TS] Planning 1
• [TS] Automated Reasoning
• [IA] Distributed Computing

4:00pm-5:30pm

• [TS] Information Extraction 2
• [TS] Perception
• [TS] Satisfiability and Phase Transitions
• [TS] Nonmonotonic Reasoning 3
• [TS] Multi-Agent Systems 8: Logic-Based MAS and Communication Languages
• [TS] Planning 2
• [TS] Case-based Reasoning
• [IA] CAPTCHA: Telling Humans and Computers Apart Automatically

5:45pm-7:00pm

• IJCAI Award for Research Excellence Lecture