8:30 - 9:30 AMInvited Talk: The Challenges and Advances in
Teams of Autonomous Agents in Adversarial Environments
Manuela Veloso, Carnegie Mellon UniversityBallroom 6 B/C9:30 - 10:00 AMCoffee Break
10:00 - 11:30 AMTechnical Paper Sessions:
Robotics
Room 606
- Combining Probabilities, Failures and Safety in Robot Control
Alberto Finzi and Fiora Pirri - Heterogeneity in the Coevolved Behaviors of Mobile Robots: The Emergence of Specialists
Mitchell A. Potter, Lisa A. Meeden, and Alan C. Schultz - Agent-Based Control for Object Manipulation with Modular Self-reconfigurable Robots
Jeremy Kubica, Arancha Casal, and Tad Hogg
Action and Causality
Room 607
- Updates, Actions, and Planning
Andreas Herzig, Jerome Lang, Pierre Marquis, and Thomas Polacsek - Causality and Minimal Change Demystified
Maurice Pagnucco and Pavlos Peppas - EPDL: A Logic for Causal Reasoning
Dongmo Zhang and Norman Foo
Planning with Incomplete Information
Room 608
- Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning
Piergiorgio Bertoli, Alessandro Cimatti, and Marco Roveri - Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking
Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, and Paolo Traverso - Planning as Model Checking for Extended Goals in Non-deterministic Domains
Marco Pistore and Paolo Traverso
Constraint Satisfaction Problems
Room 609
- Backtracking through Biconnected Components of a Constraint Graph
Jean-Francois Baget and Yannic Tognetti - A Constraint Satisfaction Approach to Parametric Differential Equations
M. Janssen, P. Van Hentenryck, and Y. Deville - Improved Bounds on the Complexity of KB-Consistency
Lucas Bordeaux, Eric Monfroy, and Frederic Benhamou
Neural Networks and Genetic Algorithms
Room 611
- Genetic Algorithm based Selective Neural Network Ensemble
Zhi-Hua Zhou, Jian-Xin Wu, Yuan Jiang, and Shi-Fu Chen - Neural Logic Network Learning using Genetic Programming
Chew Lim Tan and Henry Wai Kit Chia - Sensitivity Analysis of Multilayer Perceptron
D.S. Yeung and Xuequan Sun
Description Logics and Conceptual Graphs
Room 612
- Decision Procedures for Expressive Description Logics with
Role Intersection, Composition and Converse
Fabio Massacci - Ontology Reasoning for the Semantic Web
Ian Horrocks and Ulrike Sattler - The SG Family: Extensions of Simple Conceptual Graphs
Jean-Francois Baget and Marie-Laure Mugnier
Distinguished Presentations Track
Ballroom 6 B/C
Case Study Based on
Conceptual Models for Query Expansion
Jaana Kekäläinen and Kalervo Järvelin
11:40 AM - 12:40 PMTechnical Paper Sessions:
Multi-Agent Systems
Room 606
- Multiagent Coordination by Probabilistic Cellular Automata
T. D. Barfoot and G. M. T. D`Eleuterio - Identifying the Scope of Modeling for Time-Critical Multiagent Decision-Making
Sanguk Noh and Piotr J. Gmytrasiewicz
Action
Room 607
- A Circumscriptive Formalization of the Qualification Problem
G. Neelakantan Kartha - Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas
Patrick Doherty, Witold Lukaszewicz, and Andrzej Szalas
Cooperative Behavior
Room 608
- Rational Competitive Analysis
Moshe Tennenholtz - Learning Procedural Knowledge to Better Coordinate
Andrew Garland and Rick Alterman
Constraint Satisfaction Problems
Room 609
- Refining the basic constraint propagation algorithm
Christian Bessiere and Jean-Charles Regin - Making AC-3 an Optimal Algorithm
Yuanlin Zhang and Roland H.C. Yap
Probabilistic Learning
Room 611
- Active Learning for Structure in Bayesian Networks
Simon Tong and Daphne Koller - Probabilistic Clustering and Transduction in Relational Data
Ben Taskar, Eran Segal, and Daphne Koller
Cognitive Modeling -- Diagramatic Reasoning
Room 612
- Formalizing Artistic Techniques and Scientific Visualization for Painted Renditions of Complex Information Spaces
Christopher G. Healey - Visual Analogy in Problem Solving
Jim R. Davies and Ashok K. Goel
Distinguished Presentations Track
Ballroom 6 B/C
An Application in Optimizing IC Test
Tony Fountain, Thomas Dietterich, Bill Sudyka
12:40 - 2:00 PMLunch
2:00 - 3:00 PMTechnical Paper Sessions:
Probabilistic Reasoning
Room 606
- Context-specific Sign-propagation in Qualitative Probabilistic Networks
Silja Renooij, Simon Parsons, and Linda C. van der Gaag - Max-norm Projections for Factored MDPs
Carlos Guestrin, Daphne Koller, and Ronald Parr
Description Logics
Room 607
- Identification Constraints and Functional Dependencies in Description Logics
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini - High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study
V. Haarslev and R. Moeller
Perception
Room 608
- Discriminating Animate from Inanimate Visual Stimuli
Brian Scassellati - An Hybrid Approach to Solve the Global Localization Problem For Indoor Mobile
Robots Considering Sensor's Perceptual Limitations
Leonardo Romero, Eduardo Morales, and Enrique Sucar
Constraint Satisfaction Problems
Room 609
- Temporal Constraint Reasoning with Preferences
Lina Khatib, Paul Morris, Robert Morris, and Francesca Rossi - A Hybrid Approach for the 0-1 Multidimensionnal Knapsack Problem
Michel Vasquez and Jin-Kao Hao
Case-based Reasoning
Room 611
- A Distributed Case-Based Query Rewriting
Maurizio Panti, Luca Spalazzi, and Loris Penserini - Using Case-Base Data to Learn Adaptation Knowledge for Design
Jacek Jarmulak, Susan Craw, and Ray Rowe
Multi-Agent Systems
Room 612
- Bundle Design in Robust Combinatorial Auction Protocol against False-name Bids
Makoto Yokoo, Yuko Sakurai, and Shigeo Matsubara - CABOB: A Fast Optimal Algorithm for Combinatorial Auctions
Tuomas Sandholm, Subhash Suri, Andrew Gilpin, and David Levine
Distinguished Presentations Track
Ballroom 6 B/C
Bayesian Inference of Visual Motion Boundaries
Michael J. Black, David J. Fleet
3:10 - 4:10 PMTechnical Paper Sessions:
Qualitative Reasoning for Biological Systems
Room 606
- Qualitative Simulation of Genetic Regulatory Networks: Method and Application
Hidde de Jong, Michel Page, Celine Hernandez, and Johannes Geiselmann - Discrimination of Semi-Quantitative Models by Experiment Selection:
Method and Application in Population Biology
Ivayla Vatcheva, Hidde de Jong, Olivier Bernard, Jan-Luc Gouze, and Nicolaas J.I. Mars
Search
Room 607
- Incomplete Tree Search using Adaptive Probing
Wheeler Ruml - Heuristic Search in Infinite State Spaces Guided by Lyapunov Analysis
Theodore J. Perkins and Andrew G. Barto
Perception
Room 608
- Multimodal Integration - A biological View
Michael Coen - Real-Time Auditory and Visual Multiple-Object Tracking for Robots
Kazuhiro Nakadai, Ken-ichi Hidai, Hiroshi Mizoguchi, Hiroshi G. Okuno, and
Hiroaki Kitano
Constraint Satisfaction Problems
Room 609
- The Exponentiated Subgradient Algorithm for Heuristic
Boolean Programming
Dale Schuurmans, Finnegan Southey, and Robert C. Holte - A New Method for the Three Dimensional Container
Packing Problem
Andrew Lim and Wang Ying
Machine Learning and Data Mining
Room 611
- Adaptive Web Navigation for Wireless Devices
Corin R. Anderson, Pedro Domingos, and Daniel S. Weld - Using Text Classifiers for Numerical Classification
Sofus Attila Macskassy, Haym Hirsh, Arunava Banerjee, and Aynur A. Dayanik
Multi-Agent Systems
Room 612
- Bidding Languages for Combinatorial Auctions
Craig Boutilier and Holger H. Hoos - Partitioning Activities for Agents
Fatma Ozcan and V.S. Subrahmanian
Distinguished Presentations Track
Ballroom 6 B/C
Understanding Belief Propagation and its Generalizations
Jonathan Yedidia, William Freeman, and Yair Weiss
4:10 - 4:30 PMCoffee Break
4:30 - 5:30 PMTechnical Paper Sessions:
Reinforcement Learning/Robotics
Room 606
- Multi-Agent systems by Incremental Gradient Reinforcement Learning
Alain Dutech, Olivier Buffet, and Francois Charpillet - Robot Weightlifting By Direct Policy Search
Michael T. Rosenstein and Andrew G. Barto
Domain Analysis for Planning
Room 607
- One action is enough to plan
Emmanuel Guéré and Rachid Alami - Hybrid STAN: Identifying and Managing Combinatorial Optimisation Sub-problems in Planning
Maria Fox and Derek Long
Machine Learning and Data Mining
Room 608
- Faster Association Rules for Multiple Relations
J.N. Kok and S. Nijssen - A Simple Feature Selection Method for Text Classification
Pascal Soucy and Guy W. Mineau
Satisfiability
Room 609
- Balance and Filtering in Structured Satisfiable Problems
Henry Kautz, Yongshao Ruan, Dimitri Achlioptas, Carla Gomes, Bart Selman, and Mark Stickel - Efficient Consequence Finding
Laurent Simon and Alvaro del Val
Probabilistic Reasoning
Room 611
- Knowledge Processing under Information Fidelity
Wilhelm Rödder - Constraints as Data: a New Perspective on Inferring Probabilities
Manfred Jaeger
Multi-Agent Systems
Room 612
- Achieving Budget-Balance with Vickrey-Based Payment Schemes in Exchanges
David C. Parkes, Jayant Kalagnanam, and Marta Eso - Agent-Human Interactions in the Continuous Double Auction
Rajarshi Das, James E. Hanson, Jeffrey O. Kephart, and Gerald Tesauro
Distinguished Presentations Track
Ballroom 6 B/C
New Tractable Classes From Old
David Cohen, Peter Jeavons, and Richard Gault