IJCAI-01 Technical Program Schedule

(Subject to revision)
Monday, August 6
Tuesday, August 7
Wednesday, August 8

Thursday, August 9

8:30 - 9:30 AM

Invited Talk: The Challenges and Advances in Teams of Autonomous Agents in Adversarial Environments
Manuela Veloso, Carnegie Mellon University
Ballroom 6 B/C

9:30 - 10:00 AM

Coffee Break

10:00 - 11:30 AM

Technical Paper Sessions:

Robotics
Room 606
  1. Combining Probabilities, Failures and Safety in Robot Control
    Alberto Finzi and Fiora Pirri
  2. Heterogeneity in the Coevolved Behaviors of Mobile Robots: The Emergence of Specialists
    Mitchell A. Potter, Lisa A. Meeden, and Alan C. Schultz
  3. Agent-Based Control for Object Manipulation with Modular Self-reconfigurable Robots
    Jeremy Kubica, Arancha Casal, and Tad Hogg
Action and Causality
Room 607
  1. Updates, Actions, and Planning
    Andreas Herzig, Jerome Lang, Pierre Marquis, and Thomas Polacsek
  2. Causality and Minimal Change Demystified
    Maurice Pagnucco and Pavlos Peppas
  3. EPDL: A Logic for Causal Reasoning
    Dongmo Zhang and Norman Foo
Planning with Incomplete Information
Room 608
  1. Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning
    Piergiorgio Bertoli, Alessandro Cimatti, and Marco Roveri
  2. Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking
    Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, and Paolo Traverso
  3. Planning as Model Checking for Extended Goals in Non-deterministic Domains
    Marco Pistore and Paolo Traverso
Constraint Satisfaction Problems
Room 609
  1. Backtracking through Biconnected Components of a Constraint Graph
    Jean-Francois Baget and Yannic Tognetti
  2. A Constraint Satisfaction Approach to Parametric Differential Equations
    M. Janssen, P. Van Hentenryck, and Y. Deville
  3. Improved Bounds on the Complexity of KB-Consistency
    Lucas Bordeaux, Eric Monfroy, and Frederic Benhamou
Neural Networks and Genetic Algorithms
Room 611
  1. Genetic Algorithm based Selective Neural Network Ensemble
    Zhi-Hua Zhou, Jian-Xin Wu, Yuan Jiang, and Shi-Fu Chen
  2. Neural Logic Network Learning using Genetic Programming
    Chew Lim Tan and Henry Wai Kit Chia
  3. Sensitivity Analysis of Multilayer Perceptron
    D.S. Yeung and Xuequan Sun
Description Logics and Conceptual Graphs
Room 612
  1. Decision Procedures for Expressive Description Logics with Role Intersection, Composition and Converse
    Fabio Massacci
  2. Ontology Reasoning for the Semantic Web
    Ian Horrocks and Ulrike Sattler
  3. 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 PM

Technical Paper Sessions:

Multi-Agent Systems
Room 606
  1. Multiagent Coordination by Probabilistic Cellular Automata
    T. D. Barfoot and G. M. T. D`Eleuterio
  2. Identifying the Scope of Modeling for Time-Critical Multiagent Decision-Making
    Sanguk Noh and Piotr J. Gmytrasiewicz
Action
Room 607
  1. A Circumscriptive Formalization of the Qualification Problem
    G. Neelakantan Kartha
  2. Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas
    Patrick Doherty, Witold Lukaszewicz, and Andrzej Szalas
Cooperative Behavior
Room 608
  1. Rational Competitive Analysis
    Moshe Tennenholtz
  2. Learning Procedural Knowledge to Better Coordinate
    Andrew Garland and Rick Alterman
Constraint Satisfaction Problems
Room 609
  1. Refining the basic constraint propagation algorithm
    Christian Bessiere and Jean-Charles Regin
  2. Making AC-3 an Optimal Algorithm
    Yuanlin Zhang and Roland H.C. Yap
Probabilistic Learning
Room 611
  1. Active Learning for Structure in Bayesian Networks
    Simon Tong and Daphne Koller
  2. Probabilistic Clustering and Transduction in Relational Data
    Ben Taskar, Eran Segal, and Daphne Koller
Cognitive Modeling -- Diagramatic Reasoning
Room 612
  1. Formalizing Artistic Techniques and Scientific Visualization for Painted Renditions of Complex Information Spaces
    Christopher G. Healey
  2. 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 PM

Lunch

2:00 - 3:00 PM

Technical Paper Sessions:

Probabilistic Reasoning
Room 606
  1. Context-specific Sign-propagation in Qualitative Probabilistic Networks
    Silja Renooij, Simon Parsons, and Linda C. van der Gaag
  2. Max-norm Projections for Factored MDPs
    Carlos Guestrin, Daphne Koller, and Ronald Parr
Description Logics
Room 607
  1. Identification Constraints and Functional Dependencies in Description Logics
    Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
  2. High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study
    V. Haarslev and R. Moeller
Perception
Room 608
  1. Discriminating Animate from Inanimate Visual Stimuli
    Brian Scassellati
  2. 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
  1. Temporal Constraint Reasoning with Preferences
    Lina Khatib, Paul Morris, Robert Morris, and Francesca Rossi
  2. A Hybrid Approach for the 0-1 Multidimensionnal Knapsack Problem
    Michel Vasquez and Jin-Kao Hao
Case-based Reasoning
Room 611
  1. A Distributed Case-Based Query Rewriting
    Maurizio Panti, Luca Spalazzi, and Loris Penserini
  2. Using Case-Base Data to Learn Adaptation Knowledge for Design
    Jacek Jarmulak, Susan Craw, and Ray Rowe
Multi-Agent Systems
Room 612
  1. Bundle Design in Robust Combinatorial Auction Protocol against False-name Bids
    Makoto Yokoo, Yuko Sakurai, and Shigeo Matsubara
  2. 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 PM

Technical Paper Sessions:

Qualitative Reasoning for Biological Systems
Room 606
  1. Qualitative Simulation of Genetic Regulatory Networks: Method and Application
    Hidde de Jong, Michel Page, Celine Hernandez, and Johannes Geiselmann
  2. 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
  1. Incomplete Tree Search using Adaptive Probing
    Wheeler Ruml
  2. Heuristic Search in Infinite State Spaces Guided by Lyapunov Analysis
    Theodore J. Perkins and Andrew G. Barto
Perception
Room 608
  1. Multimodal Integration - A biological View
    Michael Coen
  2. 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
  1. The Exponentiated Subgradient Algorithm for Heuristic Boolean Programming
    Dale Schuurmans, Finnegan Southey, and Robert C. Holte
  2. A New Method for the Three Dimensional Container Packing Problem
    Andrew Lim and Wang Ying
Machine Learning and Data Mining
Room 611
  1. Adaptive Web Navigation for Wireless Devices
    Corin R. Anderson, Pedro Domingos, and Daniel S. Weld
  2. Using Text Classifiers for Numerical Classification
    Sofus Attila Macskassy, Haym Hirsh, Arunava Banerjee, and Aynur A. Dayanik
Multi-Agent Systems
Room 612
  1. Bidding Languages for Combinatorial Auctions
    Craig Boutilier and Holger H. Hoos
  2. 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 PM

Coffee Break

4:30 - 5:30 PM

Technical Paper Sessions:

Reinforcement Learning/Robotics
Room 606
  1. Multi-Agent systems by Incremental Gradient Reinforcement Learning
    Alain Dutech, Olivier Buffet, and Francois Charpillet
  2. Robot Weightlifting By Direct Policy Search
    Michael T. Rosenstein and Andrew G. Barto
Domain Analysis for Planning
Room 607
  1. One action is enough to plan
    Emmanuel Guéré and Rachid Alami
  2. Hybrid STAN: Identifying and Managing Combinatorial Optimisation Sub-problems in Planning
    Maria Fox and Derek Long
Machine Learning and Data Mining
Room 608
  1. Faster Association Rules for Multiple Relations
    J.N. Kok and S. Nijssen
  2. A Simple Feature Selection Method for Text Classification
    Pascal Soucy and Guy W. Mineau
Satisfiability
Room 609
  1. Balance and Filtering in Structured Satisfiable Problems
    Henry Kautz, Yongshao Ruan, Dimitri Achlioptas, Carla Gomes, Bart Selman, and Mark Stickel
  2. Efficient Consequence Finding
    Laurent Simon and Alvaro del Val
Probabilistic Reasoning
Room 611
  1. Knowledge Processing under Information Fidelity
    Wilhelm Rödder
  2. Constraints as Data: a New Perspective on Inferring Probabilities
    Manfred Jaeger
Multi-Agent Systems
Room 612
  1. Achieving Budget-Balance with Vickrey-Based Payment Schemes in Exchanges
    David C. Parkes, Jayant Kalagnanam, and Marta Eso
  2. 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

5:45 - 6:45 PM

IJCAI Research Excellence Lecture
Donald Michie, University of Edinburgh