Technical Program
Tuesday, August 12

[TS] Technical Sessions

Nonmonotonic Reasoning 1: Default Logic

• Ordering Default Theories.
  Chiaki Sakama
• Outlier Detection Using Default Logic.
  Angiulli Fabrizio, Rachel Ben-Eliyahu-Zohary and Luigi Palopoli

10:30am-11:30am
- Cholula 5 -

Cognitive Modeling

• Dynamic Bayesian modeling of the cerebral activity.
  Vincent Labatut, Josette Pastor and Serge Ruff
• GHOST: experimenting conflicts countermeasures in the pilot’s activity.
  Frédéric Dehais, Catherine Tessier and Laurent Chaudron

10:30am-11:30am
- Cholula 6 -

Cognitive Robotics

• Body Movement Analysis of Human-Robot Interaction.
  Takayuki Kanda, Hiroshi Ishiguro, Michita Imai and Tetsuo Ono
• Qualitative Map Learning Based on Co-visibility of Objects.
  Takehisa Yairi and Koichi Hori

11:40am-12:40pm
- Cholula 5 -

Multi-Agent Systems 1: Multiagent Tracking

• On Identifying and Managing Relationships in Multi-Agent Systems.
  Ronald Ashri, Michael Luck and Mark d’Inverno
• ODISET: On-line Distributed Session Tracing using Agents.
  Salvador Mandujano and Arturo Galván

11:40am-12:40pm
- Cholula 6 -

Causality

• Responsibility and Blame: A Structural-Model Approach.
  Hana Chockler and Joseph Y. Halpern
• Causes and Explanations Revisited.
  James D. Park
• A Logic for Causal Reasoning.
  Alexander Bochman

2:00pm-3:30pm
- Cholula 1 -

AI and the Internet

• A semantic framework for multimedia document adaptation.
  Jérôme Euzenat, Nabil Layaïda and Victor Dias
• An Ontology-based Architecture for Cooperative Information Agents.
  Frederico L. G. Freitas and Guilherme Bittencourt
• Web Page Cleaning for Web Mining through Feature Weighting.
  Lan Yi and Bing Liu

2:00pm-3:30pm
- Cholula 2 -

Constraints 1

• Solving Constraint Optimization Problems in Anytime Contexts.
  Samir Loudni and Patrice Boizumault
• Scenario-based Stochastic Constraint Programming.
  Suresh Manandhar, Armagan Tarim and Toby Walsh
• Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques.
  C. Domshlak, F. Rossi, K. B. Venable and T. Walsh

2:00pm-3:30pm
- Cholula 3 -

Decision Theory 1

• Qualitative Decision under Uncertainty: Back to Expected Utility.
  Hélène Fargier and Régis Sabbadin
• On the Foundations of Expected Expected Utility.
  Craig Boutilier
• Incremental Utility Elicitation with the Minimax Regret Decision Criterion.
  Tianhan Wang and Craig Boutilier

2:00pm-3:30pm
- Cholula 5 -

Multi-Agent Systems 2: Nash Equilibria

• Complexity Results about Nash Equilibria.
  Vincent Conitzer and Tuomas Sandholm
• A Continuation Method for Nash Equilibria in Structured Games.
  Ben Blum, Christian R. Shelton and Daphne Koller
• Local Effect Games.
  Kevin Leyton-Brown and Moshe Tennenholtz

2:00pm-3:30pm
- Cholula 6 -

Learning 1: Partially Labeled Data

• Semi-Supervised Learning with Explicit Misclassification Modeling.
  Massih-Reza Amini and Patrick Gallinari
• SVMC: Single-Class Classification With Support Vector Machines.
  Hwanjo Yu
• Spectral Learning.
  Sepandar D. Kamvar, Dan Klein and Christopher D. Manning

2:00pm-3:30pm
- Cholula 7 -

Temporal Reasoning

• Tractable Pareto Optimization of Temporal Preferences.
  Lina Khatib, Paul Morris, Robert Morris and Kristen Brent Venable
• Incremental Tractable Reasoning about Qualitative Temporal Constraints.
  Alfonso Gerevini
• Automatic Video Interpretation: A Novel Algorithm for Temporal Scenario Recognition.
  Van-Thinh Vu, François Brémond and Monique Thonnat

2:00pm-3:30pm
- Cholula 8 -

Reasoning about Actions and Change 1

• Describing Additive Fluents in Action Language C+.
  Joohyung Lee and Vladimir Lifschitz
• Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus.
  Alfredo Gabaldon
• Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus.
  Richard B. Scherl

4:00pm-5:30pm
- Cholula 1 -

Diagnosis 1

• Automatic Abstraction in Component-Based Diagnosis Driven by System Observability.
  Gianluca Torta and Pietro Torasso
• Automated Qualitative Domain Abstraction.
  Martin Sachenbacher and Peter Struss
• Formal Verification of Diagnosability via Symbolic Model Checking.
  Alessandro Cimatti, Charles Pecheur and Roberto Cavada

4:00pm-5:30pm
- Cholula 2 -

Constraints 2

• Non-Binary Constraints and Optimal.Dual-Graph Representations.
  Gianluigi Greco and Francesco Scarcello
• Multiset Ordering Constraints.
  Alan Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, and Toby Walsh
• A Fast and Simple Algorithm for Bounds Consistency of the AllDifferent Constraint.
  Alejandro López-Ortiz, Claude-Guy Quimper, John Tromp and Peter van Beek

4:00pm-5:30pm
- Cholula 3 -

Description Logics 1

• Terminological Cycles in a Description Logic with Existential Restrictions.
  Franz Baader
• Decidability of SHIQ with Complex Role Inclusion Axioms.
  Ian Horrocks and Ulrike Sattler
• Keys, Nominals, and Concrete Domains.
  Carsten Lutz, Carlos Areces, Ian Horrocks and Ulrike Sattler

4:00pm-5:30pm
- Cholula 5 -

Multi-Agent Systems 3: Coalition Formation1

• Complexity of Determining Nonemptiness of the Core.
  Vincent Conitzer and Tuomas Sandholm
• Dynamics of Coalition Formation in Combinatorial Trading.
  Yiming Ye and Yuhai Tu
• An Integrated Multilevel Learning Approach to Multiagent Coalition Formation.
  Leen-Kiat Soh and Xin Li

4:00pm-5:30pm
- Cholula 6 -

Learning 2: Clustering and Bayes Net Learning

• Data Clustering: Principal Components, Hopfield and Self-Aggregation Networks.
  Chris H. Q. Ding
• Distributed Clustering Based on Sampling Local Density Estimates.
  Matthias Klusch, Stefano Lodi and Gianluca Moro
• When Discriminative Learning of Bayesian Network Parameters Is Easy.
  Hannes Wettig, Peter Grünwald, Teemu Roos, Petri Myllymäki and Henry Tirri

4:00pm-5:30pm
- Cholula 7 -

Belief Revision and Update

• On the Revision of Probabilistic Beliefs using Uncertain Evidence.
  Hei Chan and Adnan Darwiche
• Quantifying information and contradiction in propositional logic through test actions.
  Sébastien Konieczny, Jérôme Lang and Pierre Marquis
• Minimal Change and Maximal Coherence for Epistemic Logic Program Updates.
  Yan Zhang

4:00pm-5:30pm
- Cholula 8 -