AAAI-07 Poster Session
Wednesday, July 25, Regency Ballroom, 6:30–10:00 pm
AAAI-07 Technical Papers
Agents, Game Theory, Auctions, and Mechanism Design
Implementing the Maximum of Monotone Algorithms
Liad Blumrosen
The Impact of Network Topology on Pure Nash Equilibria in Graphical Games
Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal
Real Arguments are Approximate Arguments
Anthony Hunter
On the Reasoning Patterns of Agents in Games
Avi Pfeffer, Ya’akov Gal
Reasoning about Bargaining Situations
Dongmo Zhang
Constraints and Satisfiability
Interactive Configuration with Regular String Constraints
Esben Rune Hansen, Henrik Reif Andersen
Conservative Dual Consistency
Christophe Lecoutre, Stéphane Cardon, Julien Vion
Solving a Stochastic Queueing Design and Control Problem with Constraint Programming
Daria Terekhov, J. Christopher Beck, Kenneth N. Brown
Population-Based Simulated Annealing for Traveling Tournaments
Pascal Van Hentenryck, Yannis Vergados
Knowledge and Information Systems
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
A Temporal Mereology for Distinguishing between Integral Objects and Portions of Stuff
Thomas Bittner, Maureen Donnelly
Learning Causal Models for Noisy Biological Data Mining: An Application to Ovarian Cancer Detection
Ghim-Eng Yap, Ah-Hwee Tan, Hwee-Hwa Pang
Knowledge Representation and Logic
Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems
Gerhard Brewka, Thomas Eiter
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach
Diego Calvanese, Thomas Eiter, Magdalena Ortiz
Discovering Near Symmetry in Graphs
Maria Fox, Derek Long, Julie Porteous
Belief Change and Cryptographic Protocol Verification
Aaron Hunter, James P. Delgrande
Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection
Johannes Oetsch, Hans Tompits, Stefan Woltran
A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints
Yi-Dong Shen, Jia-Huai You
Knowledge Compilation Properties of Tree-of-BDDs
Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi
Machine Learning
A Method for Large-Scale l1-Regularized Logistic Regression
Kwangmoo Koh, Seung-Jean Kim, Stephen Boyd
Multiagents
A New Algorithm for Generating Equilibria in Massive Zero-Sum Games
Martin Zinkevich, Michael Bowling, Neil Burch
Multidisciplinary Topics and Applications
A Corpus-Based Hybrid Approach to Music Analysis and Composition
Bill Manaris, Patrick Roos, Penousal Machado, Dwight Krehbiel, Luca Pellicoro, Juan Romero
Recognition of Hand Drawn Chemical Diagrams
Tom Y. Ouyang, Randall Davis
Authorial Idioms for Target Distributions in TTD-MDPs
David L. Roberts, Sooraj Bhat, Kenneth St. Clair, Charles L. Isbell
Humans Perform Semi-Supervised Classification Too
Xiaojin Zhu, Timothy Rogers, Ruichen Qian, Chuck Kalish
Natural-Language Processing
A Robot That Uses Existing Vocabulary to Infer Non-Visual Word Meanings from Observation
Kevin Gold, Brian Scassellati
Robotics and Perception
Hybrid Inference for Sensor Network Localization Using a Mobile Robot
Dimitrios Marinakis, David Meger, Ioannis Rekleitis, Gregory Dudek
Search and Metareasoning
Heuristic Evaluation Functions for General Game Playing
James Clune
Anytime Optimal Coalition Structure Generation
Talal Rahwan, Sarvapali D. Ramchurn, Viet D. Dang, Andrea Giovannucci, Nicholas R. Jennings
Combining Multiple Heuristics Online
Matthew Streeter, Daniel Golovin, Stephen F. Smith
Inconsistent Heuristics
Uzi Zahavi, Ariel Felner, Jonathan Schaeffer, Nathan Sturtevant
Uncertainty in AI
VOILA: Efficient Feature-value Acquisition for Classification
Mustafa Bilgic, Lise Getoor
Computing Optimal Subsets
Maxim Binshtok, Ronen I. Brafman, Solomon E. Shimony, Ajay Martin, Craig Boutilier
AAAI-07 Outstanding Paper: Thresholded Rewards: Acting Optimally in Timed, Zero-Sum Games
Colin McMillen, Manuela Veloso
Generalized Evidence Pre-propagated Importance Sampling for Hybrid Bayesian Networks
Changhe Yuan, Marek J. Druzdzel
Special Track on Artificial Intelligence and the Web
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies
Jie Bao, Giora Slutzki, Vasant Honavar
Mobile Service for Reputation Extraction from Weblogs — Public Experiment and Evaluation
Takahiro Kawamura, Shinichi Nagano, Masumi Inaba, Yumiko Mizoguchi
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
Deriving a Large-Scale Taxonomy from Wikipedia
Simone Paolo Ponzetto, Michael Strube
Design of a Mechanism for Promoting Honesty in E-Marketplaces
Jie Zhang, Robin Cohen
Special Track on Integrated Intelligence
AAAI-07 Outstanding Paper: PLOW: A Collaborative Task Learning Agent
James Allen, Nathanael Chambers, George Ferguson, Lucian Galescu, Hyuckchul Jung, Mary Swift, William Taysom
An Architecture for Adaptive Algorithmic Hybrids
Nicholas Cassimatis, Magdalena Bugajska, Scott Dugas, Arthi Murugesan, Paul Bello
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
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
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
New Scientific and Technical Advances in Research Papers (NECTAR)
Online Collective Entity Resolution
Indrajit Bhattacharya, Lise Getoor
Using Eye-Tracking Data for High-Level User Modeling in Adaptive Interfaces
Cristina Conati, Christina Merten, Saleema Amershi, Kasia Muldner
Informed Case Base Maintenance: A Complexity Profiling Approach
Susan Craw, Stewart Massie, Nirmalie Wiratunga
The Pyramid Match: Efficient Learning with Partial Correspondences
Kristen Grauman
A* Search via Approximate Factoring
Aria Haghighi, John DeNero, Dan Klein
Modeling and Learning Vague Event Durations for Temporal Reasoning
Feng Pan, Rutu Mulkar-Mehta, Jerry R. Hobbs
Learning and Inference for Hierarchically Split PCFGs
Slav Petrov, Dan Klein
Refutation by Randomised General Resolution
Steven Prestwich, Inês Lynce
Student Abstracts
Data Clustering with a Relational Push-Pull Model
Adam Anthony, Marie desJardins
UNDERTOW: Multi-Level Segmentation of Real-Valued Time Series
Tom Armstrong, Tim Oates
Explanation Support for the Case-Based Reasoning Tool myCBR
Daniel Bahls, Thomas Roth-Berghofer
A Markovian Model for Dynamic and Constrained Resource Allocation Problems
Camille Besse, Brahim Chaib-draa
Implementing Modal Extensions of Defeasible Logic for the Semantic Web
Nikos Dimaresis, Grigoris Antoniou
Ungreedy Methods for Chinese Deterministic Dependency Parsing
Xiangyu Duan, Jun Zhao, Bo Xu
Using Multiresolution Learning for Transfer in Image Classification
Eric Eaton, Marie desJardins, John Stevenson
Robust Estimation of 3-D Line Segments from Satellite Images for Model Building and Change Detection
Ibrahim Eden, David B. Cooper
Classifiers Fusion for EEG Signals Processing in Human-Computer Interface Systems
Maryam Esmaeili
On Policy Learning in Restricted Policy Spaces
Robby Goetschalckx, Jan Ramon
Two Approaches for Building an Unsupervised Dependency Parser and Their Other Applications
Jagadeesh Gorla, Amit Goyal, Rajeev Sangal
ASKNet: Automated Semantic Knowledge Network
Brian Harrington
TeamTalk: A Platform for Multi-Human-Robot Dialog Research in Coherent Real and Virtual Spaces
Thomas K. Harris, Alexander I. Rudnicky
Reputation in the Venture Games
Philip Hendrix, Barbara J. Grosz
Evolutionary Rhythm Composition with Trajectory-based Fitness Evaluation
John Huddleston, Jianna Zhang
Identifying Protein Interaction Abstracts with Contextual Bag of Words
Hsi-Chuan Hung, Richard Tzong-Han Tsai, Wen-Lian Hsu
Modeling User Perception of Interaction Opportunities in Collaborative Human-Computer Settings
Ece Kamar, Barbara J. Grosz, David Sarne
Towards an Adaptive Approach for Distributed Resource Allocation in a Multi-agent System for Solving Dynamic Vehicle Routing Problems
Igor Kiselev, Andrey Glaschenko, Alexander Chevelev, Petr Skobelev
On Possible Applications of Rough Mereology to Handling Granularity in Ontological Knowledge
Pavel Klinov, Lawrence J. Mazlack
Fuzzy Set Theory-Based Belief Processing for Natural Language Texts
Ralf Krestel, René Witte, Sabine Bergler
Knowledge-Driven Learning and Discovery
Benjamin Lambert, Scott E. Fahlman
Reinforcement Using Supervised Learning for Policy Generalization
Julien Laumonier
Aggregating User-Centered Rankings to Improve Web Search
Lin Li, Zhenglu Yang, Masaru Kitsuregawa
Recommending Travel Packages Upon Distributed Knowledge
Fabiana Lorenzi, Ana L.C. Bazzan, Mara Abel
BlogVox: Learning Sentiment Classifiers
Justin Martineau, Akshay Java, Pranam Kolari, Tim Finin, Anupam Joshi, James Mayfield
Impromptu Teams of Heterogeneous Mobile Robots
Ross Mead, Jerry B. Weinberg
Time-Delay Neural Networks and Independent Component Analysis for EEG-Based Prediction of Epileptic Seizures Propagation
Piotr W. Mirowski, Deepak Madhavan, Yann LeCun
Using Iterated Best-Response to Find Bayes-Nash Equilibria in Auctions
Victor Naroditskiy, Amy Greenwald
The Marchitecture: A Cognitive Architecture for a Robot Baby
Marc Pickett I, Tim Oates
Integrative Construction and Analysis of Condition-specific Biological Networks
Sushmita Roy, Terran Lane, Margaret Werner-Washburne
Extracting Student Models for Intelligent Tutoring Systems
John C. Stamper, Tiffany Barnes, Marvin Croy
Unscented Message Passing for Arbitrary Continuous Variables in Bayesian Networks
Wei Sun, Kuo-Chu Chang
An Investigation into Computational Recognition of Children’s Jokes
Julia M. Taylor, Lawrence J. Mazlack
Representation Transfer via Elaboration
Matthew E. Taylor, Peter Stone
Situated Conversational Agents
Will Thompson
Scaling Up: Solving POMDPs through Value Based Clustering
Yan Virin, Guy Shani, Solomon E. Shimony, Ronen I. Brafman
Learn to Compress and Restore Sequential Data
Yi Wang, Jianhua Feng, Shixia Liu
Interest-Matching Comparisons Using CP-nets
Andrew W. Wicker, Jon Doyle
Counting Models Using Extension Rules
Minghao Yin, Hai Lin, Jigui Sun
User Model and Utility Based Power Management
Chih-Han Yu, Shie Mannor, Georgios Theocharous, Avi Pfeffer
Measuring the Uncertainty of Differences for Contrasting Groups
Jilian Zhang, Shichao Zhang, Xiaofeng Zhu, Xindong Wu, Chengqi Zhang
Cost-Sensitive Imputing Missing Values with Ordering
Xiaofeng Zhu, Shichao Zhang, Jilian Zhang, Chengqi Zhang
Doctoral Consortium Abstracts
Continuous State POMDPs for Object Manipulation Tasks
Emma Brunskill
Approximate Inference in Probabilistic Graphical Models with Determinism
Vibhav Gogate
Handling Non-Sentential Utterances in a Continuous Understanding Framework
Carlos Gómez Gallo
ASKNet: Automatically Generating Semantic Knowledge Networks
Brian Harrington
A Framework for Modeling Influence, Opinions and Structure in Social Media
Akshay Java
Empirical Game-Theoretic Methods for Strategy Design and Analysis in Complex Games
Christopher Kiekintveld
Using Spatial Language in Multi-Modal Knowledge Capture
Kate Lockwood
Responding to Student Affect and Efficacy through Empathetic Companion Agents in Interactive Learning Environments
Scott W. McQuiggan
The Übercruncher: Concept Formation by Analogy Discovery
Marc Pickett I
Harnessing Algorithm Bias in Classical Planning
Mark Roberts
Reacting to Agreement and Error in Spoken Dialogue Systems Using Degrees of Groundedness
Antonio Roque
A Framework for Ontology-Based Service Selection in Dynamic Environments
Murat Sensoy
Flexible Provisioning of Service Workflows
Sebastian Stein
Autonomous Inter-Task Transfer in Reinforcement Learning Domains
Matthew E. Taylor
Predictive Exploration for Autonomous Science
David R. Thompson
Spatial Reference Resolution for an Embodied Dialogue Agent
Timothy Weale
An Incentive Mechanism for Promoting Honesty in E-Marketplaces
Jie Zhang