Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence
Sponsored by the Association for the Advancement of Artificial Intelligence
Robert C. Holte and Adele Howe, Conference Cochairs
July 22–26, 2007, Vancouver, British Columbia. Published by The AAAI Press, Menlo Park, California. This proceedings is also available in book and CD format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. PDF file sizes may be large!
Contents
AAAI Organization / xxviii
Conference Committees / xxxii
Awards / liv
AAAI Preface / lvi
Robert C. Holte and Adele E. Howe
IAAI Preface / lviii William Cheetham and Mehmet Goker
Invited Speakers
Uncertainty in Preference Elicitation and Aggregation / 3
Toby Walsh
Logic for Automated Mechanism Design — A Progress Report / 9
Michael Wooldridge, Thomas Agotnes, Paul E. Dunne, and Wiebe van der Hoek
Technical Papers
Agents, Game Theory, Auctions, and Mechanism Design
Learning Equilibrium in Resource Selection Games / 18
Itai Ashlagi, Dov Monderer, and Moshe Tennenholtz
Action-Based Alternating Transition Systems for Arguments about Action / 24
Katie Atkinson and Trevor Bench-Capon
Implementing the Maximum of Monotone Algorithms / 30
Liad Blumrosen
Intention Guided Belief Revision / 36
Timothy William Cleaver and Abdul Sattar
The Impact of Network Topology on Pure Nash Equilibria in Graphical Games / 42
Bistra Dilkina, Carla P. Gomes, and Ashish Sabharwal
Potential-Aware Automated Abstraction of Sequential Games, and Holistic Equilibrium Analysis of Texas Hold'em Poker / 50
Andrew Gilpin, Tuomas Sandholm, and Troels Bjerre Sørensen
Automated Online Mechanism Design and Prophet Inequalities / 58
Mohammad Taghi Hajiaghayi, Robert Kleinberg, and Tuomas Sandholm
Real Arguments Are Approximate Arguments / 66
Anthony Hunter
Partial Revelation Automated Mechanism Design / 72
Nathanaël Hyafil and Craig Boutilier
Computing Pure Nash Equilibria in Symmetric Action Graph Games / 79
Albert Xin Jiang and Kevin Leyton-Brown
A Unification of Extensive-Form Games and Markov Decision Processes / 86
H. Brendan McMahan and Geoffrey J. Gordon
An Ironing-Based Approach to Adaptive Online Mechanism Design in Single-Valued Domains / 94
David C. Parkes and Quang Duong
On the Reasoning Patterns of Agents in Games / 102
Avi Pfeffer and Ya'akov Gal
Learning Voting Trees / 110
Ariel D. Procaccia, Aviv Zohar, Yoni Peleg, and Jeffrey S. Rosenschein
On the Benefits of Exploiting Underlying Goals in Argument-based Negotiation / 116
Iyad Rahwan, Philippe Pasquier, Liz Sonenberg, and Frank Dignum
Revenue Monotonicity in Combinatorial Auctions / 122
Baharak Rastegari, Anne Condon, and Kevin Leyton-Brown
A Multi-Dimensional Trust Model for Heterogeneous Contract Observations / 128
Steven Reece, Stephen Roberts, Alex Rogers, and Nicholas R. Jennings
Reasoning from Desires to Intentions: A Dialectical Framework / 136
Nicolás D. Rotstein, Alejandro J. García, and Guillermo R. Simari
A Logic of Emotions for Intelligent Agents / 142
Bas R. Steunebrink, Mehdi Dastani, and John-Jules Ch. Meyer
Valuation Uncertainty and Imperfect Introspection in Second-Price Auctions / 148
David R. M. Thompson and Kevin Leyton-Brown
Reasoning about Bargaining Situations / 154
Dongmo Zhang
Constraints and Satisfiability
On Balanced CSPs with High Treewidth / 161
Carlos Ansótegui, Ramón Béjar, César Fernàndez, and Carles Mateu
Inference Rules for High-Order Consistency in Weighted CSP / 167
Carlos Ansótegui, María L. Bonet, Jordi Levy, and Felip Manyà
Randomized Adaptive Spatial Decoupling for Large-Scale Vehicle Routing with Time Windows / 173
Russell Bent and Pascal Van Hentenryck
Search Space Reduction and Russian Doll Search / 179
Kenil C. K. Cheng and Roland H. C. Yap
Using More Reasoning to Improve #SAT Solving / 185
Jessica Davies and Fahiem Bacchus
Data Structures for Generalised Arc Consistency for Extensional Constraints / 191
Ian P. Gent, Chris Jefferson, Ian Miguel, and Peter Nightingale
Approximate Counting by Sampling the Backtrack-free Search Space / 198
Vibhav Gogate and Rina Dechter
Counting CSP Solutions Using Generalized XOR Constraints / 204
Carla P. Gomes, Willem-Jan van Hoeve, Ashish Sabharwal, and Bart Selman
Compressing Configuration Data for Memory Limited Devices / 210
Esben Rune Hansen and Peter Tiedemann
Interactive Configuration with Regular String Constraints / 217
Esben Rune Hansen and Henrik Reif Andersen
Using Expectation Maximization to Find Likely Assignments for Solving CSP's / 224
Eric I. Hsu, Matthew Kitching, Fahiem Bacchus, and Sheila A. McIlraith
Propagating Knapsack Constraints in Sublinear Time / 231
Irit Katriel, Meinolf Sellmann, Eli Upfal, and Pascal Van Hentenryck
Conservative Dual Consistency / 237
Christophe Lecoutre, Stéphane Cardon, and Julien Vion
Transposition Tables for Constraint Satisfaction / 243
Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, and Vincent Vidal
Multi-Objective Russian Doll Search / 249
Emma Rollon and Javier Larrosa
Learning to Solve QBF / 255
Horst Samulowitz and Roland Memisevic
Solving a Stochastic Queueing Design and Control Problem with Constraint Programming / 261
Daria Terekhov, J. Christopher Beck, and Kenneth N. Brown
Population-Based Simulated Annealing for Traveling Tournaments / 267
Pascal Van Hentenryck and Yannis Vergados
Synthesis of Constraint-Based Local Search Algorithms from High-Level Models / 273
Pascal Van Hentenryck and Laurent Michel
Knowledge and Information Systems
Learning by Reading: A Prototype System, Performance Baseline and Lessons Learned / 280
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, and Peter Yeh
A Temporal Mereology for Distinguishing between Integral Objects and Portions of Stuff / 287
Thomas Bittner and Maureen Donnelly
A Qualitative Approach to Multiple Fault Isolation in Continuous Systems / 293
Matthew Daigle, Xenofon Koutsoukos, and Gautam Biswas
Scalable Semantic Retrieval through Summarization and Refinement / 299
Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Edith Schonberg, Kavitha Srinivas, and Li Ma
Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms / 305
Alban Grastien, Anbulagan, Jussi Rintanen, and Elena Kelareva
On Capturing Semantics in Ontology Mapping / 311
Bo Hu, Srinandan Dasmahapatra, Paul Lewis, and Nigel Shadbolt
TableRank: A Ranking Algorithm for Table Search and Retrieval / 317
Ying Liu, Kun Bai, Prasenjit Mitra, and C. Lee Giles
Representative Explanations for Over-Constrained Problems / 323
Barry O'Sullivan, Alexandre Papadopoulos, Boi Faltings, and Pearl Pu
L2R: A Logical Method for Reference Reconciliation / 329
Fatiha Saïs, Nathalie Pernelle, and Marie Christine Rousset
A Spectrum of Symbolic On-line Diagnosis Approaches / 335
Anika Schumann, Yannick Pencolé, and Sylvie Thiébaux
Mining Web Query Hierarchies from Clickthrough Data / 341
Dou Shen, Min Qin, Weizhu Chen, Qiang Yang, and Zheng Chen
Posterior Probability Profiles for the Automated Assessment of the Recovery of Stroke Patients / 347
Gert Van Dijck, Jo Van Vaerenbergh, and Marc M. Van Hulle
Learning Causal Models for Noisy Biological Data Mining: An Application to Ovarian Cancer Detection / 354
Ghim-Eng Yap, Ah-Hwee Tan, and Hwee-Hwa Pang
Knowledge Representation and Logic
DL-Lite in the Light of First-Order Logic / 361
Alessandro Artale, Diego Calvanese, Roman Kontchakov, and Michael Zakharyaschev
An Egalitarist Fusion of Incommensurable Ranked Belief Bases under Constraints / 367
Salem Benferhat, Sylvain Lagrue, and Julien Rossit
Possibilistic Causal Networks for Handling Interventions: A New Propagation Algorithm / 373
Salem Benferhat and Salma Smaoui
Prime Implicates and Prime Implicants in Modal Logic / 379
Meghyn Bienvenu
Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems / 385
Gerhard Brewka and Thomas Eiter
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach / 391
Diego Calvanese, Thomas Eiter, and Magdalena Ortiz
Approximate Query Answering in Locally Closed Databases / 397
Álvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, and Maurice Bruynooghe
On the Approximation of Instance Level Update and Erasure in Description Logics / 403
Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, and Riccardo Rosati
Forgetting Actions in Domain Descriptions / 409
Esra Erdem and Paolo Ferraris
Discovering Near Symmetry in Graphs / 415
Maria Fox, Derek Long, and Julie Porteous
A Logical Theory of Coordination and Joint Ability / 421
Hojjat Ghaderi, Hector Levesque, and Yves Lespérance
Belief Change and Cryptographic Protocol Verification / 427
Aaron Hunter and James P. Delgrande
Generality and Equivalence Relations in Default Logic / 434
Katsumi Inoue and Chiaki Sakama
Mutual Belief Revision: Semantics and Computation / 440
Yi Jin, Michael Thielscher, and Dongmo Zhang
Measuring the Level of Transfer Learning by an AP Physics Problem-Solver / 446
Matthew Klenk and Kenneth D. Forbus
Complexity Boundaries for Horn Description Logics / 452
Markus Krötzsch, Sebastian Rudolph, and Pascal Hitzler
Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection / 458
Johannes Oetsch, Hans Tompits, and Stefan Woltran
Learning Large Scale Common Sense Models of Everyday Life / 465
William Pentney, Matthai Philipose, Jeff Bilmes, and Henry Kautz
A Model-based Approach for Merging Prioritized Knowledge Bases in Possibilistic Logic / 471
Guilin Qi
Description Logics for Multi-Issue Bilateral Negotiation with Incomplete Information / 477
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, and Francesco M. Donini
A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints / 483
Yi-Dong Shen and Jia-Huai You
Probabilistic Modal Logic / 489
Afsaneh Shirazi and Eyal Amir
A Modal Logic for Beliefs and Pro Attitudes / 496
Kaile Su, Abdul Sattar, Han Lin, and Mark Reynolds
Knowledge Compilation Properties of Tree-of-BDDs / 502
Sathiamoorthy Subbarayan, Lucas Bordeaux, and Youssef Hamadi
The Modal Logic S4F, the Default Logic, and the Logic Here-and-There / 508
Miroslaw Truszczynski
Machine Learning
Particle Filtering for Dynamic Agent Modelling in Simplified Poker / 515
Nolan Bard, Michael Bowling
A Mathematical Programming Formulation for Sparse Collaborative Computer Aided Diagnosis / 522
Jinbo Bi, Tao Xiong
Isometric Projection / 528
Deng Cai, Xiaofei He, Jiawei Han
Active Algorithm Selection / 534
Feilong Chen, Rong Jin
Transferring Naive Bayes Classifiers for Text Classification / 540
Wenyuan Dai, Gui-Rong Xue, Qiang Yang, Yong Yu
Relationship Identification for Social Network Discovery / 546
Christopher P. Diehl, Galileo Namata, Lise Getoor
A Reinforcement Learning Algorithm with Polynomial Interaction Complexity for Only-Costly-Observable MDPs / 553
Roy Fox, Moshe Tennenholtz
Compact Spectral Bases for Value Function Approximation Using Kronecker Factorization / 559
Jeff Johns, Sridhar Mahadevan, Chang Wang
A Method for Large-Scale l1-Regularized Logistic Regression / 565
Kwangmoo Koh, Seung-Jean Kim, Stephen Boyd
Efficient Reinforcement Learning with Relocatable Action Models / 572
Bethany R. Leffler, Michael L. Littman, Timothy Edmunds
Graph Partitioning Based on Link Distributions / 578
Bo Long, Mark (Zhongfei) Zhang, Philip S. Yu
Refining Rules Incorporated into Knowledge-Based Support Vector Learners Via Successive Linear Programming / 584
Richard Maclin, Edward Wild, Jude Shavlik, Lisa Torrey, Trevor Walker
Improving Learning in Networked Data by Combining Explicit and Mined Links / 590
Sofus A. Macskassy
Cautious Inference in Collective Classification / 596
Luke K. McDowell, Kalyan Moy Gupta, David W. Aha
Nonmyopic Informative Path Planning in Spatio-Temporal Models / 602
Alexandra Meliou, Andreas Krause, Carlos Guestrin, Joseph M. Hellerstein
Mapping and Revising Markov Logic Networks for Transfer Learning / 608
Lilyana Mihalkova, Tuyen Huynh, Raymond J. Mooney
Discovering Multivariate Motifs using Subsequence Density Estimation and Greedy Mixture Learning / 615
David Minnen, Charles L. Isbell, Irfan Essa, Thad Starner
M2ICAL Analyses HC-Gammon / 621
Wee-Chong Oon, Martin Henz
A Randomized String Kernel and Its Application to RNA Interference / 627
Shibin Qiu, Terran Lane, Ljubomir Buturovic
COD: Online Temporal Clustering for Outbreak Detection / 633
Tomás Singliar, Denver H. Dash
Abstraction in Predictive State Representations / 639
Vishal Soni, Satinder Singh
Efficient Structure Learning in Factored-State MDPs / 645
Alexander L. Strehl, Carlos Diuk, Michael L. Littman
Semi-Supervised Learning by Mixed Label Propagation / 651
Wei Tong, Rong Jin
Clustering with Local and Global Regularization / 657
Fei Wang, Changshui Zhang, Tao Li
Probabilistic Community Discovery Using Hierarchical Latent Gaussian Mixture Model / 663
Haizheng Zhang, C. Lee Giles, Henry C. Foley, John Yen
Multi-Label Learning by Instance Differentiation / 669
Min-Ling Zhang, Zhi-Hua Zhou
Semi-Supervised Learning with Very Few Labeled Training Examples / 675
Zhi-Hua Zhou, De-Chuan Zhan, Qiang Yang
Kernel Regression with Order Preferences / 681
Xiaojin Zhu, Andrew B. Goldberg
Multiagents
Agent Influence as a Predictor of Difficulty for Decentralized Problem-Solving / 688
Martin Allen, Shlomo Zilberstein
Computational Aspects of Covering in Dominance Graphs / 694
Felix Brandt, Felix Fischer
Allocating Goods on a Graph to Eliminate Envy / 700
Yann Chevaleyre, Ulle Endriss, Nicolas Maudet
Evolutionary and Lifetime Learning in Varying NK Fitness Landscape Changing Environments: An Analysis of Both Fitness and Diversity / 706
Dara Curran, Colm O'Riordan, Humphrey Sorensen
Improved State Estimation in Multiagent Settings with Continuous or Large Discrete State Spaces / 712
Prashant Doshi
Computational Complexity of Weighted Threshold Games / 718
Edith Elkind, Leslie Ann Goldberg, Paul Goldberg, Michael Wooldridge
Llull and Copeland Voting Broadly Resist Bribery and Control / 724
Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe
Towards a Cognitive Model of Crowd Behavior Based on Social Comparison Theory / 731
Natalie Fridman, Gal A. Kaminka
Centralized, Distributed or Something Else? Making Timely Decisions in Multi-Agent Systems / 738
Tim Harbers, Rajiv T. Maheswaran, Pedro Szekely
An α-approximation Protocol for the Generalized Mutual Assignment Problem / 744
Katsutoshi Hirayama
Anytime Coordination Using Separable Bilinear Programs / 750
Marek Petrik, Shlomo Zilberstein
Active Imitation Learning / 756
Aaron P. Shon, Deepak Verma, Rajesh P. N. Rao
Dynamic DFS Tree in ADOPT-ing / 763
Marius C. Silaghi, Makoto Yokoo
Efficient Statistical Methods for Evaluating Trading Agent Performance / 770
Eric Sodomka, John Collins, Maria Gini
Strongly Decomposable Voting Rules on Multiattribute Domains / 776
Lirong Xia, Jérôme Lang, Mingsheng Ying
Approximate Solutions of Interactive Dynamic Influence Diagrams Using Model Clustering / 782
Yifeng Zeng, Prashant Doshi, Qiongyu Chen
A New Algorithm for Generating Equilibria in Massive Zero-Sum Games / 788
Martin Zinkevich, Michael Bowling, Neil Burch
Multidisciplinary Topics and Applications
A Logic of Agent Programs / 795
N. Alechina, M. Dastani, B. S. Logan, J.-J. Ch. Meyer
Acquiring Visibly Intelligent Behavior with Example-Guided Neuroevolution / 801
Bobby D. Bryant, Risto Miikkulainen
Actively Exploring Creation of Face Space(s) for Improved Face Recognition / 809
Nitesh V. Chawla, Kevin W. Bowyer
Modeling Reciprocal Behavior in Human Bilateral Negotiation / 815
Ya’akov Gal, Avi Pfeffer
Gender-Sensitive Automated Negotiators / 821
Ron Katz, Sarit Kraus
A Connectionist Cognitive Model for Temporal Synchronisation and Learning / 827
Luís C. Lamb, Rafael V. Borges, Artur S. d’Avila Garcez
Enabling Domain-Awareness for a Generic Natural Language Interface / 833
Yunyao Li, Ishan Chaudhuri, Huahai Yang, Satinder Singh, H. V. Jagadish
A Corpus-Based Hybrid Approach to Music Analysis and Composition / 839
Bill Manaris, Patrick Roos, Penousal Machado, Dwight Krehbiel, Luca Pellicoro, Juan Romero
Recognition of Hand Drawn Chemical Diagrams / 846
Tom Y. Ouyang, Randall Davis
Authorial Idioms for Target Distributions in TTD-MDPs / 852
David L. Roberts, Sooraj Bhat, Kenneth St. Clair, Charles L. Isbell
Visualization and Adjustment of Evaluation Functions Based on Evaluation Values and Win Probability / 858
Shogo Takeuchi, Tomoyuki Kaneko, Kazunori Yamaguchi, Satoru Kawai
Humans Perform Semi-Supervised Classification Too / 864
Xiaojin Zhu, Timothy Rogers, Ruichen Qian, Chuck Kalish
Natural-Language Processing
Semantic Inference at the Lexical-Syntactic Level / 871
Roy Bar-Haim, Ido Dagan, Iddo Greental, Eyal Shnarch
Turning Lectures into Comic Books Using Linguistically Salient Gestures / 877
Jacob Eisenstein, Regina Barzilay, Randall Davis
A Robot That Uses Existing Vocabulary to Infer Non-Visual Word Meanings from Observation / 883
Kevin Gold, Brian Scassellati
ASKNet: Automated Semantic Knowledge Network / 889
Brian Harrington, Stephen Clark
Learning Language Semantics from Ambiguous Supervision / 895
Rohit J. Kate, Raymond J. Mooney
Disambiguating Noun Compounds / 901
Su Nam Kim, Timothy Baldwin
A Meta-learning Approach for Selecting between Response Automation Strategies in a Help-desk Domain / 907
Yuval Marom, Ingrid Zukerman, Nathalie Japkowicz
Joint Inference in Information Extraction / 913
Hoifung Poon, Pedro Domingos
Content Analysis for Proactive Intelligence: Marshaling Frame Evidence / 919
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 / 925
Guihua Sun, Gao Cong, Xiaohua Liu, Chin-Yew Lin, Ming Zhou
Single Document Summarization with Document Expansion / 931
Xiaojun Wan, Jianwu Yang
Recognizing Textual Entailment Using a Subsequence Kernel Method / 937
Rui Wang, Günter Neumann
Reasoning about Plans, Processes, and Actions
Incorporating Observer Biases in Keyhole Plan Recognition (Efficiently!) / 944
Dorit Avrahami-Zilberbrand, Gal A. Kaminka
Concurrent Action Execution with Shared Fluents / 950
Michael Buro, Alexander Kovarsky
A Situation-Calculus Semantics for an Expressive Fragment of PDDL / 956
Jens Claßen, Yuxiao Hu, Gerhard Lakemeyer
A Modular Action Description Language for Protocol Composition / 962
Nirmit Desai, Munindar P. Singh
Detecting Execution Failures Using Learned Action Models / 968
Maria Fox, Jonathan Gough, Derek Long
ESP: A Logic of Only-Knowing, Noisy Sensing and Acting / 974
Alfredo Gabaldon, Gerhard Lakemeyer
Action-Space Partitioning for Planning / 980
Natalia H. Gardiol, Leslie Pack Kaelbling
Planning as Satisfiability with Preferences / 987
Enrico Giunchiglia, Marco Maratea
Filtering, Decomposition and Search Space Reduction for Optimal Sequential Planning / 993
Stéphane Grandcolas, Cyril Pain-Barre
Stochastic Filtering in a Probabilistic Action Model / 999
Hannaneh Hajishirzi, Eyal Amir
Domain-Independent Construction of Pattern Database Heuristics for Cost-Optimal Planning / 1007
Patrik Haslum, Adi Botea, Malte Helmert, Blai Bonet, Sven Koenig
Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty / 1013
Jörg Hoffmann, Piergiorgio Bertoli, Marco Pistore
Understanding Performance Tradeoffs in Algorithms for Solving Oversubscribed Scheduling / 1019
Laurence A. Kramer, Laura V. Barbulescu, Stephen F. Smith
The Semantics of Variables in Action Descriptions / 1025
Vladimir Lifschitz, Wanwan Ren
On the Partial Observability of Temporal Uncertainty / 1031
Michael D. Moffitt
Minimal Mental Models / 1038
David V. Pynadath, Stacy C. Marsella
Asymptotically Optimal Encodings of Conformant Planning in QBF / 1045
Jussi Rintanen
Expressiveness of ADL and Golog: Functions Make a Difference / 1051
Gabriele Röger, Bernhard Nebel
Purely Epistemic Markov Decision Processes / 1057
Régis Sabbadin, Jérôme Lang, Nasolo Ravoanjanahry
Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors / 1063
Sebastian Sardina, Fabio Patrizi, Giuseppe De Giacomo
Optimal Regression for Reasoning about Knowledge and Actions / 1070
Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
Robotics and Perception
A Vision-Based System for a UGV to Handle a Road Intersection / 1077
Javed Ahmed, Mubarak Shah, Andrew Miller, Don Harper, and M. N. Jafri
Topological Mapping with Weak Sensory Data / 1083
Gregory Dudek, Dimitri Marinakis
Hybrid Inference for Sensor Network Localization Using a Mobile Robot / 1089
Dimitrios Marinakis, David Meger, Ioannis Rekleitis, Gregory Dudek
Autonomous Development of a Grounded Object Ontology by a Learning Robot / 1095
Joseph Modayil, Benjamin Kuipers
Online Co-Localization in Indoor Wireless Networks by Dimension Reduction / 1102
Jeffrey Junfeng Pan, Qiang Yang, Sinno Jialin Pan
Adaptive Localization in a Dynamic WiFi Environment through Multi-view Learning / 1108
Sinno Jialin Pan, James T. Kwok, Qiang Yang, Jeffrey Junfeng Pan
Simple Robots with Minimal Sensing: From Local Visibility to Global Geometry / 1114
Subhash Suri, Elias Vicari, Peter Widmayer
Photometric and Geometric Restoration of Document Images Using Inpainting and Shape-from-Shading / 1121
Li Zhang, Andy M. Yip, Chew Lim Tan
Detection of Multiple Deformable Objects using PCA-SIFT / 1127
Stefan Zickler, Alexei Efros
Search and Metareasoning
Heuristic Evaluation Functions for General Game Playing / 1134
James Clune
On the Value of Good Advice: The Complexity of A* Search with Accurate Heuristics / 1140
Hang Dinh, Alexander Russell, Yuan Su
Best-First Search for Treewidth / 1146
P. Alex Dow, Richard E. Korf
Automatic Algorithm Configuration Based on Local Search / 1152
Frank Hutter, Holger H. Hoos, Thomas Stützle
Near-Optimal Search in Continuous Domains / 1158
Samuel Ieong, Nicolas Lambert, Yoav Shoham, Ronen Brafman
Analyzing the Performance of Pattern Database Heuristics / 1164
Richard E. Korf
Best-First AND/OR Search for Graphical Models / 1171
Radu Marinescu, Rina Dechter
Theta*: Any-Angle Path Planning on Grids / 1177
Alex Nash, Kenny Daniel, Sven Koenig, Ariel Felner
Anytime Optimal Coalition Structure Generation / 1184
Talal Rahwan, Sarvapali D. Ramchurn, Viet D. Dang, Andrea Giovannucci, Nicholas R. Jennings
Fluxplayer: A Successful General Game Player / 1191
Stephan Schiffel, Michael Thielscher
Combining Multiple Heuristics Online / 1197
Matthew Streeter, Daniel Golovin, Stephen F. Smith
Restart Schedules for Ensembles of Problem Instances / 1204
Matthew Streeter, Daniel Golovin, Stephen F. Smith
Inconsistent Heuristics / 1211
Uzi Zahavi, Ariel Felner, Jonathan Schaeffer, Nathan Sturtevant
Parallel Structured Duplicate Detection / 1217
Rong Zhou, Eric A. Hansen
Uncertainty in AI
VOILA: Efficient Feature-value Acquisition for Classification / 1225
Mustafa Bilgic, Lise Getoor
Computing Optimal Subsets / 1231
Maxim Binshtok, Ronen I. Brafman, Solomon E. Shimony, Ajay Mani, Craig Boutilier
Indefinite-Horizon POMDPs with Action-Based Termination / 1237
Eric A. Hansen
Point-Based Policy Iteration / 1243
Shihao Ji, Ronald Parr, Hui Li, Xuejun Liao, Lawrence Carin
Thresholded Rewards: Acting Optimally in Timed, Zero-Sum Games / 1250
Colin McMillen, Manuela Veloso
Macroscopic Models of Clique Tree Growth for Bayesian Networks / 1256
Ole J. Mengshoel
Sampling with Memoization / 1263
Avi Pfeffer
Logical Generative Models for Probabilistic Reasoning about Existence, Roles and Identity / 1271
David Poole
Learning Graphical Model Structure Using L1-Regularization Paths / 1278
Mark Schmidt, Alexandru Niculescu-Mizil, Kevin Murphy
On the Identification of a Class of Linear Models / 1284
Jin Tian
Scaling Up: Solving POMDPs through Value Based Clustering / 1290
Yan Virin, Guy Shani, Solomon Eyal Shimony, Ronen Brafman
Generalized Evidence Pre-propagated Importance Sampling for Hybrid Bayesian Networks / 1296
Changhe Yuan, Marek J. Druzdzel
Special Track on Artificial Intelligence and the Web
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies / 1304
Jie Bao, Giora Slutzki, and Vasant Honavar
Modeling Contextual Factors of Click Rates / 1310
Hila Becker, Christopher Meek, and David Maxwell Chickering
Harvesting Relations from the Web — Quantifiying the Impact of Filtering Functions / 1316
Sebastian Blohm, Philipp Cimiano, and Egon Stemle
KA-CAPTCHA: An Opportunity for Knowledge Acquisition on the Web / 1322
Bruno Norberto da Silva, and Ana Cristina Bicharra Garcia
Representing and Reasoning about Commitments in Business Processes / 1328
Nirmit Desai, Amit K. Chopra, and Munindar P. Singh
Topic Segmentation Algorithms for Text Summarization and Passage Retrieval: An Exhaustive Evaluation / 1334
Gaël Dias, Elsa Alves, and José Gabriel Pereira Lopes
The Impact of Time on the Accuracy of Sentiment Classifiers Created from a Web Log Corpus / 1340
Kathleen T. Durant and Michael D. Smith
A Distributed Constraint Optimization Solution to the P2P Video Streaming Problem / 1347
Theodore Elhourani, Nathan Denny, and Michael Marefat
Analyzing Reading Behavior by Blog Mining / 1353
Tadanobu Furukawa, Mitsuru Ishizuka, Yutaka Matsuo, Ikki Ohmukai, and Koki Uchiyama
PhotoSlap: A Multi-player Online Game for Semantic Annotation / 1359
Chien-Ju Ho, Tsung-Hsiang Chang, and Jane Yung-jen Hsu
Mobile Service for Reputation Extraction from Weblogs — Public Experiment and Evaluation / 1365
Takahiro Kawamura, Shinichi Nagano, Masumi Inaba, and Yumiko Mizoguchi
Extracting Influential Nodes for Information Diffusion on a Social Network / 1371
Masahiro Kimura, Kazumi Saito, and Ryohei Nakano
SUNNY: A New Algorithm for Trust Inference in Social Networks Using Probabilistic Confidence Models / 1377
Ugur Kuter and Jennifer Golbeck
Making the Difference in Semantic Web Service Composition / 1383
Freddy Lécue and Alexandre Delteil
A Planning Approach for Message-Oriented Semantic Web Service Composition / 1389
Zhen Liu, Anand Ranganathan, and Anton Riabov
Robust Estimation of Google Counts for Social Network Extraction / 1395
Yutaka Matsuo, Hironori Tomobe, and Takuichi Nishimura
Unsupervised Shilling Detection for Collaborative Filtering / 1402
Bhaskar Mehta
Repairing Ontology Mappings / 1408
Christian Meilicke, Heiner Stuckenschmidt, and Andrei Tamilin
Relation Extraction from Wikipedia Using Subtree Mining / 1414
Dat P. T. Nguyen, Yutaka Matsuo, and Mitsuru Ishizuka
From Whence Does Your Authority Come? Utilizing Community Relevance in Ranking / 1421
Lan Nie, Brian D. Davison, and Baoning Wu
Finding Related Pages Using Green Measures: An Illustration with Wikipedia / 1427
Yann Ollivier and Pierre Senellart
Approximating OWL-DL Ontologies / 1434
Jeff Z. Pan and Edward Thomas
Deriving a Large-Scale Taxonomy from Wikipedia / 1440
Simone Paolo Ponzetto and Michael Strube
Towards Large Scale Argumentation Support on the Semantic Web / 1446
Iyad Rahwan, Fouad Zablith, and Chris Reed
Provisioning Heterogeneous and Unreliable Providers for Service Workflows / 1452
Sebastian Stein, Nicholas R. Jennings, and Terry R. Payne
Partial Matchmaking using Approximate Subsumption / 1459
Heiner Stuckenschmidt
GRIN: A Graph Based RDF Index / 1465
Octavian Udrea, Andrea Pugliese, and V. S. Subrahmanian
Comprehending and Generating Apt Metaphors: A Web-driven, Case-based Approach to Figurative Language / 1471
Tony Veale and Yanfen Hao
Reasoning about Attribute Authenticity in a Web Environment / 1477
Thomas Wölfl
Towards Efficient Dominant Relationship Exploration of the Product Items on the Web / 1483
Zhenglu Yang, Lin Li, Botao Wang, and Masaru Kitsuregawa
Improving Similarity Measures for Short Segments of Text / 1489
Wen-tau Yih and Christopher Meek
Design of a Mechanism for Promoting Honesty in E-Marketplaces / 1495
Jie Zhang and Robin Cohen
Temporal and Information Flow Based Event Detection from Social Text Streams / 1501
Qiankun Zhao, Prasenjit Mitra, Bi Chen
Template-Independent News Extraction Based on Visual Consistency / 1507
Shuyi Zheng, Ruihua Song, and Ji-Rong Wen
Special Track on Integrated Intelligence
PLOW: A Collaborative Task Learning Agent / 1514
James Allen, Nathanael Chambers, George Ferguson, Lucian Galescu, Hyuckchul Jung, Mary Swift, and William Taysom
An Architecture for Adaptive Algorithmic Hybrids / 1520
Nicholas Cassimatis, Magdalena Bugajska, Scott Dugas, Arthi Murugesan, and Paul Bello
Learning to Sing Like a Bird: The Self-Supervised Acquisition of Birdsong / 1527
Michael H. Coen
R-CAST: Integrating Team Intelligence for Human-Centered Teamwork / 1535
Xiaocong Fan and John Yen
Integrating Natural Language, Knowledge Representation and Reasoning, and Analogical Processing to Learn by Reading / 1542
Kenneth D. Forbus, Christopher Riesbeck, Lawrence Birnbaum, Kevin Livingston, Abhishek Sharma, and Leo Ureel
Towards an Integrated Robot with Multiple Cognitive Functions / 1548
Nick Hawes, Aaron Sloman, Jeremy Wyatt, Michael Zillich, Henrik Jacobsson, Geert-Jan M. Kruijff, Michael Brenner, Gregor Berginc, and Danijel Skocaj
Spatial Representation and Reasoning for Human-Robot Collaboration / 1554
William G. Kennedy, Magdalena D. Bugajska, Matthew Marge, William Adams, Benjamin R. Fransen, Dennis Perzanowski, Alan C. Schultz, and J. Gregory Trafton
Extending Cognitive Architecture with Episodic Memory / 1560
Andrew M. Nuxoll and John E. Laird
Integrated Introspective Case-Based Reasoning for Intelligent Tutoring Systems / 1566
Leen-Kiat Soh
Predicate Projection in a Bimodal Spatial Reasoning System / 1572
Samuel Wintermute and John E. Laird
An Intelligent System for Chinese Calligraphy / 1578
Songhua Xu, Hao Jiang, Francis C. M. Lau, and Yunhe Pan
An Integrated Robotic System for Spatial Understanding and Situated Interaction in Indoor Environments / 1584
Hendrik Zender, Patric Jensfelt, óscar Martínez Mozos, Geert-Jan M. Kruijff, and Wolfram Burgard
A Text-to-Picture Synthesis System for Augmenting Communication / 1590
Xiaojin Zhu, Andrew B. Goldberg, Mohamed Eldawy, Charles R. Dyer, and Bradley Strock
Senior Member Papers
On the Prospects for Building a Working Model of the Visual Cortex / 1597
Thomas Dean, Glenn Carroll, and Richard Washington
Model-lite Planning for the Web Age Masses: The Challenges of Planning with Incomplete and Evolving Domain Models / 1601
Subbarao Kambhampati
New Scientific and Technical Advances in Research Papers (NECTAR)
Online Collective Entity Resolution / 1606
Indrajit Bhattacharya and Lise Getoor
Learning by Combining Observations and User Edits / 1610
Vittorio Castelli, Lawrence Bergman, and Daniel Oblinger
Using Eye-Tracking Data for High-Level User Modeling in Adaptive Interfaces / 1614
Cristina Conati, Christina Merten, Saleema Amershi, and Kasia Muldner
Informed Case Base Maintenance: A Complexity Profiling Approach / 1618
Susan Craw, Stewart Massie, and Nirmalie Wiratunga
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming / 1622
Agostino Dovier, Andrea Formisano, and Enrico Pontelli
Efficient Datalog Abduction through Bounded Treewidth / 1626
Georg Gottlob, Reinhard Pichler, and Fang Wei
The Pyramid Match: Efficient Learning with Partial Correspondences / 1632
Kristen Grauman
A Kernel Approach to Comparing Distributions / 1637
Arthur Gretton, Karsten M. Borgwardt, Malte Rasch, Bernhard Schölkopf, and Alexander J. Smola
A* Search via Approximate Factoring / 1642
Aria Haghighi, John DeNero, and Dan Klein
Manifold Denoising as Preprocessing for Finding Natural Representations of Data / 1646
Matthias Hein and Markus Maier
Near-optimal Observation Selection using Submodular Functions / 1650
Andreas Krause and Carlos Guestrin
Dominance and Equivalence for Sensor-Based Agents / 1655
Jason M. O'Kane and Steven M. LaValle
Modeling and Learning Vague Event Durations for Temporal Reasoning / 1659
Feng Pan, Rutu Mulkar-Mehta, and Jerry R. Hobbs
Learning and Inference for Hierarchically Split PCFGs / 1663
Slav Petrov and Dan Klein
Refutation by Randomised General Resolution / 1667
Steven Prestwich and Inês Lynce
Beyond Individualism: Modeling Team Playing Behavior in Robot Soccer through Case-Based Reasoning / 1671
Raquel Ros, Manuela Veloso, Ramon López de Mántaras, Carles Sierra, and Josep Lluis Arcos
Temporal Difference and Policy Search Methods for Reinforcement Learning: An Empirical Comparison / 1675
Matthew E. Taylor, Shimon Whiteson, and Peter Stone
Making VCG More Robust in Combinatorial Auctions via Submodular Approximation / 1679
Makoto Yokoo and Atsushi Iwasaki
Innovative Applications of Artificial Intelligence
Deployed Applications
Using AI for e-Government Automatic Assessment of Immigration Application Forms / 1684
Andy Hon Wai Chun
The VITA Financial Services Sales Support Environment / 1692
Alexander Felfernig, Klaus Isak, Kalman Szabo, and Peter Zachar
Biomind ArrayGenius and GeneGenius: Web Services Offering Microarray and SNP Data Analysis via Novel Machine Learning Methods / 1700
Ben Goertzel, Cassio Pennachin, Lucio Coelho, Leonardo Shikida, and Murilo Queiroz
MasDISPO: A Multiagent Decision Support System for Steel Production and Control / 1707
Sven Jacobi, Esteban León-Soto, Cristián Madrigal-Mora, and Klaus Fischer
Custom DU® — A Web Based Business User Driven Automated Underwriting System / 1715
Srinivas Krovvidy, Robin Landsman, Steve Opdahl, Nancy Templeton, and Sydnor Smalera
Journal-Ranking.com: An Online Interactive Journal Ranking System / 1723
Andrew Lim, Hong Ma, Qi Wen, Zhou Xu, Brenda Cheang, Bernard Tan, and Wenbin Zhu
The Virtual Solar-Terrestrial Observatory: A Deployed Semantic Web Application Case Study for Scientific Research / 1730
Deborah McGuinness, Peter Fox, Luca Cinquini, Patrick West, Jose Garcia, James L. Benedict, and Don Middleton
Fish Inspection System using a Parallel Neural Network Chip and Image Knowledge Builder Application / 1738
Anne Menendez and Guy Paillet
Enabling Intelligent Content Discovery on the Mobile Internet / 1744
Barry Smyth, Paul Cotter, and Stephen Oman
Coordinating Hundreds of Cooperative, Autonomous Vehicles in Warehouses / 1752
Peter R. Wurman, Raffaello D'Andrea, and Mick Mountz
Emerging Applications
Real-Time Identification of Operating Room State from Video / 1761
Beenish Bhatia, Tim Oates, Yan Xiao, and Peter Hu
Wings for Pegasus: Creating Large-Scale Scientific Applications Using Semantic Representations of Computational Workflows / 1767
Yolanda Gil, Varun Ratnakar, Ewa Deelman, Gaurang Mehta, and Jihie Kim
A Multi-Agent Approach to Distributed Rendering Optimization / 1775
Carlos Gonzalez-Morcillo, Gerhard Weiss, Luis Jimenez, and David Vallejo
Optimizing Anthrax Outbreak Detection Using Reinforcement Learning / 1781
Masoumeh T. Izadi and David L. Buckeridge
Supporting Feedback and Assessment of Digital Ink Answers to In-Class Exercises / 1787
Kimberle Koile, Kevin Chevalier, Michel Rbeiz, Adam Rogal, David Singer, Jordan Sorensen, Amanda Smith, Kah Seng Tay, and Kenneth Wu
Adaptive Timeout Policies for Fast Fine-Grained Power Management / 1795
Branislav Kveton, Prashant Gandhi, Georgios Theocharous, Shie Mannor, Barbara Rosario, and Nilesh Shah
RETALIATE: Learning Winning Policies in First-Person Shooter Games / 1791
Megan Smith, Stephen Lee-Urban, and Héctor Muñoz-Avila
Machine Learning for Automatic Mapping of Planetary Surfaces / 1807
Tomasz F. Stepinski, Soumya Ghosh, and Ricardo Vilalta
Optimal Multi-Agent Scheduling with Constraint Programming / 1813
Willem-Jan van Hoeve, Carla P. Gomes, Bart Selman, and Michele Lombardi
Stochastic Optimization for Collision Selection in High Energy Physics / 1819
Shimon Whiteson and Daniel Whiteson
An Integrated Development Environment and Architecture for Soar-Based Agents / 1826
Ari Yakir and Gal Kaminka
Adaptive Traitor Tracing with Bayesian Networks / 1833
Philip Zigoris and Hongxia Jin
Student Abstracts
Data Clustering with a Relational Push-Pull Model / 1840
Adam Anthony and Marie desJardins
UNDERTOW: Multi-Level Segmentation of Real-Valued Time Series / 1842
Tom Armstrong and Tim Oates
Explanation Support for the Case-Based Reasoning Tool myCBR / 1844
Daniel Bahls and Thomas Roth-Berghofer
A Markovian Model for Dynamic and Constrained Resource Allocation Problems / 1846
Camille Besse and Brahim Chaib-draa
Implementing Modal Extensions of Defeasible Logic for the Semantic Web / 1848
Nikos Dimaresis and Grigoris Antoniou
Ungreedy Methods for Chinese Deterministic Dependency Parsing / 1850
Xiangyu Duan, Jun Zhao, and Bo Xu
Using Multiresolution Learning for Transfer in Image Classification / 1852
Eric Eaton, Marie desJardins, and John Stevenson
Robust Estimation of 3-D Line Segments from Satellite Images for Model Building and Change Detection / 1854
Ibrahim Eden and David B. Cooper
Classifiers Fusion for EEG Signals Processing in Human-Computer Interface Systems / 1856
Maryam Esmaeili
On Policy Learning in Restricted Policy Spaces / 1858
Robby Goetschalckx and Jan Ramon
Two Approaches for Building an Unsupervised Dependency Parser and Their Other Applications / 1860
Jagadeesh Gorla, Amit Goyal, and Rajeev Sangal
ASKNet: Automated Semantic Knowledge Network / 1862
Brian Harrington
TeamTalk: A Platform for Multi-Human-Robot Dialog Research in Coherent Real and Virtual Spaces / 1864
Thomas K. Harris and Alexander I. Rudnicky
Reputation in the Venture Games / 1866
Philip Hendrix and Barbara J. Grosz
Evolutionary Rhythm Composition with Trajectory-based Fitness Evaluation / 1868
John Huddleston and Jianna Zhang
Identifying Protein Interaction Abstracts with Contextual Bag of Words / 1870
Hsi-Chuan Hung, Richard Tzong-Han Tsai, and Wen-Lian Hsu
Modeling User Perception of Interaction Opportunities in Collaborative Human-Computer Settings / 1872
Ece Kamar, Barbara J. Grosz, and David Sarne
Towards an Adaptive Approach for Distributed Resource Allocation in a Multi-agent System for Solving Dynamic Vehicle Routing Problems / 1874
Igor Kiselev, Andrey Glaschenko, Alexander Chevelev, and Petr Skobelev
On Possible Applications of Rough Mereology to Handling Granularity in Ontological Knowledge / 1876
Pavel Klinov and Lawrence J. Mazlack
Fuzzy Set Theory-Based Belief Processing for Natural Language Texts / 1878
Ralf Krestel, René Witte, and Sabine Bergler
Knowledge-Driven Learning and Discovery / 1880
Benjamin Lambert and Scott E. Fahlman
Reinforcement Using Supervised Learning for Policy Generalization / 1882
Julien Laumonier
Aggregating User-Centered Rankings to Improve Web Search / 1884
Lin Li, Zhenglu Yang, and Masaru Kitsuregawa
Recommending Travel Packages Upon Distributed Knowledge / 1886
Fabiana Lorenzi, Ana L.C. Bazzan, and Mara Abel
BlogVox: Learning Sentiment Classifiers / 1888
Justin Martineau, Akshay Java, Pranam Kolari, Tim Finin, Anupam Joshi, and James Mayfield
Impromptu Teams of Heterogeneous Mobile Robots / 1890
Ross Mead and Jerry B. Weinberg
Time-Delay Neural Networks and Independent Component Analysis for EEG-Based Prediction of Epileptic Seizures Propagation / 1892
Piotr W. Mirowski, Deepak Madhavan, and Yann LeCun
Using Iterated Best-Response to Find Bayes-Nash Equilibria in Auctions / 1894
Victor Naroditskiy and Amy Greenwald
The Marchitecture: A Cognitive Architecture for a Robot Baby / 1896
Marc Pickett I and Tim Oates
Integrative Construction and Analysis of Condition-specific Biological Networks / 1898
Sushmita Roy, Terran Lane, and Margaret Werner-Washburne
Extracting Student Models for Intelligent Tutoring Systems / 1900
John C. Stamper, Tiffany Barnes, and Marvin Croy
Unscented Message Passing for Arbitrary Continuous Variables in Bayesian Networks / 1902
Wei Sun and Kuo-Chu Chang
An Investigation into Computational Recognition of Children’s Jokes / 1904
Julia M. Taylor and Lawrence J. Mazlack
Representation Transfer via Elaboration / 1906
Matthew E. Taylor and Peter Stone
Situated Conversational Agents / 1908
Will Thompson
Scaling Up: Solving POMDPs through Value Based Clustering / 1910
Yan Virin, Guy Shani, Solomon E. Shimony and Ronen I. Brafman
Learn to Compress and Restore Sequential Data / 1912
Yi Wang, Jianhua Feng and Shixia Liu
Interest-Matching Comparisons using CP-nets / 1914
Andrew W. Wicker and Jon Doyle
Counting Models using Extension Rules / 1916
Minghao Yin, Hai Lin, and Jigui Sun
User Model and Utility Based Power Management / 1918
Chih-Han Yu, Shie Mannor, Georgios Theocharous, and Avi Pfeffer
Measuring the Uncertainty of Differences for Contrasting Groups / 1920
Jilian Zhang, Shichao Zhang, Xiaofeng Zhu, Xindong Wu, and Chengqi Zhang
Cost-Sensitive Imputing Missing Values with Ordering / 1922
Xiaofeng Zhu, Shichao Zhang, Jilian Zhang, and Chengqi Zhang
AAAI / SIGART Doctoral Consortium
Continuous State POMDPs for Object Manipulation Tasks / 1925
Emma Brunskill
Approximate Inference in Probabilistic Graphical Models with Determinism / 1927
Vibhav Gogate
Handling Non-Sentential Utterances in a Continuous Understanding Framework / 1929
Carlos Gómez Gallo
ASKNet: Automatically Generating Semantic Knowledge Networks / 1931
Brian Harrington
A Framework for Modeling Influence, Opinions and Structure in Social Media / 1933
Akshay Java
Empirical Game-Theoretic Methods for Strategy Design and Analysis in Complex Games / 1935
Christopher Kiekintveld
Using Spatial Language in Multi-Modal Knowledge Capture / 1937
Kate Lockwood
Responding to Student Affect and Efficacy through Empathetic Companion Agents in Interactive Learning Environments / 1939
Scott W. McQuiggan
The Übercruncher: Concept Formation by Analogy Discovery / 1941
Marc Pickett I
Harnessing Algorithm Bias in Classical Planning / 1943
Mark Roberts
Reacting to Agreement and Error in Spoken Dialogue Systems Using Degrees of Groundedness / 1945
Antonio Roque
A Framework for Ontology-Based Service Selection in Dynamic Environments / 1947
Murat Sensoy
Flexible Provisioning of Service Workflows / 1949
Sebastian Stein
Autonomous Inter-Task Transfer in Reinforcement Learning Domains / 1951
Matthew E. Taylor
Predictive Exploration for Autonomous Science / 1953
David R. Thompson
Spatial Reference Resolution for an Embodied Dialogue Agent / 1955
Timothy Weale
An Incentive Mechanism for Promoting Honesty in E-Marketplaces / 1957
Jie Zhang
Intelligent Systems Demonstrations
AURA: Enabling Subject Matter Experts to Construct Declarative Knowledge Bases from Science Textbooks / 1960
Ken Barker, Vinay K. Chaudhri, Shaw-Yi Chaw, Peter E. Clark, Daniel Hansch, Bonnie E. John, Sunil Mishra, John Pacheco, Bruce Porter, Aaron Spaulding, and Moritz Weiten
Freebase: A Shared Database of Structured General Human Knowledge / 1962
Kurt Bollacker, Robert Cook, and Patrick Tufts
Disaster Evacuation Support / 1964
Christopher J. Carpenter, Christopher J. Dugan, Joseph B. Kopena, Robert N. Lass, Gaurav Naik, Duc N. Nguyen, Evan Sultanik, Pragnesh Jay Modi, and William C. Regli
The PhotoSlap Game: Play to Annotate / 1966
Tsung-Hsiang Chang, Chien-Ju Ho, and Jane Yung-jen Hsu
A Demonstration of ScriptEase Interruptible and Resumable Behaviors for CRPGs / 1968
Maria Cutumisu, Duane Szafron, Jonathan Schaeffer, Kevin Waugh, Curtis Onuczko, Jeff Siegel, and Allan Schumacher
The More the Merrier: Multi-Party Negotiation with Virtual Humans / 1970
Patrick Kenny, Arno Hartholt, Jonathan Gratch, David Traum, Stacy Marsella, and Bill Swartout
A Deployed Semantically-Enabled Interdisciplinary Virtual Observatory / 1972
Deborah McGuinness, Peter Fox, Luca Cinquini, Patrick West, Jose Garcia, James L. Benedict, and Don Middleton
Generating and Solving Logic Puzzles through Constraint Satisfaction / 1974
Barry O'Sullivan and John Horan
An Interactive Constraint-Based Approach to Sudoku / 1976
Christopher G. Reeson, Kai-Chen Huang, Kenneth M. Bayer, and Berthe Y. Choueiry
Mobile Robot Competition and Exhibition
A Mixed Reality Approach to Undergraduate Robotics Education / 1979
John Anderson and Jacky Baltes
KSU Willie in Semantic Vision Challenge / 1981
David Gustafson, Aaron Chavez, Michael Marlen, Andrew King, Alejandro Alliana, and Ondrej Linda
The UBC Semantic Robot Vision System / 1983
Scott Helmer, David Meger, Per-Erik Forssén, Tristram Southey, Sancho McCann, Pooyan Fazli, Jim Little, and David Lowe
A Robotic Weight Loss Coach / 1985
Cory D. Kidd and Cynthia Breazeal
OPTIMOL: A Framework for Online Picture Collection via Incremental Model Learning / 1987
Li-Jia Li, Juan Carlos Niebles, and Li Fei-Fei
An Implementation of Robot Formations using Local Interactions / 1989
Ross Mead, Jerry B. Weinberg, and Jeffrey R. Croxell
Index
Index / 1991
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.