AAAI-06 Schedule
Subject to change without notice
Sunday, July 16
- Registration
- Tutorial Forum
- Workshops
- AAAI/SIGART Doctoral Consortium
Monday, July 17
- Registration
- Tutorial Forum
- Workshops
- AAAI/SIGART Doctoral Consortium
- Opening Reception (evening)
Tuesday, July 18
- Registration
- AAAI-06 Keynote Address (morning) / IAAI-06 Invited Talks
- AAAI-06 and IAAI-06 Technical Program
- Games Competition
- Poker Competition
- Exhibits and Robots
Wednesday, July 19
- Registration
- AAAI-06 (morning) / IAAI-06 Invited Talks
- AAAI-06 and IAAI-06 Technical Program
- Games Competition
- Poker Competition
- Exhibits and Robots
- AAAI-06 Poster and Demo Reception (evening)
Thursday, July 20
- Registration
- AAAI-06 (morning) / IAAI-06 Invited Talks
- AAAI-06 and IAAI-06 Technical Program
- Games Competition
- Poker Competition
- Exhibits / Robot Workshop
Technical Program Schedule
Subject to change without notice
Monday, July 17
6:00 – 7:00 PM
AAAI-06 /IAAI-06 Opening Reception
Tuesday, July 18
8:30 – 9:00 AM
AAAI-06 Welcome and Opening Remarks / Paper Award Presentations
Yolanda Gil and Raymond Mooney, AAAI-06 Program Cochairs
IAAI-06 Welcome / Robert S. Engelmore Memorial Award / Deployed Application Award Announcements
Bruce Porter and William Cheetham, Chair and Cochair; David B. Leake, AI Magazine Editor-in-Chief
AAAI Special Award Presentations
Ron Brachman, Awards Committee Chair and Alan Mackworth, AAAI President
9:00 – 10:00 AM
AAAI-06 Keynote Address: AI and the Semantic Web
Tim Berners-Lee, World Wide Web Consortium
10:00 – 10:20 AM
Coffee Break
10:20 – 11:20 AM
Machine Learning I
Active Learning with Near Misses
Nela Gurevich, Shaul Markovitch, and Ehud Rivlin
Towards Chemical Universal Turing Machines
Stephen Muggleton
Activity-Centric Email: A Machine Learning Approach
Nicholas Kushmerick, Tessa Lau, Mark Dredze, and Rinat Khoussainov
Multi-Agent Systems I
Analysis of Privacy Loss in Distributed Constraint Optimization
Rachel Greenstadt, Jonathan P. Pearce, and Milind Tambe
A New Approach to Distributed Task Assignment using Lagrangian Decomposition and Distributed Constraint Satisfaction
Katsutoshi Hirayama
Algorithms for Rationalizability and CURB Sets
Michael Benisch, George Davis, and Tuomas Sandholm
Planning
Deconstructing Planning as Satisfiability
Henry Kautz
Factored Planning: How, When, and When Not
Ronen I. Brafman and Carmel Domshlak
A Modular Action Description Language
Vladimir Lifschitz and Wanwan Ren
Natural Language I
Corpus-based and Knowledge-based Measures of Text Semantic Similarity
Rada Mihalcea, Courtney Corley, and Carlo Strapparava
Learning Noun-Modifier Semantic Relations with Corpus-based and WordNet-based Features
Vivi Nastase, Jelber Sayyad-Shirabad, Marina Sokolova, and Stan Szpakowicz
Negation, Contrast and Contradiction in Text Processing
Sanda Harabagiu, Andrew Hickl, and Finley Lacatusu
Special Track on AI & the Web: Collaborative Filtering
Model-Based Collaborative Filtering as a Defense against Profile Injection Attacks
Bamshad Mobasher, Robin Burke, and JJ Sandvig
Bookmark Hierarchies and Collaborative Recommendation
Ben Markines, Lubomira Stoilova, and Filippo Menczer
Mixed Collaborative and Content-Based Filtering with User-Contributed Semantic Features
Matthew Garden and Gregory Dudek
IAAI-06: Knowledge-Based Systems
Case-Based Reasoning for General Electric Appliance Customer Support
William Cheetham
Heuristic Search and Information Visualization Methods for School Redistricting
Marie desJardins, Blazej Bulka, Ryan Carr, Andrew Hunt, Priyang Rathod, and Penny Rheingans
11:30 AM – 12:30 PM
Machine Learning II
An Efficient Algorithm for Local Distance Metric Learning
Liu Yang, Rong Jin, Rahul Sukthankar, and Yi Liu
Efficient L1 Regularized Logistic Regression
Su-In Lee, Honglak Lee, Pieter Abbeel, and Andrew Y. Ng
Knowledge Infusion
Leslie G. Valiant
Multi-Agent Systems II
Overlapping Coalition Formation for Efficient Data Fusion in Multi-Sensor Networks
Viet Dung Dang, Rajdeep K. Dash, Alex Rogers, and Nicholas R. Jennings
Multiparty Proactive Communication: A Perspective for Evolving Shared Mental Models
Kaivan Kamali, Xiaocong Fan, and John Yen
From Centralized to Distributed Selective Overhearing
Gery Gutnik and Gal A. Kaminka
Planning: Plan Recognition
Sensor-Based Understanding of Daily Life via Large-Scale Use of Common Sense
William Pentney, Ana-Maria Popescu, Shiaokai Wang, Henry Kautz, and Matthai Philipose
Fast Hierarchical Goal Schema Recognition
Nate Blaylock and James Allen
Reasoning about Partially Observed Actions
Megan Nance, Adam Vogel, and Eyal Amir
Natural Language II
Opinion Extraction and Summarization on the Web
Minqing Hu and Bing Liu
Proposing a New Term Weighting Scheme for Text Categorization
Man Lan, Chew-Lim Tan, and Hwee-Boon Low
Beyond Bags of Words: Modeling Implicit User Preferences in Information Retrieval
Donald Metzler and W. Bruce Croft
Special Track on AI & the Web: Trust & Security
Trust Representation and Aggregation in a Distributed Agent System
Yonghong Wang and Munindar P. Singh
Social Network-based Trust in Prioritized Default Logic
Yarden Katz and Jennifer Golbeck
Using Semantic Web Technologies for Policy Management on the Web
Lalana Kagal, Tim Berners-Lee, Dan Connolly, and Daniel Weitzner
IAAI-06: Data Mining
Predicting Electricity Distribution Feeder Failures Using Machine Learning Susceptibility Analysis
Philip Gross, Albert Boulanger, Marta Arias, David Waltz, Philip M. Long, Charles Lawson, Roger Anderson, Matthew Koenig, Mark Mastrocinque, William Fairechio, John A. Johnson, Serena Lee, Frank Doherty, and Arthur Kressner
A Sequential Covering Evolutionary Algorithm for Expressive Music Performance
Rafael Ramirez, Amaury Hazan, Jordi Mariner, and Esteban Maestre
12:30 – 1:50 PM
Lunch Break
1:50 – 2:50 PM
Machine Learning: Case-Based Reasoning and Analogy
Progress in Textual Case-Based Reasoning: Predicting the Outcome of Legal Cases from Text
Stefanie Brüninghaus and Kevin D. Ashley
Optimizing Similarity Assessment in Case-Based Reasoning
Armin Stahl and Thomas Gabel
Strategy Variations in Analogical Problem Solving
Tom Y. Ouyang and Kenneth D. Forbus
Human Computer Interaction & Cognitive Modeling: Life-Like Characters & Music
Using Anticipation to Create Believable Behaviour
Carlos Martinho and Ana Paiva
Virtual Humans
William R. Swartout
TempoExpress: An Expressivity-Preserving Musical Tempo Transformation System
Maarten Grachten, Josep-Lluís Arcos, and Ramon López de Mántaras
Planning: Robust Planning
Contingent Planning with Goal Preferences
Dmitry Shaparau, Marco Pistore, and Paolo Traverso
Exploration of the Robustness of Plans
Maria Fox, Richard Howey, and Derek Long
Robust Execution on Contingent, Temporally Flexible Plans
Stephen A. Block, Andreas F. Wehowsky, and Brian C. Williams
Natural Language III
Machine Reading
Oren Etzioni, Michele Banko, and Michael J. Cafarella
A Look at Parsing and Its Applications
Matthew Lease, Eugene Charniak, Mark Johnson, and David McClosky
Societal Grounding Is Essential to Meaningful Language Use
David DeVault, Iris Oved, and Matthew Stone
Special Track on AI & the Web: Ontologies
OntoSearch: A Full-Text Search Engine for the Semantic Web
Xing Jiang and Ah-Hwee Tan
Towards Modeling Threaded Discussions using Induced Ontology Knowledge
Donghui Feng, Jihie Kim, Erin Shaw, and Eduard Hovy
Inexact Matching of Ontology Graphs Using Expectation-Maximization
Prashant Doshi and Christopher Thomas
IAAI-06 Invited Talk
Winning the DARPA Grand Challenge
Sebastian Thrun, Stanford University
3:00 – 4:00 PM
Machine Learning: Decision Trees & Association Rules
Minimum Description Length Principle: Generators Are Preferable to Closed Patterns
Jinyan Li, Haiquan Li, Limsoon Wong, Jian Pei, and Guozhu Dong
When a Decision Tree Learner Has Plenty of Time
Saher Esmeir and Shaul Markovitch
Anytime Induction of Decision Trees: An Iterative Improvement Approach
Saher Esmeir and Shaul Markovitch
Human Computer Interaction & Cognitive Modeling: Intelligent User Interfaces
Evaluating Preference-based Search Tools: A Tale of Two Approaches
Paolo Viappiani, Boi Faltings, and Pearl Pu
Extracting Knowledge about Users’ Activities from Raw Workstation Contents
Tom M. Mitchell, Sophie H. Wang, Yifen Huang, and Adam Cheyer
Lessons on Applying Automated Recommender Systems to Information-Seeking Tasks
Joseph A. Konstan, Sean M. McNee, Cai-Nicolas Ziegler, Roberto Torres, Nishikant Kapoor, and John T. Riedl
Planning under Uncertainty
Compiling Uncertainty Away: Solving Conformant Planning Problems using a Classical Planner (Sometimes)
Héctor Palacios and Héctor Geffner
Probabilistic Temporal Planning with Uncertain Durations
Mausam and Daniel S. Weld
PPCP: Efficient Probabilistic Planning with Clear Preferences in Partially-Known Environments
Maxim Likhachev and Anthony Stentz
Knowledge-Based Systems
Merging Stratified Knowledge Bases under Constraints
Guilin Qi, Weiru Liu, and David A. Bell
Large Scale Knowledge Base Systems: An Empirical Evaluation Perspective
Yuanbo Guo, Abir Qasem, and Jeff Heflin
A Unified Knowledge Based Approach for Sense Disambiguation and Semantic Role Labeling
Peter Z. Yeh, Bruce Porter, and Ken Barker
Special Track on AI & the Web: Using the Web as a Knowledge Source
Overcoming the Brittleness Bottleneck using Wikipedia: Enhancing Text Categorization with Encyclopedic Knowledge
Evgeniy Gabrilovich and Shaul Markovitch
WikiRelate! Computing Semantic Relatedness Using Wikipedia
Michael Strube and Simone Paolo Ponzetto
Organizing and Searching the World Wide Web of Facts – Step One: The One-Million Fact Extraction Challenge
Marius Pasca, Dekang Lin, Jeffrey Bigham, Andrei Lifchits, and Alpa Jain
IAAI-06: Biomedical Applications 1
Visual Explanation of Evidence with Additive Classifiers
Brett Poulin, Roman Eisner, Duane Szafron, Paul Lu, Russ Greiner, D. S. Wishart, Alona Fyshe, Brandon Pearcy, Cam MacDowell, and John Anvik
MedEthEx: A Prototype Medical Ethics Advisor
Michael Anderson, Susan Leigh Anderson, and Chris Armen
4:00 – 4:20 PM
Coffee Break
4:20 – 5:20 PM
Machine Learning: Dimensionality Reduction
Tensor Embedding Methods
Guang Dai and Dit-Yan Yeung
Embedding Heterogeneous Data Using Statistical Models
Amir Globerson, Gal Chechik, Fernando Pereira, and Naftali Tishby
An Introduction to Nonlinear Dimensionality Reduction by Maximum Variance Unfolding
Kilian Q. Weinberger and Lawrence K. Saul
Model-Based Systems
A Causal Analysis Method for Concurrent Hybrid Automata
Michael W. Hofbaur and Franz Wotawa
Approximate Compilation for Embedded Model-based Reasoning
Barry O'Sullivan and Gregory M. Provan
A Two-Step Hierarchical Algorithm for Model-Based Diagnosis
Alexander Feldman and Arjan van Gemund
Perception & Cognition
Self-Supervised Acquisition of Vowels in American English
Michael H. Coen
Multimodal Cognitive Architecture: Making Perception More Central to Intelligent Behavior
B. Chandrasekaran
Laughing with HAHAcronym, a Computational Humor System
Oliviero Stock and Carlo Strapparava
Information Integration
Compilation of Query-Rewriting Problems into Tractable Fragments of Propositional Logic
Yolifé Arvelo, Blai Bonet, and María Esther Vidal
Supporting Queries with Imprecise Constraints
Ullas Nambiar and Subbarao Kambhampati
Classification Spanning Private Databases
Ke Wang, Yabo Xu, Rong She, and Philip S. Yu
Special Track on AI & the Web: Information Extraction
Table Extraction Using Spatial Reasoning on the CSS2 Visual Box Model
Wolfgang Gatterbauer and Paul Bohunsky
Mining Comparative Sentences and Relations
Nitin Jindal and Bing Liu
Overview of AutoFeed: An Unsupervised Learning System for Generating Webfeeds
Bora Gazen and Steven Minton
IAAI-06: Software Agents
Building Explainable Artificial Intelligence Systems
Mark G. Core, H. Chad Lane, Michael van Lent, Dave Gomboc, Steve Solomon, and Milton Rosenberg
Local Negotiation in Cellular Networks: From Theory to Practice
Raz Lin, Daphna Dor-Shifer, Sarit Kraus, and David Sarne
5:30 – 6:30 PM
AAAI Fellows 50th Anniversary Panel
Wednesday, July 19
9:00 – 10:00 AM
AAAI Invited Talk Session
Developing an Intelligent Personal Assistant: The CALO Project
Karen Myers, SRI International
Global Inference and Learning: Towards Natural Language Understanding
Dan Roth, University of Illinois at Urbana-Champaign
10:00 – 10:20 AM
Coffee Break
10:20 – 11:20 AM
Machine Learning: Reinforcement Learning I
Mixtures of Predictive Linear Gaussian Models for Nonlinear, Stochastic Dynamical Systems
David Wingate and Satinder Singh
Representing Systems with Hidden State
Christopher Hundt, Prakash Panagaden, Joelle Pineau, and Doina Precup
Decision Tree Methods for Finding Reusable MDP Homomorphisms
Alicia Peregrin Wolfe and Andrew G. Barto
Knowledge Representation I
Towards an Axiom System for Default Logic
Gerhard Lakemeyer and Hector J. Levesque
Forgetting and Conflict Resolving in Disjunctive Logic Programming
Thomas Eiter and Kewen Wang
Finding Maximally Satisfiable Terminologies for the Description Logic ALC
Thomas Meyer, Kevin Lee, Richard Booth, and Jeff Z. Pan
Search: Games I
Overconfidence or Paranoia? Search in Imperfect-Information Games
Austin Parker, Dana Nau, and VS Subrahmanian
Properties of Forward Pruning in Game-Tree Search
Yew Jin Lim and Wee Sun Lee
RankCut — A Domain Independent Forward Pruning Method for Games
Yew Jin Lim and Wee Sun Lee
Constraint Satisfaction I
Temporal Preference Optimization as Weighted Constraint Satisfaction
Michael D. Moffitt and Martha E. Pollack
Simple Randomized Algorithms for Tractable Row and Tree Convex Constraints
T. K. Satish Kumar
Length-Lex Ordering for Set CSPs
Carmen Gervet and Pascal van Hentenryck
Special Track on AI & the Web: Information Retrieval
Minimally Invasive Randomization fro Collecting Unbiased Preferences from Clickthrough Logs
Filip Radlinski and Thorsten Joachims
Predicting Task-Specific Webpages for Revisiting
Arwen Twinkle Lettkeman, Simone Stumpf, Jed Irvine, and Jonathan Herlocker
Improve Web Search Using Image Snippets
Xiao-Bing Xue, Zhi-Hua Zhou, and Zhongfei (Mark) Zhang
IAAI-06 Invited Talk
Electrifying Knowledge Work: Innovative Applications of Artificial Intelligence 1989-2006
Neil Jacobstein, Teknowledge Corporation
11:30 AM – 12:30 PM
Machine Learning: Reinforcement Learning II
Optimal Unbiased Estimators for Evaluating Agent Performance
Martin Zinkevich, Michael Bowling, Nolan Bard, Morgan Kan, and Darse Billings
Real-Time Evolution of Neural Networks in the NERO Video Game
Kenneth O. Stanley, Bobby D. Bryant, Igor Karpov, and Risto Miikkulainen
Sample-Efficient Evolutionary Function Approximation for Reinforcement Learning
Shimon Whiteson and Peter Stone
Knowledge Representation II
Explaining Qualitative Decision under Uncertainty by Argumentation
Leila Amgoud and Henri Prade
On the Complexity of Linking Deductive and Abstract Argument Systems
Michael Wooldridge, Paul E. Dunne, and Simon Parsons
Model-Checking Memory Requirements of Resource-Bounded Reasoners
Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, and Luciano Serafini
Search: Games II
Prob-Maxn: Playing N-Player Games with Opponent Models
Nathan Sturtevant, Martin Zinkevich, and Michael Bowling
On Strictly Competitive Multi-Player Games
Felix Brandt, Felix Fischer, and Yoav Shoham
A Polynomial-Time Algorithm for Action Graph Games
Albert Xin Jiang and Kevin Leyton-Brown
Constraint Satisfaction II
Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP
Simon de Givry, Thomas Schiex, and Gérard Verfaillie
Weighted Constraint Satisfaction with Set Variables
J. H. M. Lee and C. F. K. Siu
An Efficient Way of Breaking Value Symmetries
Jean-François Puget
Special Track on AI & the Web: Information Interaction
Using Semantics to Identify Web Objects
Nathanael Chambers, James Allen, Lucian Galescu, Hyuckchul Jung, and William Taysom
Automatically Labeling the Inputs and Outputs of Web Services
Kristina Lerman, Anon Plangprasopchok, and Craig A. Knoblock
Spinning Multiple Social Networks for Semantic Web
Yutaka Matsuo, Masahiro Hamasaki, Yoshiyuki Nakamura, Takuichi Nishimura, Kôiti Hasida, Hideaki Takeda, Junichiro Mori, Danushka Bollegala, and Mitsuru Ishizuka
IAAI-06: Biomedical Applications 2
CM-Extractor: An Application for Automating Medical Quality Measures Abstraction in a Hospital Setting
Mark L. Morsch, Joel L. Vengco, Ronald E. Sheffer, Jr., and Daniel T. Heinze
Monitoring Food Safety by Detecting Patterns in Consumer Complaints
Artur Dubrawski, Kimberly Elenberg, Andrew Moore, and Maheshkumar Sabhnani
12:30 – 1:50 PM
Lunch Break
1:50 – 2:50 PM
Machine Learning: Transfer Learning
Cross-Domain Knowledge Transfer Using Structured Representations
Samarth Swarup and Sylvian R. Ray
Using Homomorphisms to Transfer Options across Continuous Reinforcement Learning Domains
Vishal Soni and Satinder Singh
Value-Function-Based Transfer for Reinforcement Learning Using Structure Mapping
Yaxin Liu and Peter Stone
Game Theory I
Methods for Empirical Game-Theoretic Analysis
Michael P. Wellman
Impersonation-Based Mechanisms
Moshe Babaioff, Ron Lavi, and Elan Pavlov
Strong Mediated Equilibrium
Dov Monderer and Moshe Tennenholtz
Search: Games & Applications
An Efficient Algorithm for Scatter Chart Labeling
Sebastian Theophil and Arno Schödl
Monte Carlo Go Has a Way to Go
Haruhiro Yoshimoto, Kazuki Yoshizoe, Tomoyuki Kaneko, Akihiro Kishimoto, and Kenjiro Taura
A Competitive Texas Hold'em Poker Player via Automated Abstraction and Real-Time Equilibrium Computation
Andrew Gilpin and Tuomas Sandholm
Markov Decision Processes
Compact, Convex Upper Bound Iteration for Approximate POMDP Planning
Tao Wang, Pascal Poupart, Michael Bowling, and Dale Schuurmans
Point-based Dynamic Programming for DEC-POMDPs
Daniel Szer and François Charpillet
On the Difficulty of Achieving Equilibrium in Interactive POMDPs
Prashant Doshi and Piotr J. Gmytrasiewicz
Special Track on Integrated Intelligent Capabilities: Agent Architectures
A Unified Cognitive Architecture for Physical Agents
Pat Langley and Dongkyu Choi
TacTex-05: A Champion Supply Chain Management Agent
David Pardoe and Peter Stone
QUICR-Learning for Multi-Agent Coordination
Adrian K. Agogino and Kagan Tumer
IAAI-06: Constraint-Based Systems
Constraint-Based Random Stimuli Generation for Hardware Verification
Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, and Gil Shurek
AWDRAT: A Cognitive Middleware System for Information Survivability
Howard Shrobe, Robert Laddaga, Bob Balzer, Neil Goldman, Dave Wile, Marcelo Tallis, Tim Hollebeek, and Alexander Egyed
3:00 – 4:00 PM
Machine Learning: SVM Learning & Kernels
A Simple and Effective Method for Incorporating Advice into Kernel Methods
Richard Maclin, Jude Shavlik, Trevor Walker, and Lisa Torrey
Robust Support Vector Machine Training via Convex Outlier Ablation
Linli Xu, Koby Crammer, and Dale Schuurmans
kFOIL: Learning Simple Relational Kernels
Niels Landwehr, Andrea Passerini, Luc De Raedt, and Paolo Frasconi
Game Theory II
Nonexistence of Voting Rules That Are Usually Hard to Manipulate
Vincent Conitzer and Tuomas Sandholm
Robust Mechanisms for Information Elicitation
Aviv Zohar and Jeffrey S. Rosenschein
The Complexity of Bribery in Elections
Piotr Faliszewski, Edith Hemaspaandra, and Lane A. Hemaspaandra
Search I
Estimating Search Tree Size
Philip Kilby, John Slaney, Sylvie Thiébaux, and Toby Walsh
Planning with First-Order Temporally Extended Goals using Heuristic Search
Jorge A. Baier and Sheila A. McIlraith
Dual Search in Permutation State Spaces
Uzi Zahavi, Ariel Felner, Robert Holte, and Jonathan Schaeffer
Constraint Satisfaction III
Constraints: The Ties that Bind
Eugene C. Freuder
Local-Search techniques for Boolean Combinations of Pseudo-Boolean Constraints
Lengning Liu and Miroslaw Truszczynski
A Quadratic Propagator for the Inter-Distance Constraint
Claude-Guy Quimper, Alejandro López-Ortiz, and Gilles Pesant
Special Track on Integrated Intelligent Capabilities: Integrated Natural Language Processing
Deeper Natural Language Processing for Evaluating Student Answers in Intelligent Tutoring Systems
Vasile Rus and Art C. Graesser
Walk the Talk: Connecting Language, Knowledge, and Action in Route Instructions
Matt MacMahon, Brian Stankiewicz, and Benjamin Kuipers
Integrating Joint Intention Theory, Belief Reasoning, and Communicative Action for Generating Team-Oriented Dialogue
Rajah Annamalai Subramanian, Sanjeev Kumar, and Philip Cohen
IAAI-06: Knowledge-Based Systems 2
Machine Translation for Manufacturing: A Case Study at Ford Motor Company
Nestor Rychtyckyj
Ontology Based Semantic Modeling for Chinese Ancient Architectures
Yong Liu, Congfu Xu, Qiong Zhang, and Yunhe Pan
4:00 – 4:20 PM
Coffee Break
4:20 – 5:20 PM
Machine Learning: Unsupervised & Semi-Supervised Learning
Clustering by Exceptions
Fabrizio Angiulli
Learning Systems of Concepts with an Infinite Relational Model
Charles Kemp, Joshua B. Tenenbaum, Thomas L. Griffiths, Takeshi Yamada, and Naonori Ueda
Semi-supervised Multi-label Learning by Constrained Non-negative Matrix Factorization
Yi Liu, Rong Jin, and Liu Yang
Game Theory III
A Computational Model of Logic-Based Negotiation
Dongmo Zhang and Yan Zhang
Regret-based Incremental Partial Revelation Mechanisms
Nathanaël Hyafil and Craig Boutilier
Handling Self-Interest in Groups, with Minimal Cost
Ruggiero Cavallo
Search II
DD* Lite: Efficient Incremental Search with State Dominance
G. Ayorkor Mills-Tettey, Anthony Stentz, and M. Bernardine Dias
Domain-Independent Structured Duplicate Detection
Rong Zhou and Eric A. Hansen
A Breadth-First Approach to Memory-Efficient Graph Search
Rong Zhou and Eric A. Hansen
Constraint Satisfaction IV
Improved Bounds for Computing Kemeny Rankings
Vincent Conitzer, Andrew Davenport, and Jayant Kalagnanam
The Impact of Balancing on Problem Hardness in a Highly Structured Domain
Carlos Ansótegui, Ramón Béjar, César Fernàndez, Carla Gomes, and Carles Mateu
A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration
Tarik Hadzic and Henrik Reif Andersen
Special Track on Integrated Intelligent Capabilities: Human-Robot Interaction
Perspective Taking: An Organizing Principle for Learning in Human-Robot Interaction
Matt Berlin, Jesse Gray, Andrea L. Thomaz, and Cynthia Breazeal
Intuitive linguistic Joint Object Reference in Human-Robot Interaction: Human Spatial Reference Systems and Function-Based Categorization for Symbol Grounding
Reinhard Moratz
Know Thine Enemy: A Champion RoboCup Coach Agent
Gregory Kuhlmann, William B. Knox, and Peter Stone
IAAI-06: Robert S. Engelmore Memorial Lecture
What Do We Know About Knowledge?
Bruce G. Buchanan, University Professor of Computer Science Emeritus, University of Pittsburgh
5:30 – 9:30 PM
AAAI-06 Technical Poster / Intelligent Systems Demo Session
Thursday, July 20
9:00 – 10:00 AM
Invited Talk Session
Unifying Logical and Statistical AI
Pedro Domingos, University of Washington
Cognitive Tutors and Opportunities for Convergence of Human and Machine Learning Theory
Ken Koedinger, Carnegie Mellon University
10:00 – 10:20 AM
Coffee Break
10:20 – 11:20 AM
Machine Learning: Statistical Relational Learning
Sound and Efficient Inference with Probabilistic and Deterministic Dependencies
Hoifung Poon and Pedro Domingos
Memory-Efficient Inference in Relational Domains
Parag Singla and Pedro Domingos
Identification and Evaluation of Weak Community Structures in Networks
Jianhua Ruan and Weixiong Zhang
Logic Programming
Elementary Sets of Logic Programs
Martin Gebser, Joohyung Lee, and Yuliya Lierler
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms
Tran Cao Son, Enrico Pontelli, and Phan Huy Tu
Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning
Georg Gottlob, Reinhard Pichler, and Fang Wei
Temporal Reasoning
Optimal Scheduling of Contract Algorithms for Anytime Problems
Alejandro López-Ortiz, Spyros Angelopoulos, and Angèle M. Hamel
Tractable Classes of Metric Temporal Problems with Domain Rules
T. K. Satish Kumar
Learning Partially Observable Action Schemas
Dafna Shahaf and Eyal Amir
Robotics I
Integrated AI in Space: The Autonomous Sciencecraft on Earth Observing One
Steve Chien
Exploiting Spatial and Temporal Flexibility for Plan Execution for Hybrid, Under-actuated Robots
Andreas G. Hofmann and Brian C. Williams
A Manifold Regularization Approach to Calibration Reduction for Sensor-Network Based Tracking
Jeffrey Junfeng Pan, Qiang Yang, Hong Chang, and Dit-Yan Yeung
Game Playing and Hall of Champions
Automatic Heuristic Construction in a Complete General Game Player
Gregory Kuhlmann and Peter Stone
Winning the DARPA Grand Challenge with an AI Robot
Michael Montemerlo, Sebastian Thrun, Hendrik Dahlkamp, David Stavens, and Sven Strohband
Running the Table: An AI for Computer Billiards
Michael Smith
IAAI-06: Knowledge-Based Agents
Multiagent Coalition Formation for Computer-Supported Cooperative Learning
Leen-Kiat Soh, Nobel Khandaker, and Hong Jiang
Design and Implementation of the CALO Query Manager
Jose-Luis Ambite, Vinay K. Chaudhri, Richard Fikes, Jessica Jenkins, Sunil Mishra, Maria Muslea, Tomas Uribe, and Guizhen Yang
11:30 AM – 12:30 PM
Machine Learning: Evolutionary Computation
A New Approach to Estimating the Expected First Hitting Time of Evolutionary Algorithms
Yang Yu and Zhi-Hua Zhou
Conflict Resolution and a Framework for Collaborative Interactive Evolution
Sean R. Szumlanski, Annie S. Wu, and Charles E. Hughes
A Direct Evolutionary Feature Extraction Algorithm for Classifying High Dimensional Data
Qijun Zhao, David Zhang, and Hongtao Lu
UAI: Decision Theory
Efficient Active Fusion for Decision-Making via VOI Approximation
Wenhui Liao and Qiang Ji
CUI Networks: A Graphical Representation for Conditional Utility Independence
Yagil Engel and Michael P. Wellman
Preference Elicitation and Generalized Additive Utility
Darius Braziunas and Craig Boutilier
Satisfiability I
On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae
Hélène Fargier and Pierre Marquis
Model Counting: A New Strategy for Obtaining Good Bounds
Carla P. Gomes, Ashish Sabharwal, and Bart Selman
Acquiring Constraint Networks Using a SAT-based Version Space Algorithm
Christian Bessiere, Remi Coletta, Frédéric Koriche, and Barry O'Sullivan
Robotics II
Bayesian Calibration for Monte Carlo Localization
Armita Kaboli, Michael Bowling, and Petr Musilek
Nectar: Subjective Mapping
Michael Bowling, Dana Wilkinson, and Ali Ghodsi
Efficient Triangulation-Based Pathfinding
Douglas Demyen and Michael Buro
Human-Computer Interaction & Cognitive Modeling: Intelligent Tutoring Systems
Classifying Learner Engagement through Integration of Multiple Data Sources
Carole R. Beal, Lei Qu, and Hyokyeong Lee
A Dynamic Mixture Model to Detect Student Motivation and Proficiency
Jeff Johns and Beverly Woolf
Probabilistic Goal Recognition in Interactive Narrative Environments
Bradford Mott, Sunyoung Lee, and James Lester
IAAI-06: Constraint-Based Reasoning
Expressive Commerce and Its Application to Sourcing
Tuomas Sandholm
12:30 – 1:50 PM
Lunch Break
1:50 – 2:50 PM
Machine Learning: Ensemble Learning
On Combining Multiple Classifiers Using an Evidential Approach
Yaxin Bi, Sally McClean, and Terry Anderson
Boosting Expert Ensembles for Rapid Concept Recall
Achim Rettinger, Martin Zinkevich, and Michael Bowling
Gradient Boosting for Sequence Alignment
Charles Parker, Alan Fern, and Prasad Tadepalli
UAI: Probabilistic Inference
MPE and Partial Inversion in Lifted Probabilistic Variable Elimination
Rodrigo de Salvo Braz, Eyal Amir, and Dan Roth
Solving MAP Exactly by Searching on Compiled Arithmetic Circuits
Jinbo Huang, Mark Chavira, and Adnan Darwiche
An Edge Deletion Semantics for Belief Propagation and its Practical Impact on Approximation Quality
Arthur Choi and Adnan Darwiche
Satisfiability II
New Inference Rules for Efficient Max-SAT Solving
Federico Heras and Javier Larrosa
Efficient Haplotype Inference with Boolean Satisfiability
Inês Lynce and João Marques-Silva
Fast SAT-based Answer Set Solver
Zhijun Lin, Yuanlin Zhang, and Hector Hernandez
Robotics III
From the Programmer's Apprentice to Human-Robot Interaction: Thirty Years of Research on Human-Computer Collaboration
Charles Rich and Candace L. Sidner
Reinforcement Learning with Human Teachers: Evidence of Feedback and Guidance with Implications for Learning Performance
Andrea L. Thomaz and Cynthia Breazeal
Diagnosis of Multi-Robot Coordination Failures Using Distributed CSP Algorithms
Meir Kalech, Gal A. Kaminka, Amnon Meisels, and Yehuda Elmaliach
Human-Computer Interaction & Cognitive Modeling: Cognitive Modeling
Modeling Human Decision Making in Cliff-Edge Environments
Ron Katz and Sarit Kraus
From Pigeons to Humans: Grounding Relational Learning in Concrete Examples
Marc T. Tomlinson and Bradley C. Love
Nectar: AI Support for Building Cognitive Models
Robert St. Amant, Sean P. McBride, and Frank E. Ritter
IAAI-06: Personalization Technologies
CPM: Context-Aware Power Management in WLANs
Fahd Albinali and Chris Gniady
Trip Router with Individualized Preferences (TRIP): Incorporating Personalization into Route Planning
Julia Letchner, John Krumm, and Eric Horvitz
3:00 – 4:00 PM
AI & the Turing Test
Turing's Dream and the Knowledge Challenge
Lenhart Schubert
Does the Turing Test Demonstrate Intelligence or Not?
Stuart M. Shieber
UAI: Bayesian Networks
Identifiability in Causal Bayesian Networks: A Sound and Complete Algorithm
Yimin Huang and Marco Valtorta
Identification of Joint Interventional Distributions in Recursive Semi-Markovian Causal Models
Ilya Shpitser and Judea Pearl
A Bayesian Network for Outbreak Detection and Prediction
Xia Jiang and Garrick L. Wallstrom
Satisfiability III
Abstract Branching for Quantified Formulas
Marco Benedetti
Solving QBF by Combining Conjunctive and Disjunctive Normal Forms
Lintao Zhang
DNNF-based Belief State Estimation
Paul Elliott and Brian Williams
Computer Vision
Object Boundary Detection in Images using a Semantic Ontology
Anthony Hoogs and Roderic Collins
Motion-Based Autonomous Grounding: Inferring External World Properties from Encoded Internal Sensory States Alone
Yoonsuck Choe and Noah H. Smith
Nectar: The Role of Context in Head Gesture Recognition
Louis-Philippe Morency, Candace Sidner, Christopher Lee, and Trevor Darrell
Competitions at AAAI
General Game Playing Competition
Michael Genesereth
Mobile Robot Competition
Paul Rybski and Jeffrey Forbes
Poker Competition
IAAI-06: Knowledge-Based Systems 3
TPBOSCourier: A Transportation Procurement System (for the Procurement of Courier Services)
Andrew Lim, Zhou Xu, Brenda Cheang, Ho Wee Kit, and Steve Au-yeung
Hand Grip Pattern Recognition for Mobile User Interfaces
Kee-Eung Kim, Wook Chang, Sung-Jung Cho, Junghyun Shim, Hyunjeong Lee, Joonah Park, Youngbeom Lee, and Sangryoung Kim