AAAI-07: Program and Schedule

  • About Us
  • Gifts
  • AITopics
  • AI Magazine
  • Conferences
  • Library
  • Membership
  • Publications
  • Symposia
  • Contact

Program Contents

Information contained herein is subject to change without notice.

A PDF version of the program that will be distributed at AAAI-07 is available for printing.

Acknowledgments
AI Video Competition
Awards
Computer Poker Competition
Conference at a Glance
Doctoral Consortium
Exhibition
General Game Playing Competition
General Information
Intelligent Systems Demonstrations
Invited Talks
Man vs. Machine Poker Challenge
Posters
Registration
Robot Competition and Exhibition
Social Events
Special Meetings
Sponsoring Organizations
Technical Program
Trading Agents Competition
Tutorial Forum
Workshop Program

AAAI-07 / IAAI-07 Conference at a Glance

Sunday, July 22

  • Registration
  • Tutorial Forum
  • Workshops
  • AAAI/SIGART DC
  • Game Playing Competition

Monday, July 23

  • Registration
  • Opening Reception
  • AAAI Business Meeting
  • Video Competition
  • Tutorial Forum
  • Man Versus Machine Poker Challenge
  • Workshops
  • AAAI/SIGART DC
  • Game Playing Competition

Tuesday, July 24

  • Registration
  • AAAI-07 Presidential Address and IAAI-07 Invited Talks
  • AAAI-07 and IAAI-07 Technical Program
  • Exhibits and Robots
  • Poker Competition
  • Man Versus Machine Exhibition
  • Trading Agent Competition

Wednesday, July 25

  • Registration
  • Posters/Demo Reception
  • AAAI-07 and IAAI-07 Invited Talks
  • AAAI-07 and IAAI-07 Technical Program
  • Exhibits and Robots
  • Poker Tournament
  • Man Versus Machine Exhibition
  • Trading Agent Competition

Thursday, July 26

  • Registration
  • AAAI-07 and IAAI-07 Invited Talks
  • AAAI-07 and IAAI-07 Technical Program
  • Exhibits and Robots
  • Poker Competition
  • Man Versus Machine Exhibition

AAAI-07 / IAAI-07 Technical Program Schedule

Monday, July 23

6:00–7:00 pm

AAAI-07 Opening Reception

 

Tuesday, July 24

8:30–9:00 am

AAAI-07/IAAI-07 Opening Ceremony

 

Welcome and Opening Remarks

Outstanding Award Presentations — Papers, SPC Member, PC Member
Robert C. Holte and Adele Howe, AAAI-07 Program Cochairs
Regency Ballroom

IAAI Welcome, Robert S. Engelmore Award, Deployed Application Award Announcements
William Cheetham, IAAI-07 Conference Chair, Mehmet Goker, IAAI-07 Program Cochair, and David Leake, AI Magazine Editor-in-Chief
Regency Ballroom

IJCAI-JAIR Best Paper Prize
Toby Walsh, Editor-in-Chief of the Journal of Artificial Intelligence Research (JAIR)
Regency Ballroom

AAAI Classic Paper and Distinguished Service Awards
Ronald J. Brachman, AAAI Past President and Awards Committee Chair
Alan Mackworth, AAAI President

Regency Ballroom

9:00–10:00 am

AAAI Presidential Address

Agents, Bodies, Constraints and Dynamics
Alan Mackworth (University of British Columbia)
Regency Ballroom

10:20–11:20 am

AI and the Web: Semantic Web

Session Chair: Thomas Lukasiewicz
Regency A

Towards Large Scale Argumentation Support on the Semantic Web
Iyad Rahwan, Fouad Zablith, Chris Reed

Making the Difference in Semantic Web Service Composition
Freddy Lécue, Alexandre Delteil

Partial Matchmaking using Approximate Subsumption
Heiner Stuckenschmidt

Constraint Reasoning-1

Session Chair: Toby Walsh
Regency C

Learning to Solve QBF
Horst Samulowitz, Roland Memisevic

Combining Multiple Heuristics Online
Matthew Streeter, Daniel Golovin, Stephen F. Smith

Restart Schedules for Ensembles of Problem Instances
Matthew Streeter, Daniel Golovin, Stephen F. Smith

Knowledge Representation and Reasoning

Session Chair: Jim Delgrande
Regency F

A Temporal Mereology for Distinguishing between Integral Objects and Portions of Stuff
Thomas Bittner, Maureen Donnelly

Forgetting Actions in Domain Descriptions
Esra Erdem, Paolo Ferraris

A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints
Yi-Dong Shen, Jia-Huai You

Unsupervised Learning-1

Session Chair: Kagan Tumer
Georgia A

A Meta-learning Approach for Selecting between Response Automation Strategies in a Help-desk Domain
Yuval Marom, Ingrid Zukerman, Nathalie Japkowicz

Nectar: Manifold Denoising as Preprocessing for Finding Natural Representations of Data
Matthias Hein, Markus Maier

COD: Online Temporal Clustering for Outbreak Detection
Tomás Singliar, Denver H. Dash

Multiagent Systems

Session Chair: Shlomo Zilberstein
Regency D

A Multi-Dimensional Trust Model for Heterogeneous Contract Observations
Steven Reece, Stephen Roberts, Alex Rogers, Nicholas R. Jennings

Improved State Estimation in Multiagent Settings with Continuous or Large Discrete State Spaces
Prashant Doshi

An α-approximation Protocol for the Generalized Mutual Assignment Problem
Katsutoshi Hirayama

POMDPs

Session Chair: Sridhar Mahadevan
Georgia B

Indefinite-Horizon POMDPs with Action-Based Termination
Eric A. Hansen

Scaling Up: Solving POMDPs through Value Based Clustering
Yan Virin, Guy Shani, Solomon Eyal Shimony, Ronen Brafman

Point-Based Policy Iteration
Shihao Ji, Ronald Parr, Hui Li, Xuejun Liao, Lawrence Carin

Human Studies

Session Chair: Brian Scassellati
Regency E

Humans Perform Semi-Supervised Classification Too
Xiaojin Zhu, Timothy Rogers, Ruichen Qian, Chuck Kalish

Modeling Reciprocal Behavior in Human Bilateral Negotiation
Ya'akov Gal, Avi Pfeffer

Nectar: Using Eye-Tracking Data for High-Level User Modeling in Adaptive Interfaces
Cristina Conati, Christina Merten, Saleema Amershi, Kasia Muldner

Machine Learning (IAAI)

Session Chair: Samy Uthurusamy
Regency B

Emerging: Stochastic Optimization for Collision Selection in High Energy Physics
Shimon Whiteson, Daniel Whiteson

Emerging: Adaptive Timeout Policies for Fast Fine-Grained Power Management
Branislav Kveton, Prashant Gandhi, Georgios Theocharous, Shie Mannor, Barbara Rosario, Nilesh Shah

11:30 am–12:30 pm

AI and the Web: Wikipedia

Session Chair: James Fan
Regency A

Deriving a Large-Scale Taxonomy from Wikipedia
Simone Paolo Ponzetto, Michael Strube

Relation Extraction from Wikipedia Using Subtree Mining
Dat P. T. Nguyen, Yutaka Matsuo, Mitsuru Ishizuka

Finding Related Pages Using Green Measures: An Illustration with Wikipedia
Yann Ollivier, Pierre Senellart

Consistency and Resolution

Session Chair: Willem-Jan van Hoeve
Regency C

Data Structures for Generalised Arc Consistency for Extensional Constraints
Ian P. Gent, Chris Jefferson, Ian Miguel, Peter Nightingale

Conservative Dual Consistency
Christophe Lecoutre, Stéphane Cardon, Julien Vion

Nectar: Refutation by Randomised General Resolution
Steven Prestwich, Inês Lynce

Fundamental Algorithms

Session Chair: Ashish Sabharwal
Regency F

Computational Aspects of Covering in Dominance Graphs
Felix Brandt, Felix Fischer

Graph Partitioning Based on Link Distributions
Bo Long, Mark (Zhongfei) Zhang, Philip S. Yu

Discovering Near Symmetry in Graphs
Maria Fox, Derek Long, Julie Porteous

Semisupervised Learning

Session Chair: Kiri Wagstaff
Georgia A

Improving Learning in Networked Data by Combining Explicit and Mined Links
Sofus A. Macskassy

Semi-supervised Learning by Mixed Label Propagation
Wei Tong, Rong Jin

Semi-Supervised Learning with Very Few Labeled Training Examples
Zhi-Hua Zhou, De-Chuan Zhan, Qiang Yang

Negotiation

Session Chair: Shlomo Zilberstein
Regency D

On the Benefits of Exploiting Underlying Goals in Argument-based Negotiation
Iyad Rahwan, Philippe Pasquier, Liz Sonenberg, Frank Dignum

Reasoning about Bargaining Situations
Dongmo Zhang

Heuristic Search-1

Session Chair: Rich Korf
Georgia B

Near-Optimal Search in Continuous Domains
Samuel Ieong, Nicolas Lambert, Yoav Shoham, Ronen Brafman

Parallel Structured Duplicate Detection
Rong Zhou, Eric A. Hansen

Best-First Search for Treewidth
P. Alex Dow, Richard E. Korf

Integrated Intelligence: Spatial Cognition

Session Chair: Benjamin Kuipers
Regency E

Spatial Representation and Reasoning for Human-Robot Collaboration
William G. Kennedy, Magdalena D. Bugajska, Matthew Marge, William Adams, Benjamin R. Fransen, Dennis Perzanowski, Alan C. Schultz, J. Gregory Trafton

An Integrated Robotic System for Spatial Understanding and Situated Interaction in Indoor Environments
Hendrik Zender, Patric Jensfelt, Óscar Martínez Mozos, Geert-Jan M. Kruijff, Wolfram Burgard

Predicate Projection in a Bimodal Spatial Reasoning System
Samuel Wintermute, John E. Laird

Space Applications (IAAI)

Session Chair: Samy Uthurusamy
Regency B

Emerging: Machine Learning for Automatic Mapping of Planetary Surfaces
Tomasz F. Stepinski, Soumya Ghosh, Ricardo Vilalta

Deployed: The Virtual Solar-Terrestrial Observatory: A Deployed Semantic Web Application Case Study for Scientific Research
Deborah McGuinness, Peter Fox, Luca Cinquini, Patrick West, Jose Garcia, James L. Benedict, Don Middleton

1:50–2:50 pm

AI and the Web: User Interactions

Session Chair: Vinay Chaudhri
Regency A

Modeling Contextual Factors of Click Rates
Hila Becker, Christopher Meek, David Maxwell Chickering

KA-CAPTCHA: An Opportunity for Knowledge Acquisition on the Web
Bruno Norberto da Silva, Ana Cristina Bicharra Garcia

PhotoSlap: A Multi-player Online Game for Semantic Annotation
Chien-Ju Ho, Tsung-Hsiang Chang, Jane Yung-jen Hsu

NL-Based Inference

Session Chair: TBA
Regency C

Semantic Inference at the Lexical-Syntactic Level
Roy Bar-Haim, Ido Dagan, Iddo Greental, Eyal Shnarch

Recognizing Textual Entailment Using a Subsequence Kernel Method
Rui Wang, Günter Neumann

Nectar: Learning and Inference for Hierarchically Split PCFGs
Slav Petrov, Dan Klein

Causal Models

Session Chair: Denver Dash
Regency F

On the Identification of a Class of Linear Models
Jin Tian

Possibilistic Causal Networks for Handling Interventions: A New Propagation Algorithm
Salem Benferhat, Salma Smaoui

Learning Causal Models for Noisy Biological Data Mining: An Application to Ovarian Cancer Detection
Ghim-Eng Yap, Ah-Hwee Tan, Hwee-Hwa Pang

Reinforcement Learning-1

Session Chair: Shimon Whiteson
Georgia A

Nectar: Temporal Difference and Policy Search Methods for Reinforcement Learning: An Empirical Comparison
Matthew E. Taylor, Shimon Whiteson, Peter Stone

A Reinforcement Learning Algorithm with Polynomial Interaction Complexity for Only-Costly-Observable MDPs
Roy Fox, Moshe Tennenholtz

Compact Spectral Bases for Value Function Approximation Using Kronecker Factorization
Jeff Johns, Sridhar Mahadevan, Chang Wang

Mechanism Design-1

Session Chair: Jeff Rosenschein
Regency D

Implementing the Maximum of Monotone Algorithms
Liad Blumrosen

Automated Online Mechanism Design and Prophet Inequalities
Mohammad Taghi Hajiaghayi, Robert Kleinberg, Tuomas Sandholm

An Ironing-Based Approach to Adaptive Online Mechanism Design in Single-Valued Domains
David C. Parkes, Quang Duong

Heuristic Search-2

Session Chair: Rich Korf
Georgia B

Domain-Independent Construction of Pattern Database Heuristics for Cost-Optimal Planning
Patrik Haslum, Adi Botea, Malte Helmert, Blai Bonet, Sven Koenig

Theta*: Any-Angle Path Planning on Grids
Alex Nash, Kenny Daniel, Sven Koenig, Ariel Felner

On the Value of Good Advice: The Complexity of A* Search with Accurate Heuristics
Hang Dinh, Alexander Russell, Yuan Su

Localization

Session Chair: Maria Gini
Regency E

Hybrid Inference for Sensor Network Localization Using a Mobile Robot
Dimitrios Marinakis, David Meger, Ioannis Rekleitis, Gregory Dudek

Online Co-Localization in Indoor Wireless Networks by Dimension Reduction
Jeffrey Junfeng Pan, Qiang Yang, Sinno Jialin Pan

Adaptive Localization in a Dynamic WiFi Environment through Multi-view Learning
Sinno Jialin Pan, James T. Kwok, Qiang Yang, Jeffrey Junfeng Pan

Invited Talk (IAAI)

Revolutionizing Prostheses: A Program of the Defense Advanced Research Projects Agency (DARPA)
Geoffrey S. F. Ling (DARPA)
Regency B

3:00–4:00 pm

AI and the Web: Supporting Business

Session Chair: Norman Sadeh-Koniecpol
Regency A

Towards Efficient Dominant Relationship Exploration of the Product Items on the Web
Zhenglu Yang, Lin Li, Botao Wang, Masaru Kitsuregawa

Design of a Mechanism for Promoting Honesty in E-Marketplaces
Jie Zhang, Robin Cohen

Representing and Reasoning about Commitments in Business Processes
Nirmit Desai, Amit K. Chopra, Munindar P. Singh

Information Gathering

Session Chair: TBA
Regency C

Nonmyopic Informative Path Planning in Spatio-Temporal Models
Alexandra Meliou, Andreas Krause, Carlos Guestrin, Joseph M. Hellerstein

Purely Epistemic Markov Decision Processes
Régis Sabbadin, Jérôme Lang, Nasolo Ravoanjanahry

VOILA: Efficient Feature-value Acquisition for Classification
Mustafa Bilgic, Lise Getoor

Action/Agent Logics

Session Chair: Iyad Rahwan
Regency F

A Logic of Agent Programs
N. Alechina, M. Dastani, B. S. Logan, J.-J. Ch. Meyer

Optimal Regression for Reasoning about Knowledge and Actions
Hans van Ditmarsch, Andreas Herzig, Tiago de Lima

ESP: A Logic of Only-Knowing, Noisy Sensing and Acting
Alfredo Gabaldon, Gerhard Lakemeyer

Transfer Learning

Session Chair: Pedro Domingos
Georgia A

Measuring the Level of Transfer Learning by an AP Physics Problem-Solver
Matthew Klenk, Kenneth D. Forbus

Mapping and Revising Markov Logic Networks for Transfer Learning
Lilyana Mihalkova, Tuyen Huynh, Raymond J. Mooney

Transferring Naive Bayes Classifiers for Text Classification
Wenyuan Dai, Gui-Rong Xue, Qiang Yang, Yong Yu

Auctions

Session Chair: Jeff Rosenschein
Regency D

Nectar: Making VCG More Robust in Combinatorial Auctions via Submodular Approximation
Makoto Yokoo, Atsushi Iwasaki

Valuation Uncertainty and Imperfect Introspection in Second-Price Auctions
David R. M. Thompson, Kevin Leyton-Brown

Revenue Monotonicity in Combinatorial Auctions
Baharak Rastegari, Anne Condon, Kevin Leyton-Brown

Optimal Planning

Session Chair: Joerg Hoffmann
Georgia B

Filtering, Decomposition and Search Space Reduction for Optimal Sequential Planning
Stéphane Grandcolas, Cyril Pain-Barre

Planning as Satisfiability with Preferences
Enrico Giunchiglia, Marco Maratea

Asymptotically Optimal Encodings of Conformant Planning in QBF
Jussi Rintanen

Probabilistic Methods-1

Session Chair: Denver Dash
Regency E

Best-First AND/OR Search for Graphical Models
Radu Marinescu, Rina Dechter

Sampling with Memoization
Avi Pfeffer

Generalized Evidence Pre-propagated Importance Sampling for Hybrid Bayesian Networks
Changhe Yuan, Marek J. Druzdzel

Medical Applications (IAAI)

Session Chair: Randy Hill
Regency B

Deployed: Biomind ArrayGenius and GeneGenius: Web Services Offering Microarray and SNP Data Analysis via Novel Machine Learning Methods
Ben Goertzel, Cassio Pennachin, Lucio Coelho, Leonardo Shikida, Murilo Queiroz

Emerging: Real-Time Identification of Operating Room State from Video
Beenish Bhatia, Tim Oates, Yan Xiao, Peter Hu

4:20–5:20 pm

Planning on the Web

Session Chair: Craig Knoblock
Regency A

Senior Member: Model-lite Planning for the Web Age Masses: The Challenges of Planning with Incomplete and Evolving Domain Models
Subbarao Kambhampati

Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty
Jörg Hoffmann, Piergiorgio Bertoli, Marco Pistore

AIW: A Planning Approach for Message-Oriented Semantic Web Service Composition
Zhen Liu, Anand Ranganathan, Anton Riabov

Search Algorithm Synthesis/Comparison

Session Chair: Steve Minton
Regency C

Nectar: An Experimental Comparison of Constraint Logic Programming and Answer Set Programming
Agostino Dovier, Andrea Formisano, Enrico Pontelli

Synthesis of Constraint-Based Local Search Algorithms from High-Level Models
Pascal Van Hentenryck, Laurent Michel

Automatic Algorithm Configuration Based on Local Search
Frank Hutter, Holger H. Hoos, Thomas Stützle

Models of Agency

Session Chair: Yoav Shoham
Regency F

A Logic of Emotions for Intelligent Agents
Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer

Intention Guided Belief Revision
Timothy William Cleaver, Abdul Sattar

A Modal Logic for Beliefs and Pro Attitudes
Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds

Collective Inference

Session Chair: Kagan Tumer
Georgia A

Joint Inference in Information Extraction
Hoifung Poon, Pedro Domingos

Cautious Inference in Collective Classification
Luke K. McDowell, Kalyan Moy Gupta, David W. Aha

Nectar: Online Collective Entity Resolution
Indrajit Bhattacharya, Lise Getoor

Game Theory-1

Session Chair: Sam Ieong
Regency D

A New Algorithm for Generating Equilibria in Massive Zero-Sum Games
Martin Zinkevich, Michael Bowling, Neil Burch

Learning Equilibrium in Resource Selection Games
Itai Ashlagi, Dov Monderer, Moshe Tennenholtz

On the Reasoning Patterns of Agents in Games
Avi Pfeffer, Ya'akov Gal

Vision

Session Chair: TBA
Georgia B

A Vision-Based System for a UGV to Handle a Road Intersection
Javed Ahmed, Mubarak Shah, Andrew Miller, Don Harper, M. N. Jafri

Photometric and Geometric Restoration of Document Images Using Inpainting and Shape-from-Shading
Li Zhang, Andy M. Yip, Chew Lim Tan

Detection of Multiple Deformable Objects using PCA-SIFT
Stefan Zickler, Alexei Efros

Integrated Intelligence: Learning/Teaching

Session Chair: Dragos Margineantu
Regency E

AAAI-07 Outstanding Paper
4: PLOW: A Collaborative Task Learning Agent
James Allen, Nathanael Chambers, George Ferguson, Lucian Galescu, Hyuckchul Jung, Mary Swift, William Taysom

Integrated Introspective Case-Based Reasoning for Intelligent Tutoring Systems
Leen-Kiat Soh

Integrating Natural Language, Knowledge Representation and Reasoning, and Analogical Processing to Learn by Reading
Kenneth D. Forbus, Christopher Riesbeck, Lawrence Birnbaum, Kevin Livingston, Abhishek Sharma, Leo Ureel

Information Systems (IAAI)

Session Chair: Ted Senator
Regency B

Deployed: Using AI for e-Government Automatic Assessment of Immigration Application Forms
Andy Hon Wai Chun

Deployed: Journal-Ranking.com: An Online Interactive Journal Ranking System
Andrew Lim, Hong Ma, Qi Wen, Zhou Xu, Brenda Cheang, Bernard Tan, Wenbin Zhu

Wednesday, July 25

9:00–10:00 am

Invited Talks (AAAI)

Graph Identification
Lise Getoor (University of Maryland, College Park)
Regency C

Logic for Automated Mechanism Design - A Progress Report
Michael Wooldridge (University of Liverpool, UK)
Regency D

Agents (IAAI)

Session Chair: Nestor Rychtyckyj
Regency B

Deployed: Coordinating Hundreds of Cooperative, Autonomous Vehicles in Warehouses
Peter R. Wurman, Raffaello D'Andrea, Mick Mountz

Emerging: A Multi-Agent Approach to Distributed Rendering Optimization
Carlos Gonzalez-Morcillo, Gerhard Weiss, Luis Jimenez, David Vallejo

10:20–11:20 am

AI and the Web: Trust and Authority

Session Chair: Robin Cohen
Regency A

SUNNY: A New Algorithm for Trust Inference in Social Networks Using Probabilistic Confidence Models
Ugur Kuter, Jennifer Golbeck

From Whence Does Your Authority Come? Utilizing Community Relevance in Ranking
Lan Nie, Brian D. Davison, Baoning Wu

Reasoning about Attribute Authenticity in a Web Environment
Thomas Wölfl

Constraint Reasoning-2

Session Chair: Steve Prestwich
Regency C

Propagating Knapsack Constraints in Sublinear Time
Irit Katriel, Meinolf Sellmann, Eli Upfal, Pascal Van Hentenryck

Dynamic DFS Tree in ADOPT-ing
Marius C. Silaghi, Makoto Yokoo

On the Partial Observability of Temporal Uncertainty
Michael D. Moffitt

Action/Agent Languages

Session Chair: Jussi Rintanen
Regency F

A Modular Action Description Language for Protocol Composition
Nirmit Desai, Munindar P. Singh

Expressiveness of ADL and Golog: Functions Make a Difference
Gabriele Röger, Bernhard Nebel

The Semantics of Variables in Action Descriptions
Vladimir Lifschitz, Wanwan Ren

Kernel Methods

Session Chair: Richard Maclin
Georgia A

A Randomized String Kernel and Its Application to RNA Interference
Shibin Qiu, Terran Lane, Ljubomir Buturovic

Kernel Regression with Order Preferences
Xiaojin Zhu, Andrew B. Goldberg

Nectar: The Pyramid Match: Efficient Learning with Partial Correspondences
Kristen Grauman

Agents Modeling Other Agents

Session Chair: Shlomo Zilberstein
Regency D

Approximate Solutions of Interactive Dynamic Influence Diagrams Using Model Clustering
Yifeng Zeng, Prashant Doshi, Qiongyu Chen

Minimal Mental Models
David V. Pynadath, Stacy C. Marsella

Incorporating Observer Biases in Keyhole Plan Recognition (Efficiently!)
Dorit Avrahami-Zilberbrand, Gal A. Kaminka

Sensor-Based Systems

Session Chair: Maria Gini
Georgia B

Nectar: Dominance and Equivalence for Sensor-Based Agents
Jason M. O'Kane, Steven M. LaValle

Topological Mapping with Weak Sensory Data
Gregory Dudek, Dimitri Marinakis

Simple Robots with Minimal Sensing: From Local Visibility to Global Geometry
Subhash Suri, Elias Vicari, Peter Widmayer

AI in Art and Science

Session Chair: TBA
Regency E

Recognition of Hand Drawn Chemical Diagrams
Tom Y. Ouyang, Randall Davis

Posterior Probability Profiles for the Automated Assessment of the Recovery of Stroke Patients
Gert Van Dijck, Jo Van Vaerenbergh, Marc M. Van Hulle

A Corpus-Based Hybrid Approach to Music Analysis and Composition
Bill Manaris, Patrick Roos, Penousal Machado, Dwight Krehbiel, Luca Pellicoro, Juan Romero

Invited Talk (IAAI)

Robert S. Engelmore Memorial Award Lecture
AI in a Moore's Law World: the Stories of Farecast and KnowItAll
Oren Etzioni (University of Washington)
Regency B

11:30 am–12:30 pm

AI and the Web: Ontologies

Session Chair: Chris Welty
Regency A

Approximating OWL-DL Ontologies
Jeff Z. Pan, Edward Thomas

Repairing Ontology Mappings
Christian Meilicke, Heiner Stuckenschmidt, Andrei Tamilin

A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies
Jie Bao, Giora Slutzki, Vasant Honavar

Constrained Optimization

Session Chair: K. Brent Venable
Regency C

Search Space Reduction and Russian Doll Search
Kenil C. K. Cheng, Roland H. C. Yap

Multi-Objective Russian Doll Search
Emma Rollon, Javier Larrosa

Computing Optimal Subsets
Maxim Binshtok, Ronen I. Brafman, Solomon E. Shimony, Ajay Martin, Craig Boutilier

Logic/Database Query Answering

Session Chair: Mirek Truszczynski
Regency F

Scalable Semantic Retrieval through Summarization and Refinement
Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Edith Schonberg, Kavitha Srinivas, Li Ma

Approximate Query Answering in Locally Closed Databases
Álvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe

Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection
Johannes Oetsch, Hans Tompits, Stefan Woltran

Unsupervised Learning-2

Session Chair: Dragos Margineantu
Georgia A

Clustering with Local and Global Regularization
Fei Wang, Changshui Zhang, Tao Li

Isometric Projection
Deng Cai, Xiaofei He, Jiawei Han

Discovering Multivariate Motifs using Subsequence Density Estimation and Greedy Mixture Learning
David Minnen, Charles L. Isbell, Irfan Essa, Thad Starner

Multiagent Coordination

Session Chair: Iyad Rahwan
Regency D

Anytime Coordination Using Separable Bilinear Programs
Marek Petrik, Shlomo Zilberstein

A Logical Theory of Coordination and Joint Ability
Hojjat Ghaderi, Hector Levesque, Yves Lespérance

Anytime Optimal Coalition Structure Generation
Talal Rahwan, Sarvapali D. Ramchurn, Viet D. Dang, Andrea Giovannucci, Nicholas R. Jennings

Games-1

Session Chair: Rich Korf
Georgia B

Visualization and Adjustment of Evaluation Functions Based on Evaluation Values and Win Probability
Shogo Takeuchi, Tomoyuki Kaneko, Kazunori Yamaguchi, Satoru Kawai

Heuristic Evaluation Functions for General Game Playing
James Clune

Fluxplayer: A Successful General Game Player
Stephan Schiffel, Michael Thielscher

Integrated Intelligence: Producing Pictures or Songs

Session Chair: Bryan Loyall
Regency E

A Text-to-Picture Synthesis System for Augmenting Communication
Xiaojin Zhu, Andrew B. Goldberg, Mohamed Eldawy, Charles R. Dyer, Bradley Strock

An Intelligent System for Chinese Calligraphy
Songhua Xu, Hao Jiang, Francis C. M. Lau, Yunhe Pan

Learning to Sing Like a Bird: The Self-Supervised Acquisition of Birdsong
Michael H. Coen

Decision Support (IAAI)

Session Chair: Reid Smith
Regency B

Deployed: MasDISPO: A Multiagent Decision Support System for Steel Production and Control
Sven Jacobi, Esteban León-Soto, Cristián Madrigal-Mora, Klaus Fischer

Emerging: Optimizing Anthrax Outbreak Detection Using Reinforcement Learning
Masoumeh T. Izadi, David L. Buckeridge

1:50–2:50 pm

AI and the Web: Networks and Semantics

Session Chair: TBA
Regency A

Provisioning Heterogeneous and Unreliable Providers for Service Workflows
Sebastian Stein, Nicholas R. Jennings, Terry R. Payne

A Distributed Constraint Optimization Solution to the P2P Video Streaming Problem
Theodore Elhourani, Nathan Denny, Michael Marefat

GRIN : A Graph Based RDF Index
Octavian Udrea, Andrea Pugliese, V. S. Subrahmanian

Constraint Reasoning-3

Session Chair: Francesca Rossi
Regency C

Transposition Tables for Constraint Satisfaction
Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal

Representative Explanations for Over-Constrained Problems
Barry O'Sullivan, Alexandre Papadopoulos, Boi Faltings, Pearl Pu

Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms
Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva

Reasoning with Beliefs

Session Chair: Mirek Truszczynski
Stanley, 34th Floor

Mutual Belief Revision: Semantics and Computation
Yi Jin, Michael Thielscher, Dongmo Zhang

An Egalitarist Fusion of Incommensurable Ranked Belief Bases under Constraints
Salem Benferhat, Sylvain Lagrue, Julien Rossit

Belief Change and Cryptographic Protocol Verification
Aaron Hunter, James P. Delgrande

Mathematical Programming

Session Chair: TBA
Georgia A

A Mathematical Programming Formulation for Sparse Collaborative Computer Aided Diagnosis
Jinbo Bi, Tao Xiong

Refining Rules Incorporated into Knowledge-Based Support Vector Learners Via Successive Linear Programming
Richard Maclin, Edward Wild, Jude Shavlik, Lisa Torrey, Trevor Walker

A Method for Large-Scale l1-Regularized Logistic Regression
Kwangmoo Koh, Seung-Jean Kim, Stephen Boyd

Mechanism Design-2

Session Chair: Jeff Rosenschein
Grouse, 34th Floor

Partial Revelation Automated Mechanism Design
Nathanaël Hyafil, Craig Boutilier

Strongly Decomposable Voting Rules on Multiattribute Domains
Lirong Xia, Jérôme Lang, Mingsheng Ying

Llull and Copeland Voting Broadly Resist Bribery and Control
Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe

Games-2

Session Chair: Nathan Sturtevant
Georgia B

M2ICAL Analyses HC-Gammon
Wee-Chong Oon, Martin Henz

Potential-Aware Automated Abstraction of Sequential Games, and Holistic Equilibrium Analysis of Texas Hold'em Poker
Andrew Gilpin, Tuomas Sandholm, Troels Bjerre Sørensen

Particle Filtering for Dynamic Agent Modelling in Simplified Poker
Nolan Bard, Michael Bowling

Probabilistic Methods-2

Session Chair: Thomas Lukasiewicz
Cypress, 34th Floor

Logical Generative Models for Probabilistic Reasoning about Existence, Roles and Identity
David Poole

Efficient Structure Learning in Factored-State MDPs
Alexander L. Strehl, Carlos Diuk, Michael L. Littman

Authorial Idioms for Target Distributions in TTD-MDPs
David L. Roberts, Sooraj Bhat, Kenneth St. Clair, Charles L. Isbell

Business Automation (IAAI)

Session Chair: Samy Uthurusamy
Regency B

Deployed: The VITA Financial Services Sales Support Environment
Alexander Felfernig, Klaus Isak, Kalman Szabo, Peter Zachar

Deployed: Custom DU(r) - A Web Based Business User Driven Automated Underwriting System
Srinivas Krovvidy, Robin Landsman, Steve Opdahl, Nancy Templeton, Sydnor Smalera

3:00–4:00 pm

AI and the Web: Language Technology

Session Chair: Chris Welty
Regency A

Improving Similarity Measures for Short Segments of Text
Wen-tau Yih, Christopher Meek

Topic Segmentation Algorithms for Text Summarization and Passage Retrieval: An Exhaustive Evaluation
Gaël Dias, Elsa Alves. José Gabriel Pereira Lopes

Robust Estimation of Google Counts for Social Network Extraction
Yutaka Matsuo, Hironori Tomobe, Takuichi Nishimura

CSPs

Session Chair: K. Brent Venable
Regency C

Using Expectation Maximization to Find Likely Assignments for Solving CSP's
Eric I. Hsu, Matthew Kitching, Fahiem Bacchus, Sheila A. McIlraith

On Balanced CSPs with High Treewidth
Carlos Ansótegui, Ramón Béjar, César Fernàndez, Carles Mateu

Inference Rules for High-Order Consistency in Weighted CSP
Carlos Ansótegui, María L. Bonet, Jordi Levy, Felip Manyà

Description Logics-1

Session Chair: Giuseppe De Giacomo
Stanley, 34th Floor

Complexity Boundaries for Horn Description Logics
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler

DL-Lite in the Light of First-Order Logic
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev

Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach
Diego Calvanese, Thomas Eiter, Magdalena Ortiz

Link Mining

Session Chair: Pedro Domingos
Georgia A

Probabilistic Community Discovery Using Hierarchical Latent Gaussian Mixture Model
Haizheng Zhang, C. Lee Giles, Henry C. Foley, John Yen

Relationship Identification for Social Network Discovery
Christopher P. Diehl, Galileo Namata, Lise Getoor

L2R: A Logical Method for Reference Reconciliation
Fatiha Saïs, Nathalie Pernelle, Marie Christine Rousset

Scheduling

Session Chair: David E. Smith
Grouse, 34th Floor

Understanding Performance Tradeoffs in Algorithms for Solving Oversubscribed Scheduling
Laurence A. Kramer, Laura V. Barbulescu, Stephen F. Smith

Randomized Adaptive Spatial Decoupling for Large-Scale Vehicle Routing with Time Windows
Russell Bent, Pascal Van Hentenryck

Population-Based Simulated Annealing for Traveling Tournaments
Pascal Van Hentenryck, Yannis Vergados

Games-3

Session Chair: Bryan Loyall
Georgia B

Acquiring Visibly Intelligent Behavior with Example-Guided Neuroevolution
Bobby D. Bryant, Risto Miikkulainen

Nectar: Beyond Individualism: Modeling Team Playing Behavior in Robot Soccer through Case-Based Reasoning
Raquel Ros, Manuela Veloso, Ramon López de Mántaras, Carles Sierra, Josep Lluis Arcos

II: R-CAST: Integrating Team Intelligence for Human-Centered Teamwork
Xiaocong Fan, John Yen

Cognitive/Brain Models

Session Chair: Bill Swartout
Cypress, 34th Floor

Senior Member: On the Prospects for Building a Working Model of the Visual Cortex
Thomas Dean, Glenn Carroll, Richard Washington

A Connectionist Cognitive Model for Temporal Synchronisation and Learning
Luís C. Lamb, Rafael V. Borges, Artur S. d'Avila Garcez

Towards a Cognitive Model of Crowd Behavior Based on Social Comparison Theory
Natalie Fridman, Gal A. Kaminka

Human Computer Interaction (IAAI)

Session Chair: Randy Hill
Regency B

Deployed: Enabling Intelligent Content Discovery on the Mobile Internet
Barry Smyth, Paul Cotter, Stephen Oman

Emerging: Supporting Feedback and Assessment of Digital Ink Answers to In-Class Exercises
Kimberle Koile, Kevin Chevalier, Michel Rbeiz, Adam Rogal, David Singer, Jordan Sorensen, Amanda Smith, Kah Seng Tay, Kenneth Wu

4:20–5:20 pm

Web Mining/Retrieval

Session Chair: Shieu-Hong Lin
Regency A

Mining Web Query Hierarchies from Clickthrough Data
Dou Shen, Min Qin, Weizhu Chen, Qiang Yang, Zheng Chen

TableRank: A Ranking Algorithm for Table Search and Retrieval
Ying Liu, Kun Bai, Prasenjit Mitra, C. Lee Giles

Model Counting

Session Chair: Toby Walsh
Regency C

Approximate Counting by Sampling the Backtrack-free Search Space
Vibhav Gogate, Rina Dechter

Using More Reasoning to Improve #SAT Solving
Jessica Davies, Fahiem Bacchus

Counting CSP Solutions Using Generalized XOR Constraints
Carla P. Gomes, Willem-Jan van Hoeve, Ashish Sabharwal, Bart Selman

Description Logics-2

Session Chair: Diego Calvenese
Stanley, 34th Floor

Description Logics for Multi-Issue Bilateral Negotiation with Incomplete Information
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

On the Approximation of Instance Level Update and Erasure in Description Logics
Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati

On Capturing Semantics in Ontology Mapping
Bo Hu, Srinandan Dasmahapatra, Paul Lewis, Nigel Shadbolt

Learning Semantics from Text

Session Chair: Shieu-Hong Lin
Georgia A

Learning Language Semantics from Ambiguous Supervision
Rohit J. Kate, Raymond J. Mooney

A Robot That Uses Existing Vocabulary to Infer Non-Visual Word Meanings from Observation
Kevin Gold, Brian Scassellati

Nectar: Modeling and Learning Vague Event Durations for Temporal Reasoning
Feng Pan, Rutu Mulkar-Mehta, Jerry R. Hobbs

Trading/Negotiating Agents

Session Chair: John Collins
Grouse, 34th Floor

Efficient Statistical Methods for Evaluating Trading Agent Performance
Eric Sodomka, John Collins, Maria Gini

Allocating Goods on a Graph to Eliminate Envy
Yann Chevaleyre, Ulle Endriss, Nicolas Maudet

Gender-Sensitive Automated Negotiators
Ron Katz, Sarit Kraus

Robots that Learn

Session Chair: Benjamin Kuipers
Georgia B

Autonomous Development of a Grounded Object Ontology by a Learning Robot
Joseph Modayil, Benjamin Kuipers

Stochastic Filtering in a Probabilistic Action Model
Hannaneh Hajishirzi, Eyal Amir

Detecting Execution Failures Using Learned Action Models
Maria Fox, Jonathan Gough, Derek Long

Diagnosis

Session Chair: Martin Sachenbacher
Cypress, 34th Floor

A Qualitative Approach to Multiple Fault Isolation in Continuous Systems
Matthew Daigle, Xenofon Koutsoukos, Gautam Biswas

Nectar: Efficient Datalog Abduction through Bounded Treewidth
Georg Gottlob, Reinhard Pichler, Fang Wei

A Spectrum of Symbolic On-line Diagnosis Approaches
Anika Schumann, Yannick Pencolé, Sylvie Thiébaux

Planning and Workflow (IAAI)

Session Chair: Reid Smith
Regency B

Emerging: Optimal Multi-Agent Scheduling with Constraint Programming
Willem-Jan van Hoeve, Carla P. Gomes, Bart Selman, Michele Lombardi

Emerging: Wings for Pegasus: Creating Large-Scale Scientific Applications Using Semantic Representations of Computational Workflows
Yolanda Gil, Varun Ratnakar, Ewa Deelman, Gaurang Mehta, Jihie Kim

6:30–10:00 pm

AAAI-07 Poster Demo Reception
Regency Ballroom

Thursday, July 26

9:00–10:00 am

Invited Talks (AAAI)

Moving Toward Peer-to-Peer Human-Robot Interaction
Alan C. Schultz (Naval Research Laboratory)
Regency C

Representing and Reasoning about Preferences
Toby Walsh (NICTA and University of New South Wales)
Regency D

10:20–11:20 am

AI and the Web: Extraction and Understanding

Session Chair: Chris Welty
Regency A

Harvesting Relations from the Web - Quantifiying the Impact of Filtering Functions
Sebastian Blohm, Philipp Cimiano, Egon Stemle

Template-Independent News Extraction Based on Visual Consistency
Shuyi Zheng, Ruihua Song, Ji-Rong Wen

Comprehending and Generating Apt Metaphors: A Web-driven, Case-based Approach to Figurative Language
Tony Veale, Yanfen Hao

NL Summarization And Interfaces

Session Chair: TBA
Regency C

Turning Lectures into Comic Books Using Linguistically Salient Gestures
Jacob Eisenstein, Regina Barzilay, Randall Davis

Single Document Summarization with Document Expansion
Xiaojun Wan, Jianwu Yang

Enabling Domain-Awareness for a Generic Natural Language Interface
Yunyao Li, Ishan Chaudhuri, Huahai Yang, Satinder Singh, H. V. Jagadish

Modal Logic

Session Chair: Yves Lesperance
Regency F

Probabilistic Modal Logic
Afsaneh Shirazi, Eyal Amir

Prime Implicates and Prime Implicants in Modal Logic
Meghyn Bienvenu

The Modal Logic S4F, the Default Logic, and the Logic Here-and-There
Miroslaw Truszczynski

Training Sample Selection

Session Chair: Dragos Margineantu
Georgia A

Active Algorithm Selection
Feilong Chen, Rong Jin

Actively Exploring Creation of Face Space(s) for Improved Face Recognition
Nitesh V. Chawla, Kevin W. Bowyer

Nectar: Informed Case Base Maintenance: A Complexity Profiling Approach
Susan Craw, Stewart Massie, Nirmalie Wiratunga

Distributed AI

Session Chair: John Collins
Regency D

Centralized, Distributed or Something Else? Making Timely Decisions in Multi-Agent Systems
Tim Harbers, Rajiv T. Maheswaran, Pedro Szekely

Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors
Sebastian Sardina, Fabio Patrizi, Giuseppe De Giacomo

Agent Influence as a Predictor of Difficulty for Decentralized Problem-Solving
Martin Allen, Shlomo Zilberstein

Planning Representation Issues

Session Chair: Jussi Rintanen
Georgia B

Action-Space Partitioning for Planning
Natalia H. Gardiol, Leslie Pack Kaelbling

Concurrent Action Execution with Shared Fluents
Michael Buro, Alexander Kovarsky

A Situation-Calculus Semantics for an Expressive Fragment of PDDL
Jens Claßen, Yuxiao Hu, Gerhard Lakemeyer

Probabilistic Methods-3

Session Chair: Xiaojin Zhu
Regency E

Macroscopic Models of Clique Tree Growth for Bayesian Networks
Ole J. Mengshoel

Nectar: A Kernel Approach to Comparing Distributions
Arthur Gretton, Karsten M. Borgwardt, Malte Rasch, Bernhard Schölkopf, Alexander J. Smola

Learning Graphical Model Structure Using L1-Regularization Paths
Mark Schmidt, Alexandru Niculescu-Mizil, Kevin Murphy

Invited Talk (IAAI)

Big "A," Small "I": Smart Ends from Simple Means
Matt Brown (Maxis / Electronic Arts)
Regency B

11:30 am–12:30 pm

AI and the Web: Reputation and Sentiment

Session Chair: TBA
Regency A

Unsupervised Shilling Detection for Collaborative Filtering
Bhaskar Mehta

Mobile Service for Reputation Extraction from Weblogs - Public Experiment and Evaluation
Takahiro Kawamura, Shinichi Nagano, Masumi Inaba, Yumiko Mizoguchi

The Impact of Time on the Accuracy of Sentiment Classifiers Created from a Web Log Corpus
Kathleen T. Durant, Michael D. Smith

NL Analysis

Session Chair: James Fan
Regency C

Disambiguating Noun Compounds
Su Nam Kim, Timothy Baldwin

Content Analysis for Proactive Intelligence: Marshaling Frame Evidence
A. P. Sanfilippo, A. J. Cowell, S. C. Tratz, A. M. Boek, A. K. Cowell, C. Posse, L. C. Pouchard

Mining Sequential Patterns and Tree Patterns to Detect Erroneous Sentences
Guihua Sun, Gao Cong, Xiaohua Liu, Chin-Yew Lin, Ming Zhou

Argumentation

Session Chair: Iyad Rahwan
Regency F

Action-Based Alternating Transition Systems for Arguments about Action
Katie Atkinson, Trevor Bench-Capon

Reasoning from Desires to Intentions: A Dialectical Framework
Nicolás D. Rotstein, Alejandro J. García, Guillermo R. Simari

Real Arguments are Approximate Arguments
Anthony Hunter

Machine Learning

Session Chair: Kiri Wagstaff
Georgia A

Nectar: Learning by Combining Observations and User Edits
Vittorio Castelli, Lawrence Bergman, Daniel Oblinger

Multi-Label Learning by Instance Differentiation
Min-Ling Zhang, Zhi-Hua Zhou

Game Theory-2

Session Chair: Kevin Leyton-Brown
Regency D

AAAI-07 Outstanding Paper
324: Thresholded Rewards: Acting Optimally in Timed, Zero-Sum Games
Colin McMillen, Manuela Veloso

Computational Complexity of Weighted Threshold Games
Edith Elkind, Leslie Ann Goldberg, Paul Goldberg, Michael Wooldridge

A Unification of Extensive-Form Games and Markov Decision Processes
H. Brendan McMahan, Geoffrey J. Gordon

Optimization

Session Chair: Xiaojin Zhu
Georgia B

Nectar: Near-optimal Observation Selection using Submodular Functions
Andreas Krause, Carlos Guestrin

Solving a Stochastic Queueing Design and Control Problem with Constraint Programming
Daria Terekhov, J. Christopher Beck, Kenneth N. Brown

Evolutionary and Lifetime Learning in Varying NK Fitness Landscape Changing Environments: An Analysis of Both Fitness and Diversity
Dara Curran, Colm O'Riordan, Humphrey Sorensen

Integrated Intelligence: Integration Issues

Session Chair: Nick Cassimatis
Regency E

Extending Cognitive Architecture with Episodic Memory
Andrew M. Nuxoll, John E. Laird

Towards an Integrated Robot with Multiple Cognitive Functions
Nick Hawes, Aaron Sloman, Jeremy Wyatt, Michael Zillich, Henrik Jacobsson, Geert-Jan M. Kruijff, Michael Brenner, Gregor Berginc, Danijel Skocaj

An Architecture for Adaptive Algorithmic Hybrids
Nicholas Cassimatis, Magdalena Bugajska, Scott Dugas, Arthi Murugesan, Paul Bello

Agents in Virtual Environments (IAAI)

Session Chair: Bill Cheetham
Regency B

Emerging: An Integrated Development Environment and Architecture for Soar-Based Agents
Ari Yakir, Gal Kaminka

Emerging: RETALIATE: Learning Winning Policies in First-Person Shooter Games
Megan Smith, Stephen Lee-Urban, Héctor Muñoz-Avila

1:50–2:50 pm

AI and the Web: Social Networks

Session Chair: Mark Greaves
Regency A

Extracting Influential Nodes for Information Diffusion on a Social Network
Masahiro Kimura, Kazumi Saito, Ryohei Nakano

Temporal and Information Flow Based Event Detection from Social Text Streams
Qiankun Zhao, Prasenjit Mitra, Bi Chen

Analyzing Reading Behavior by Blog Mining
Tadanobu Furukawa, Mitsuru Ishizuka, Yutaka Matsuo, Ikki Ohmukai, Koki Uchiyama

Decision Diagrams

Session Chair: TBA
Regency C

Knowledge Compilation Properties of Tree-of-BDDs
Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi

Compressing Configuration Data for Memory Limited Devices
Esben Rune Hansen, Peter Tiedemann

Interactive Configuration with Regular String Constraints
Esben Rune Hansen, Henrik Reif Andersen

Theory Merging

Session Chair: Dongmo Zhang
Regency F

A Model-based Approach for Merging Prioritized Knowledge Bases in Possibilistic Logic
Guilin Qi

Generality and Equivalence Relations in Default Logic
Katsumi Inoue, Chiaki Sakama

Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems
Gerhard Brewka, Thomas Eiter

Reinforcement Learning-2

Session Chair: Shimon Whiteson
Georgia A

Efficient Reinforcement Learning with Relocatable Action Models
Bethany R. Leffler, Michael L. Littman, Timothy Edmunds

Active Imitation Learning
Aaron P. Shon, Deepak Verma, Rajesh P. N. Rao

Abstraction in Predictive State Representations
Vishal Soni, Satinder Singh

Game Theory-3

Session Chair: Sam Ieong
Regency D

Computing Pure Nash Equilibria in Symmetric Action Graph Games
Albert Xin Jiang, Kevin Leyton-Brown

The Impact of Network Topology on Pure Nash Equilibria in Graphical Games
Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal

Learning Voting Trees
Ariel D. Procaccia, Aviv Zohar, Yoni Peleg, Jeffrey S. Rosenschein

Heuristic Search-3

Session Chair: Sven Koenig
Georgia B

Inconsistent Heuristics
Uzi Zahavi, Ariel Felner, Jonathan Schaeffer, Nathan Sturtevant

Analyzing the Performance of Pattern Database Heuristics
Richard E. Korf

Nectar: A* Search via Approximate Factoring
Aria Haghighi, John DeNero, Dan Klein

Knowledge Base Construction

Session Chair: James Fan
Regency E

ASKNet: Automated Semantic Knowledge Network
Brian Harrington, Stephen Clark

Learning Large Scale Common Sense Models of Everyday Life
William Pentney, Matthai Philipose, Jeff Bilmes, Henry Kautz

Learning by Reading: A Prototype System, Performance Baseline and Lessons Learned
Ken Barker, Bhalchandra Agashe, Shaw-Yi Chaw, James Fan, Noah Friedland, Michael Glass, Jerry Hobbs, Eduard Hovy, David Israel, Doo Soon Kim, Rutu Mulkar-Mehta, Sourabh Patwardhan, Bruce Porter, Dan Tecuci, Peter Yeh

Machine Learning II (IAAI)

Session Chair: Nestor Rychtyckyj
Regency B

Emerging: Adaptive Traitor Tracing with Bayesian Networks
Philip Zigoris, Hongxia Jin

Deployed: Fish Inspection System Using a Parallel Neural Network Chip and Image Knowledge Builder Application
Anne Menendez, Guy Paillet

AAAI-07

Registration

Hotel / Transportation

AAAI-07 Information

AI and the Web Track

Author Instructions

Conference Organizers

Conference Poster

Conference Sponsorship

Doctoral Consortium

Exhibits

Innovative AI Applications

Integrated Intelligence Track

Intelligent Systems Demonstrations

Mobile Robots

Nectar Papers

Paper Submission Site

Senior Member Papers

Student Programs

Technical Program

Tutorial Forum

Vancouver

Video Competition

Workshops

Calls for Papers

Preliminary Calls Booklet
AI on the Web Call
DC Participation Call
Integrated Intelligence Call
IS Demos Call
Mobile Robot Call
Nectar Papers Call
Senior Member Call
Student Abstracts Call
Technical Program Call
Tutorial Proposals Call
Video Competition Call
Workshop Proposals Call

Follow @RealAAAI

This site is protected by copyright and trademark laws under US and International law. All rights reserved. Copyright © 1995–2020 Association for the Advancement of Artificial Intelligence.
Your use of this site is subject to our Terms and Conditions and Privacy Policy | Home | About AAAI | Search | Contact AAAI
AAAI Conferences | AI Magazine | AITopics | Awards | Calendar | Digital Library | Jobs | Meetings | Membership | Press | Press Room | Publications | Resources | Symposia | Workshops