SA1
Combinatorial Optimization for Graphical Models
Rina Dechter, Simon de Givry, Radu Marinescu, and Thomas Schiex
SA2
High-Level Robot Programming with Tekkotsu
David S. Touretzky and Ethan J. Tira-Thompson
SA3
Intelligent User Interfaces: An Introduction
Mark Maybury (Full Day)
SA4
Introduction to Computational Advertising
Evgeniy Gabrilovich, Vanja Josifovski and Bo Pang
SA5
An Introduction to Formal Argumentation
Martin Caminada
Sunday, July 12
1:30pm - 5:30pm
SP1
Distributed Search by Constrained Agents
Amnon Meisels and Roie Zivan
SP2
New Trends in General Game Playing
Michael Thielscher
SP3
Real-Time Planning in Dynamic and Partially-Known Domains
Maxim Likhachev and Sven Koenig
SP4
Text Mining and Link Analysis for Web and Semantic Web
Marko Grobelnik and Dunja Mladenić
Monday, July 13
8:30am - 12:30pm
MA1
Automated Mechanism Design: Methods and Applications
Yevgeniy Vorobeychik and Vincent Conitzer
MA2
Logical and Relational Learning
Luc De Raedt
MA3
Preferences: Modeling Frameworks, Reasoning Tools, and Multi-Agent Scenarios
Francesca Rossi, Toby Walsh and Kristen Brent Venable
MA4
SAT, SMT & QBF and Their Applications in AI
Jussi Rintanen
MA5
Semantic Web Modeling Languages
Pascal Hitzler, Markus Krötzsch and Sebastian Rudolph
Monday, July 13
1:30pm - 5:30pm
MP1
Algorithmic Decision Theory combining Decision Analysis and Artificial Intelligence: Theoretical Framework and Practical Applications
Alexis Tsoukiàs
MP2
Computing Explanations in Problem Solving: A Review of Formal Approaches
Barry O'Sullivan and Ulrich Junker
MP3
Decision-Theoretic Planning for Multi-Agent Systems: New Directions and Opportunities
Matthijs Spaan, Shlomo Zilberstein and Christopher Amato
MP4
Intelligent Information Gathering and Submodular Function Optimization
Andreas Krause and Carlos Guestrin
MP5
Video Games and Artificial Intelligence
Adi Botea, Ralf Herbrich and Thore Graepel
