Proceedings of the Twenty-First AAAI Conference on Artificial Intelligence
Sponsored by the Association for the Advancement of Artificial Intelligence
Yolanda Gil and Raymond J. Mooney, Program Cochairs
July 16–20, 2006,
Boston, Massachusetts. 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 / xxv
AAAI-06 and IAAI-06 Conference Program Committees / xxvii
AAAI-06 Awards / xxxvi
Sponsoring Organizations / xxxvii
AAAI-06 Preface / xxxviii
IAAI-06 Preface / xli
Invited Talks / xlii
Invited Talk
Unifying Logical and Statistical AI / 2
Pedro Domingos, Stanley Kok, Hoifung Poon, Matthew Richardson, and Parag Singla
Technical Papers
Constraint Satisfaction and Satisfiability
The Impact of Balancing on Problem Hardness in a Highly Structured Domain / 10
Carlos Ansótegui, Ramón Béjar, César Fernàndez, Carla Gomes, and Carles Mateu
Abstract Branching for Quantified Formulas / 16
Marco Benedetti
Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP / 22
Simon de Givry, Thomas Schiex, and Gérard Verfaillie
Extending Dynamic Backtracking to Solve Weighted Conditional CSPs / 28
Robert T. Effinger and Brian C. Williams
DNNF-based Belief State Estimation / 36
Paul Elliott and Brian Williams
On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae / 42
Hélène Fargier and Pierre Marquis
Length-Lex Ordering for Set CSPs / 48
Carmen Gervet and Pascal van Hentenryck
Model Counting: A New Strategy for Obtaining Good Bounds / 54
Carla P. Gomes, Ashish Sabharwal, and Bart Selman
A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration / 62
Tarik Hadzic and Henrik Reif Andersen
New Inference Rules for Efficient Max-SAT Solving / 68
Federico Heras and Javier Larrosa
Simple Randomized Algorithms for Tractable Row and Tree Convex Constraints / 74
T. K. Satish Kumar
Weighted Constraint Satisfaction with Set Variables / 80
J. H. M. Lee and C. F. K. Siu
Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT / 86
Chu-Min Li, Felip Manyà, and Jordi Planes
Fast SAT-based Answer Set Solver / 92
Zhijun Lin, Yuanlin Zhang, and Hector Hernandez
Local-Search Techniques for Boolean Combinations of Pseudo-Boolean Constraints / 98
Lengning Liu and Miroslaw Truszczynski
Efficient Haplotype Inference with Boolean Satisfiability / 104
Inês Lynce and João Marques-Silva
Temporal Preference Optimization as Weighted Constraint Satisfaction / 110
Michael D. Moffitt and Martha E. Pollack
An Efficient Way of Breaking Value Symmetries / 117
Jean-François Puget
A Quadratic Propagator for the Inter-Distance Constraint / 123
Claude-Guy Quimper, Alejandro López-Ortiz, and Gilles Pesant
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms / 129
Tran Cao Son, Enrico Pontelli, and Phan Huy Tu
An Asymptotically Optimal Algorithm for the Max k-Armed Bandit Problem / 135
Matthew J. Streeter and Stephen F. Smith
Solving QBF by Combining Conjunctive and Disjunctive Normal Forms / 143
Lintao Zhang
Human Computer Interaction and Cognitive Modeling
Classifying Learner Engagement through Integration of Multiple Data Sources / 151
Carole R. Beal, Lei Qu, and Hyokyeong Lee
Evaluating Critiquing-based Recommender Agents / 157
Li Chen and Pearl Pu
A Dynamic Mixture Model to Detect Student Motivation and Proficiency / 163
Jeff Johns and Beverly Woolf
Modeling Human Decision Making in Cliff-Edge Environments / 169
Ron Katz and Sarit Kraus
Using Anticipation to Create Believable Behaviour / 175
Carlos Martinho and Ana Paiva
Extracting Knowledge about Users' Activities from Raw Workstation Contents / 181
Tom M. Mitchell, Sophie H. Wang, Yifen Huang, and Adam Cheyer
Probabilistic Goal Recognition in Interactive Narrative Environments / 187
Bradford Mott, Sunyoung Lee, and James Lester
Salience in Orientation-Filter Response Measured as Suspicious Coincidence in Natural Images / 193
Subramonia Sarma and Yoonsuck Choe
From Pigeons to Humans: Grounding Relational Learning in Concrete Examples / 199
Marc T. Tomlinson and Bradley C. Love
Evaluating Preference-based Search Tools: A Tale of Two Approaches / 205
Paolo Viappiani, Boi Faltings, and Pearl Pu
Knowledge Representation and Logic
Model-Checking Memory Requirements of Resource-Bounded Reasoners / 213
Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, and Luciano Serafini
Explaining Qualitative Decision under Uncertainty by Argumentation / 219
Leila Amgoud and Henri Prade
Compilation of Query-Rewriting Problems into Tractable Fragments of Propositional Logic / 225
Yolifé Arvelo, Blai Bonet, and María Esther Vidal
Goal Specification, Non-Determinism and Quantifying over Policies / 231
Chitta Baral and Jicheng Zhao
Forgetting and Conflict Resolving in Disjunctive Logic Programming / 238
Thomas Eiter and Kewen Wang
Elementary Sets of Logic Programs / 244
Martin Gebser, Joohyung Lee, and Yuliya Lierler
Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning / 250
Georg Gottlob, Reinhard Pichler, and Fang Wei
Belief Change in the Context of Fallible Actions and Observations / 257
Aaron Hunter and James P. Delgrande
Towards an Axiom System for Default Logic / 263
Gerhard Lakemeyer and Hector J. Levesque
Finding Maximally Satisfiable Terminologies for the Description Logic ALC / 269
Thomas Meyer, Kevin Lee, Richard Booth, and Jeff Z. Pan
Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics / 275
Magdalena Ortiz, Diego Calvanese, and Thomas Eiter
Merging Stratified Knowledge Bases under Constraints / 281
Guilin Qi, Weiru Liu, and David A. Bell
Reconciling Situation Calculus and Fluent Calculus / 287
Stephan Schiffel and Michael Thielscher
Classification Spanning Private Databases / 293
Ke Wang, Yabo Xu, Rong She, and Philip S. Yu
On the Complexity of Linking Deductive and Abstract Argument Systems / 299
Michael Wooldridge, Paul E. Dunne, and Simon Parsons
A Unified Knowledge Based Approach for Sense Disambiguation and Semantic Role Labeling / 305
Peter Z. Yeh, Bruce Porter, and Ken Barker
Machine Learning
Clustering by Exceptions / 312
Fabrizio Angiulli
On the Difficulty of Modular Reinforcement Learning for Real-World Partial Programming / 318
Sooraj Bhat, Charles L. Isbell, Jr., and Michael Mateas
On Combining Multiple Classifiers Using an Evidential Approach / 324
Yaxin Bi, Sally McClean, and Terry Anderson
Tensor Embedding Methods / 330
Guang Dai and Dit-Yan Yeung
Identifying and Generating Easy Sets of Constraints for Clustering / 336
Ian Davidson and S. S. Ravi
Nonnegative Matrix Factorization and Probabilistic Latent Semantic Indexing: Equivalence Chi-Square Statistic, and a Hybrid Method / 342
Chris Ding, Tao Li, and Wei Peng
Anytime Induction of Decision Trees: An Iterative Improvement Approach / 348
Saher Esmeir and Shaul Markovitch
Incremental Least-Squares Temporal Difference Learning / 356
Alborz Geramifard, Michael Bowling, and Richard S. Sutton
Active Learning with Near Misses / 362
Nela Gurevich, Shaul Markovitch, and Ehud Rivlin
Representing Systems with Hidden State / 368
Christopher Hundt, Prakash Panagaden, Joelle Pineau, and Doina Precup
Improving Approximate Value Iteration Using Memories and Predictive State Representations / 375
Michael R. James, Ton Wessling, and Nikos Vlassis
Learning Systems of Concepts with an Infinite Relational Model / 381
Charles Kemp, Joshua B. Tenenbaum, Thomas L. Griffiths, Takeshi Yamada, and Naonori Ueda
kFOIL: Learning Simple Relational Kernels / 389
Niels Landwehr, Andrea Passerini, Luc De Raedt, and Paolo Frasconi
Quantifying the Impact of Learning Algorithm Parameter Tuning / 395
Niklas Lavesson and Paul Davidsson
Efficient L1 Regularized Logistic Regression / 401
Su-In Lee, Honglak Lee, Pieter Abbeel, and Andrew Y. Ng
Minimum Description Length Principle: Generators Are Preferable to Closed Patterns / 409
Jinyan Li, Haiquan Li, Limsoon Wong, Jian Pei, and Guozhu Dong
Value-Function-Based Transfer for Reinforcement Learning Using Structure Mapping / 415
Yaxin Liu and Peter Stone
Semi-supervised Multi-label Learning by Constrained Non-negative Matrix Factorization / 421
Yi Liu, Rong Jin, and Liu Yang
A Simple and Effective Method for Incorporating Advice into Kernel Methods / 427
Richard Maclin, Jude Shavlik, Trevor Walker, and Lisa Torrey
Multi-Conditional Learning: Generative/Discriminative Training for Clustering and Classification / 433
Andrew McCallum, Chris Pal, Greg Druck, and Xuerui Wang
Learning Blocking Schemes for Record Linkage / 440
Matthew Michelson and Craig A. Knoblock
Strategy Variations in Analogical Problem Solving / 446
Tom Y. Ouyang and Kenneth D. Forbus
Gradient Boosting for Sequence Alignment / 452
Charles Parker, Alan Fern, and Prasad Tadepalli
Sound and Efficient Inference with Probabilistic and Deterministic Dependencies / 458
Hoifung Poon and Pedro Domingos
Boosting Expert Ensembles for Rapid Concept Recall / 464
Achim Rettinger, Martin Zinkevich, and Michael Bowling
Identification and Evaluation of Weak Community Structures in Networks / 470
Jianhua Ruan and Weixiong Zhang
Thresholding for Making Classifiers Cost-sensitive / 476
Victor S. Sheng and Charles X. Ling
Cost-Sensitive Test Strategies / 482
Victor S. Sheng, Charles X. Ling, Ailing Ni, Shichao Zhang
Memory-Efficient Inference in Relational Domains / 488
Parag Singla and Pedro Domingos
Using Homomorphisms to Transfer Options across Continuous Reinforcement Learning Domains / 494
Vishal Soni and Satinder Singh
A Fast Decision Tree Learning Algorithm / 500
Jiang Su and Harry Zhang
Cross-Domain Knowledge Transfer Using Structured Representations / 506
Samarth Swarup and Sylvian R. Ray
Conflict Resolution and a Framework for Collaborative Interactive Evolution / 512
Sean R. Szumlanski, Annie S. Wu, and Charles E. Hughes
Sample-Efficient Evolutionary Function Approximation for Reinforcement Learning / 518
Shimon Whiteson and Peter Stone
Mixtures of Predictive Linear Gaussian Models for Nonlinear, Stochastic Dynamical Systems / 524
David Wingate and Satinder Singh
Decision Tree Methods for Finding Reusable MDP Homomorphisms / 530
Alicia Peregrin Wolfe and Andrew G. Barto
Robust Support Vector Machine Training via Convex Outlier Ablation / 536
Linli Xu, Koby Crammer, and Dale Schuurmans
An Efficient Algorithm for Local Distance Metric Learning / 543
Liu Yang, Rong Jin, Rahul Sukthankar, and Yi Liu
Hard Constrained Semi-Markov Decision Processes / 549
Wai-Leong Yeow, Chen-Khong Tham, and Wai-Choong Wong
A New Approach to Estimating the Expected First Hitting Time of Evolutionary Algorithms / 555
Yang Yu and Zhi-Hua Zhou
A Direct Evolutionary Feature Extraction Algorithm for Classifying High Dimensional Data / 561
Qijun Zhao, David Zhang, and Hongtao Lu
On Multi-Class Cost-Sensitive Learning / 567
Zhi-Hua Zhou and Xu-Ying Liu
Optimal Unbiased Estimators for Evaluating Agent Performance / 573
Martin Zinkevich, Michael Bowling, Nolan Bard, Morgan Kan, and Darse Billings
Multiagent Systems
Keeping in Touch: Maintaining Biconnected Structure by Homogeneous Robots / 580
Mazda Ahmadi and Peter Stone
Quantifying Incentive Compatibility of Ranking Systems / 586
Alon Altman and Moshe Tennenholtz
Impersonation-Based Mechanisms / 592
Moshe Babaioff, Ron Lavi, and Elan Pavlov
Algorithms for Rationalizability and CURB Sets / 598
Michael Benisch, George Davis, and Tuomas Sandholm
On Strictly Competitive Multi-Player Games / 605
Felix Brandt, Felix Fischer, and Yoav Shoham
Computing Slater Rankings Using Similarities among Candidates / 613
Vincent Conitzer
Improved Bounds for Computing Kemeny Rankings / 620
Vincent Conitzer, Andrew Davenport, and Jayant Kalagnanam
Nonexistence of Voting Rules That Are Usually Hard to Manipulate / 627
Vincent Conitzer and Tuomas Sandholm
Overlapping Coalition Formation for Efficient Data Fusion in Multi-Sensor Networks / 635
Viet Dung Dang, Rajdeep K. Dash, Alex Rogers, and Nicholas R. Jennings
The Complexity of Bribery in Elections / 641
Piotr Faliszewski, Edith Hemaspaandra, and Lane A. Hemaspaandra
Analysis of Privacy Loss in Distributed Constraint Optimization / 647
Rachel Greenstadt, Jonathan P. Pearce, and Milind Tambe
From Centralized to Distributed Selective Overhearing / 654
Gery Gutnik and Gal A. Kaminka
A New Approach to Distributed Task Assignment using Lagrangian Decomposition and Distributed Constraint Satisfaction / 660
Katsutoshi Hirayama
Distributed Interactive Learning in Multi-Agent Systems / 666
Jian Huang and Adrian R. Pearce
Regret-based Incremental Partial Revelation Mechanisms / 672
Nathanaël Hyafil and Craig Boutilier
A Polynomial-Time Algorithm for Action Graph Games / 679
Albert Xin Jiang and Kevin Leyton-Brown
Multiparty Proactive Communication: A Perspective for Evolving Shared Mental Models / 685
Kaivan Kamali, Xiaocong Fan, and John Yen
Strong Mediated Equilibrium / 691
Dov Monderer and Moshe Tennenholtz
A Compact Representation Scheme for Coalitional Games in Open Anonymous Environments / 697
Naoki Ohta, Atsushi Iwasaki, Makoto Yokoo, Kohki Maruono, Vincent Conitzer, and Tuomas Sandholm
ODPOP: An Algorithm for Open/Distributed Constraint Optimization / 703
Adrian Petcu and Boi Faltings
Behaviosites: Manipulation of Multiagent System Behavior through Parasitic Infection / 709
Amit Shabtay, Zinovi Rabinovich, and Jeffrey S. Rosenschein
Simultaneous Team Assignment and Behavior Recognition from Spatio-Temporal Agent Traces / 716
Gita Sukthankar and Katia Sycara
Contract Enactment in Virtual Organizations: A Commitment-Based Approach / 722
Yathiraj B. Udupi and Munindar P. Singh
A Computational Model of Logic-Based Negotiation / 728
Dongmo Zhang and Yan Zhang
Mechanisms for Partial Information Elicitation: The Truth, but Not the Whole Truth / 734
Aviv Zohar and Jeffrey S. Rosenschein
Robust Mechanisms for Information Elicitation / 740
Aviv Zohar and Jeffrey S. Rosenschein
Natural Language Processing
Societal Grounding Is Essential to Meaningful Language Use / 747
David DeVault, Iris Oved, and Matthew Stone
Negation, Contrast and Contradiction in Text Processing / 755
Sanda Harabagiu, Andrew Hickl, and Finley Lacatusu
Proposing a New Term Weighting Scheme for Text Categorization / 763
Man Lan, Chew-Lim Tan, and Hwee-Boon Low
Script and Language Identification in Degraded and Distorted Document Images / 769
Shijian Lu and Chew Lim Tan
Corpus-based and Knowledge-based Measures of Text Semantic Similarity / 775
Rada Mihalcea, Courtney Corley, and Carlo Strapparava
Learning Noun-Modifier Semantic Relations with Corpus-based and WordNet-based Features / 781
Vivi Nastase, Jelber Sayyad-Shirabad, Marina Sokolova, and Stan Szpakowicz
Reasoning about Plans and Actions
Planning with First-Order Temporally Extended Goals using Heuristic Search / 788
Jorge A. Baier and Sheila A. McIlraith
Fast Hierarchical Goal Schema Recognition / 796
Nate Blaylock and James Allen
Robust Execution on Contingent, Temporally Flexible Plans / 802
Stephen A. Block, Andreas F. Wehowsky, and Brian C. Williams
Factored Planning: How, When, and When Not / 809
Ronen I. Brafman and Carmel Domshlak
Adaptive Sampling Based Large-Scale Stochastic Resource Control / 815
Balázs Csanád Csáji and László Monostori
Cost-Optimal External Planning / 821
Stefan Edelkamp and Shahid Jabbar
A Two-Step Hierarchical Algorithm for Model-Based Diagnosis / 827
Alexander Feldman and Arjan van Gemund
Exploration of the Robustness of Plans / 834
Maria Fox, Richard Howey, and Derek Long
A Causal Analysis Method for Concurrent Hybrid Automata / 840
Michael W. Hofbaur and Franz Wotawa
Tractable Classes of Metric Temporal Problems with Domain Rules / 847
T. K. Satish Kumar
A Modular Action Description Language / 853
Vladimir Lifschitz and Wanwan Ren
PPCP: Efficient Probabilistic Planning with Clear Preferences in Partially-Known Environments / 860
Maxim Likhachev and Anthony Stentz
Reasoning about Discrete Event Sources / 868
Shieu-Hong Lin
Optimal Scheduling of Contract Algorithms for Anytime Problems / 874
Alejandro López-Ortiz, Spyros Angelopoulos, and Angèle M. Hamel
Probabilistic Temporal Planning with Uncertain Durations / 880
Mausam and Daniel S. Weld
Reasoning about Partially Observed Actions / 888
Megan Nance, Adam Vogel, and Eyal Amir
Approximate Compilation for Embedded Model-based Reasoning / 894
Barry O'Sullivan and Gregory M. Provan
Compiling Uncertainty Away: Solving Conformant Planning Problems using a Classical Planner (Sometimes) / 900
Héctor Palacios and Héctor Geffner
Sensor-Based Understanding of Daily Life via Large-Scale Use of Common Sense / 906
William Pentney, Ana-Maria Popescu, Shiaokai Wang, Henry Kautz, and Matthai Philipose
Learning Partially Observable Action Schemas / 913
Dafna Shahaf and Eyal Amir
Learning Partially Observable Action Models: Efficient Algorithms / 920
Dafna Shahaf, Allen Chang, and Eyal Amir
Contingent Planning with Goal Preferences / 927
Dmitry Shaparau, Marco Pistore, and Paolo Traverso
Robotics and Computer Vision
Motion-Based Autonomous Grounding: Inferring External World Properties from Encoded Internal Sensory States Alone / 936
Yoonsuck Choe and Noah H. Smith
Efficient Triangulation-Based Pathfinding / 942
Douglas Demyen and Michael Buro
Exploiting Spatial and Temporal Flexibility for Plan Execution for Hybrid, Under-actuated Robots / 948
Andreas G. Hofmann and Brian C. Williams
Object Boundary Detection in Images using a Semantic Ontology / 956
Anthony Hoogs and Roderic Collins
Bayesian Calibration for Monte Carlo Localization / 964
Armita Kaboli, Michael Bowling, and Petr Musilek
Diagnosis of Multi-Robot Coordination Failures Using Distributed CSP Algorithms / 970
Meir Kalech, Gal A. Kaminka, Amnon Meisels, and Yehuda Elmaliach
Probabilistic Self-Localization for Sensor Networks / 976
Dimitrii Marinakis and Gregory Dudek
Winning the DARPA Grand Challenge with an AI Robot / 982
Michael Montemerlo, Sebastian Thrun, Hendrik Dahlkamp, David Stavens, and Sven Strohband
A Manifold Regularization Approach to Calibration Reduction for Sensor-Network Based Tracking / 988
Jeffrey Junfeng Pan, Qiang Yang, Hong Chang, and Dit-Yan Yeung
Running the Table: An AI for Computer Billiards / 994
Michael Smith
Reinforcement Learning with Human Teachers: Evidence of Feedback and Guidance with Implications for Learning Performance / 1000
Andrea L. Thomaz and Cynthia Breazeal
Search and Game Playing
A Competitive Texas Hold'em Poker Player via Automated Abstraction and Real-Time Equilibrium Computation / 1007
Andrew Gilpin and Tuomas Sandholm
Estimating Search Tree Size / 1014
Philip Kilby, John Slaney, Sylvie Thiébaux, and Toby Walsh
Properties of Forward Pruning in Game-Tree Search / 1020
Yew Jin Lim and Wee Sun Lee
RankCut—A Domain Independent Forward Pruning Method for Games / 1026
Yew Jin Lim and Wee Sun Lee
DD* Lite: Efficient Incremental Search with State Dominance / 1032
G. Ayorkor Mills-Tettey, Anthony Stentz, and M. Bernardine Dias
Sequential and Parallel Algorithms for Frontier A* with Delayed Duplicate Detection / 1039
Robert Niewiadomski, José Nelson Amaral, and Robert C. Holte
Overconfidence or Paranoia? Search in Imperfect-Information Games / 1045
Austin Parker, Dana Nau, and VS Subrahmanian
Disco—Novo—GoGo: Integrating Local Search and Complete Search with Restarts / 1051
Meinolf Sellmann and Carlos Ansótegui
Prob-Maxn: Playing N-Player Games with Opponent Models / 1057
Nathan Sturtevant, Martin Zinkevich, and Michael Bowling
An Efficient Algorithm for Scatter Chart Labeling / 1064
Sebastian Theophil and Arno Schödl
Monte Carlo Go Has a Way to Go / 1070
Haruhiro Yoshimoto, Kazuki Yoshizoe, Tomoyuki Kaneko, Akihiro Kishimoto, and Kenjiro Taura
Dual Search in Permutation State Spaces / 1076
Uzi Zahavi, Ariel Felner, Robert Holte, and Jonathan Schaeffer
Domain-Independent Structured Duplicate Detection / 1082
Rong Zhou and Eric A. Hansen
Uncertainty in AI
An Iterative Algorithm for Solving Constrained Decentralized Markov Decision Processes / 1089
Aurélie Beynier and Abdel-Illah Mouaddib
An Anytime Scheme for Bounding Posterior Beliefs / 1095
Bozhena Bidyuk and Rina Dechter
Preferences over Sets / 1101
R. I. Brafman, C. Domshlak, S. E. Shimony, and Y. Silver
An Edge Deletion Semantics for Belief Propagation and its Practical Impact on Approximation Quality / 1107
Arthur Choi and Adnan Darwiche
When Gossip is Good: Distributed Probabilistic Inference for Detection of Slow Network Intrusions / 1115
Denver Dash, Branislav Kveton, John Mark Agosta, Eve Schooler, Jaideep Chandrashekar, Abraham Bachrach, and Alex Newman
MPE and Partial Inversion in Lifted Probabilistic Variable Elimination / 1123
Rodrigo de Salvo Braz, Eyal Amir, and Dan Roth
On the Difficulty of Achieving Equilibrium in Interactive POMDPs / 1131
Prashant Doshi and Piotr J. Gmytrasiewicz
CUI Networks: A Graphical Representation for Conditional Utility Independence / 1137
Yagil Engel and Michael P. Wellman
Solving MAP Exactly by Searching on Compiled Arithmetic Circuits / 1143
Jinbo Huang, Mark Chavira, and Adnan Darwiche
Identifiability in Causal Bayesian Networks: A Sound and Complete Algorithm / 1149
Yimin Huang and Marco Valtorta
A Bayesian Network for Outbreak Detection and Prediction / 1155
Xia Jiang and Garrick L. Wallstrom
Learning Basis Functions in Hybrid Domains / 1161
Branislav Kveton and Milos Hauskrecht
Incremental Least Squares Policy Iteration for POMDPs / 1167
Hui Li, Xuejun Liao, and Lawrence Carin
Performing Incremental Bayesian Inference by Dynamic Model Counting / 1173
Wei Li, Peter van Beek, and Pascal Poupart
Efficient Active Fusion for Decision-Making via VOI Approximation / 1180
Wenhui Liao and Qiang Ji
Functional Value Iteration for Decision-Theoretic Planning with General Utility Functions / 1186
Yaxin Liu and Sven Koenig
Learning Representation and Control in Continuous Markov Decision Processes / 1194
Sridhar Mahadevan, Mauro Maggioni, Kimberly Ferguson, and Sarah Osentoski
Memory Intensive Branch-and-Bound Search for Graphical Models / 1200
Radu Marinescu and Rina Dechter
Bayesian Reputation Modeling in E-Marketplaces Sensitive to Subjectivity, Deception and Change / 1206
Kevin Regan, Pascal Poupart, and Robin Cohen
Targeting Specific Distributions of Trajectories in MDPs / 1213
David L. Roberts, Mark J. Nelson, Charles L. Isbell, Jr., Michael Mateas, and Michael L. Littman
Identification of Joint Interventional Distributions in Recursive Semi-Markovian Causal Models / 1219
Ilya Shpitser and Judea Pearl
Focused Real-Time Dynamic Programming for MDPs: Squeezing More Out of a Heuristic / 1227
Trey Smith and Reid Simmons
Point-based Dynamic Programming for DEC-POMDPs / 1233
Daniel Szer and François Charpillet
A Characterization of Interventional Distributions in Semi-Markovian Causal Models / 1239
Jin Tian, Changsung Kang, and Judea Pearl
Compact, Convex Upper Bound Iteration for Approximate POMDP Planning / 1245
Tao Wang, Pascal Poupart, Michael Bowling, and Dale Schuurmans
Special Track on Artificial Intelligence and the Web
A Platform to Evaluate the Technology for Service Discovery in the Semantic Web / 1253
Cecile Aberg, Johan Aberg, Patrick Lambrix, and Nahid Shahmehri
Using Semantics to Identify Web Objects / 1259
Nathanael Chambers, James Allen, Lucian Galescu, Hyuckchul Jung, and William Taysom
Comparative Experiments on Sentiment Classification for Online Product Reviews / 1265
Hang Cui, Vibhu Mittal, and Mayur Datar
On the Update of Description Logic Ontologies at the Instance Level / 1271
Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, and Riccardo Rosati
Inexact Matching of Ontology Graphs Using Expectation-Maximization / 1277
Prashant Doshi and Christopher Thomas
Mining and Re-ranking for Answering Biographical Queries on the Web / 1283
Donghui Feng, Deepak Ravichandran, and Eduard Hovy
Towards Modeling Threaded Discussions using Induced Ontology Knowledge / 1289
Donghui Feng, Jihie Kim, Erin Shaw, and Eduard Hovy
Inconsistencies, Negations and Changes in Ontologies / 1295
Giorgos Flouris, Zhisheng Huang, Jeff Z. Pan, Dimitris Plexousakis, and Holger Wache
Overcoming the Brittleness Bottleneck using Wikipedia: Enhancing Text Categorization with Encyclopedic Knowledge / 1301
Evgeniy Gabrilovich and Shaul Markovitch
Mixed Collaborative and Content-Based Filtering with User-Contributed Semantic Features / 1307
Matthew Garden and Gregory Dudek
Table Extraction Using Spatial Reasoning on the CSS2 Visual Box Model / 1313
Wolfgang Gatterbauer and Paul Bohunsky
Deciding Semantic Matching of Stateless Services / 1319
Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, and Robert Stevens
OntoSearch: A Full-Text Search Engine for the Semantic Web / 1325
Xing Jiang and Ah-Hwee Tan
Mining Comparative Sentences and Relations / 1331
Nitin Jindal and Bing Liu
Using Semantic Web Technologies for Policy Management on the Web / 1337
Lalana Kagal, Tim Berners-Lee, Dan Connolly, and Daniel Weitzner
Social Network-based Trust in Prioritized Default Logic / 1345
Yarden Katz and Jennifer Golbeck
Detecting Spam Blogs: A Machine Learning Approach / 1351
Pranam Kolari, Akshay Java, Tim Finin, Tim Oates, and Anupam Joshi
Novel Relationship Discovery Using Opinions Mined from the Web / 1357
Lun-Wei Ku, Hsiu-Wei Ho, and Hsin-Hsi Chen
Automatically Labeling the Inputs and Outputs of Web Services / 1363
Kristina Lerman, Anon Plangprasopchok, and Craig A. Knoblock
Predicting Task-Specific Webpages for Revisiting / 1369
Arwen Twinkle Lettkeman, Simone Stumpf, Jed Irvine, and Jonathan Herlocker
Bookmark Hierarchies and Collaborative Recommendation / 1375
Ben Markines, Lubomira Stoilova, and Filippo Menczer
Spinning Multiple Social Networks for Semantic Web / 1381
Yutaka Matsuo, Masahiro Hamasaki, Yoshiyuki Nakamura, Takuichi Nishimura, Kôiti Hasida, Hideaki Takeda, Junichiro Mori, Danushka Bollegala, and Mitsuru Ishizuka
Model-Based Collaborative Filtering as a Defense against Profile Injection Attacks / 1388
Bamshad Mobasher, Robin Burke, and JJ Sandvig
An Investigation into the Feasibility of the Semantic Web / 1394
Zhengxiang Pan, Abir Qasem, and Jeff Heflin
Organizing and Searching the World Wide Web of Facts—Step One: The One-Million Fact Extraction Challenge / 1400
Marius Pasca, Dekang Lin, Jeffrey Bigham, Andrei Lifchits, and Alpa Jain
Minimally Invasive Randomization for Collecting Unbiased Preferences from Clickthrough Logs / 1406
Filip Radlinski and Thorsten Joachims
Inferring User's Preferences using Ontologies / 1413
Vincent Schickel-Zuber and Boi Faltings
WikiRelate! Computing Semantic Relatedness Using Wikipedia / 1419
Michael Strube and Simone Paolo Ponzetto
Trust Representation and Aggregation in a Distributed Agent System / 1425
Yonghong Wang and Munindar P. Singh
Improve Web Search Using Image Snippets / 1431
Xiao-Bing Xue, Zhi-Hua Zhou, and Zhongfei (Mark) Zhang
Special Track on Integrated Intelligent Capabilities
QUICR-Learning for Multi-Agent Coordination / 1438
Adrian K. Agogino and Kagan Tumer
Perspective Taking: An Organizing Principle for Learning in Human-Robot Interaction / 1444
Matt Berlin, Jesse Gray, Andrea L. Thomaz, and Cynthia Breazeal
Self-Supervised Acquisition of Vowels in American English / 1451
Michael H. Coen
Automatic Heuristic Construction in a Complete General Game Player / 1457
Gregory Kuhlmann and Peter Stone
Know Thine Enemy: A Champion RoboCup Coach Agent / 1463
Gregory Kuhlmann, William B. Knox, and Peter Stone
A Unified Cognitive Architecture for Physical Agents / 1469
Pat Langley and Dongkyu Choi
Walk the Talk: Connecting Language, Knowledge, and Action in Route Instructions / 1475
Matt MacMahon, Brian Stankiewicz, and Benjamin Kuipers
Intuitive linguistic Joint Object Reference in Human-Robot Interaction: Human Spatial Reference Systems and Function-Based Categorization for Symbol Grounding / 1483
Reinhard Moratz
TacTex-05: A Champion Supply Chain Management Agent / 1489
David Pardoe and Peter Stone
Deeper Natural Language Processing for Evaluating Student Answers in Intelligent Tutoring Systems / 1495
Vasile Rus and Art C. Graesser
Integrating Joint Intention Theory, Belief Reasoning, and Communicative Action for Generating Team-Oriented Dialogue / 1501
Rajah Annamalai Subramanian, Sanjeev Kumar, and Philip Cohen
Senior Member Papers
Multimodal Cognitive Architecture: Making Perception More Central to Intelligent Behavior / 1508
B. Chandrasekaran
Integrated AI in Space: The Autonomous Sciencecraft on Earth Observing One / 1513
Steve Chien
Machine Reading / 1517
Oren Etzioni, Michele Banko, and Michael J. Cafarella
Constraints: The Ties that Bind / 1520
Eugene C. Freuder
Deconstructing Planning as Satisfiability / 1524
Henry Kautz
Towards Chemical Universal Turing Machines / 1527
Stephen Muggleton
From the Programmer's Apprentice to Human-Robot Interaction: Thirty Years of Research on Human-Computer Collaboration / 1530
Charles Rich and Candace L. Sidner
Turing's Dream and the Knowledge Challenge / 1534
Lenhart Schubert
Does the Turing Test Demonstrate Intelligence or Not? / 1539
Stuart M. Shieber
Virtual Humans / 1543
William R. Swartout
Knowledge Infusion / 1546
Leslie G. Valiant
Methods for Empirical Game-Theoretic Analysis / 1552
Michael P. Wellman
New Scientific and Technical Advances in Research (Nectar) Papers
Building Semantic Mappings from Databases to Ontologies / 1557
Yuan An, John Mylopoulos, and Alex Borgida
Maintaining Cooperation in Noisy Environments / 1567
Tsz-Chiu Au and Dana Nau
Acquiring Constraint Networks Using a SAT-based Version Space Algorithm / 1565
Christian Bessiere, Remi Coletta, Frédéric Koriche, and Barry O'Sullivan
Subjective Mapping / 1569
Michael Bowling, Dana Wilkinson, and Ali Ghodsi
Preference Elicitation and Generalized Additive Utility / 1573
Darius Braziunas and Craig Boutilier
Progress in Textual Case-Based Reasoning: Predicting the Outcome of Legal Cases from Text / 1577
Stefanie Brüninghaus and Kevin D. Ashley
B-ROC Curves for the Assessment of Classifiers over Imbalanced Data Sets / 1581
Alvaro A. Cárdenas and John S. Baras
Handling Self-Interest in Groups, with Minimal Cost / 1585
Ruggiero Cavallo
Constraint Symmetry and Solution Symmetry / 1589
David Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, and Barbara M. Smith
Traffic Intersections of the Future / 1593
Kurt Dresner and Peter Stone
When a Decision Tree Learner Has Plenty of Time / 1597
Saher Esmeir and Shaul Markovitch
Overview of AutoFeed: An Unsupervised Learning System for Generating Webfeeds / 1601
Bora Gazen and Steven Minton
Embedding Heterogeneous Data Using Statistical Models / 1605
Amir Globerson, Gal Chechik, Fernando Pereira, and Naftali Tishby
TempoExpress: An Expressivity-Preserving Musical Tempo Transformation System / 1609
Maarten Grachten, Josep-Lluís Arcos, and Ramon López de Mántaras
Towards a Validated Model of "Emotional Intelligence" / 1613
Jonathan Gratch, Stacy Marsella, and Wenji Mao
Large Scale Knowledge Base Systems: An Empirical Evaluation Perspective / 1617
Yuanbo Guo, Abir Qasem, and Jeff Heflin
Opinion Extraction and Summarization on the Web / 1621
Minqing Hu and Bing Liu
The Power of Sequential Single-Item Auctions for Agent Coordination / 1625
Sven Koenig, Craig Tovey, Michail Lagoudakis, Vangellis Markakis, David Kempe, Pinar Keskinocak, Anton Kleywegt, Adam Meyerson, and Sonal Jain
Lessons on Applying Automated Recommender Systems to Information-Seeking Tasks / 1630
Joseph A. Konstan, Sean M. McNee, Cai-Nicolas Ziegler, Roberto Torres, Nishikant Kapoor, and John T. Riedl
Activity-Centric Email: A Machine Learning Approach / 1634
Nicholas Kushmerick, Tessa Lau, Mark Dredze, and Rinat Khoussainov
Controlled Search over Compact State Representations, in Nondeterministic Planning Domains and Beyond / 1638
Ugur Kuter and Dana Nau
A Look at Parsing and Its Applications / 1642
Matthew Lease, Eugene Charniak, Mark Johnson, and David McClosky
Beyond Bags of Words: Modeling Implicit User Preferences in Information Retrieval / 1646
Donald Metzler and W. Bruce Croft
The Role of Context in Head Gesture Recognition / 1650
Louis-Philippe Morency, Candace Sidner, Christopher Lee, and Trevor Darrell
Supporting Queries with Imprecise Constraints / 1654
Ullas Nambiar and Subbarao Kambhampati
The Synthy Approach for End to End Web Services Composition: Planning with Decoupled Causal and Resource Reasoning / 1658
Biplav Srivastava
AI Support for Building Cognitive Models / 1663
Robert St. Amant, Sean P. McBride, and Frank E. Ritter
Optimizing Similarity Assessment in Case-Based Reasoning / 1667
Armin Stahl and Thomas Gabel
Real-Time Evolution of Neural Networks in the NERO Video Game / 1671
Kenneth O. Stanley, Bobby D. Bryant, Igor Karpov, and Risto Miikkulainen
Laughing with HAHAcronym, a Computational Humor System / 1675
Oliviero Stock and Carlo Strapparava
Explanation-Based Learning for Image Understanding / 1679
Qiang Sun, Li-Lun Wang, and Gerald DeJong
An Introduction to Nonlinear Dimensionality Reduction by Maximum Variance Unfolding / 1683
Kilian Q. Weinberger and Lawrence K. Saul
Automatic Wrapper Generation Using Tree Matching and Partial Tree Alignment / 1687
Yanhong Zhai and Bing Liu
Responsive Information Architect: Enabling Context-Sensitive Information Seeking / 1691
Michelle X. Zhou, Keith Houck, Shimei Pan, James Shaw, Vikram Aggarwal, and Zhen Wen
A Breadth-First Approach to Memory-Efficient Graph Search / 1695
Rong Zhou and Eric A. Hansen
IAAI-06 Deployed Application Papers
Case-Based Reasoning for General Electric Appliance Customer Support / 1700
William Cheetham
Predicting Electricity Distribution Feeder Failures Using Machine Learning Susceptibility Analysis / 1705
Philip Gross, Albert Boulanger, Marta Arias, David Waltz, Philip M. Long, Charles Lawson, Roger Anderson, Matthew Koenig, Mark Mastrocinque, William Fairechio, John A. Johnson, Serena Lee, Frank Doherty, and Arthur Kressner
TPBOSCourier: A Transportation Procurement System (for the Procurement of Courier Services) / 1712
Andrew Lim, Zhou Xu, Brenda Cheang, Ho Wee Kit, and Steve Au-yeung
Constraint-Based Random Stimuli Generation for Hardware Verification / 1720
Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, and Gil Shurek
Machine Translation for Manufacturing: A Case Study at Ford Motor Company / 1728
Nestor Rychtyckyj
Expressive Commerce and Its Application to Sourcing / 1736
Tuomas Sandholm
IAAI-06 Emerging Application Papers
CPM: Context-Aware Power Management in WLANs / 1745
Fahd Albinali and Chris Gniady
Design and Implementation of the CALO Query Manager / 1751
Jose-Luis Ambite, Vinay K. Chaudhri, Richard Fikes, Jessica Jenkins, Sunil Mishra, Maria Muslea, Tomas Uribe, and Guizhen Yang
MedEthEx: A Prototype Medical Ethics Advisor / 1759
Michael Anderson, Susan Leigh Anderson, and Chris Armen
Building Explainable Artificial Intelligence Systems / 1766
Mark G. Core, H. Chad Lane, Michael van Lent, Dave Gomboc, Steve Solomon, and Milton Rosenberg
Heuristic Search and Information Visualization Methods for School Redistricting / 1774
Marie desJardins, Blazej Bulka, Ryan Carr, Andrew Hunt, Priyang Rathod, and Penny Rheingans
Monitoring Food Safety by Detecting Patterns in Consumer Complaints / 1782
Artur Dubrawski, Kimberly Elenberg, Andrew Moore, and Maheshkumar Sabhnani
Hand Grip Pattern Recognition for Mobile User Interfaces / 1789
Kee-Eung Kim, Wook Chang, Sung-Jung Cho, Junghyun Shim, Hyunjeong Lee, Joonah Park, Youngbeom Lee, and Sangryoung Kim
Trip Router with Individualized Preferences (TRIP): Incorporating Personalization into Route Planning / 1795
Julia Letchner, John Krumm, and Eric Horvitz
Local Negotiation in Cellular Networks: From Theory to Practice / 1801
Raz Lin, Daphna Dor-Shifer, Sarit Kraus, and David Sarne
Ontology Based Semantic Modeling for Chinese Ancient Architectures / 1808
Yong Liu, Congfu Xu, Qiong Zhang, and Yunhe Pan
CM-Extractor: An Application for Automating Medical Quality Measures Abstraction in a Hospital Setting / 1814
Mark L. Morsch, Joel L. Vengco, Ronald E. Sheffer, Jr., and Daniel T. Heinze
Visual Explanation of Evidence with Additive Classifiers / 1822
Brett Poulin, Roman Eisner, Duane Szafron, Paul Lu, Russ Greiner, D. S. Wishart, Alona Fyshe, Brandon Pearcy, Cam MacDowell , and John Anvik
A Sequential Covering Evolutionary Algorithm for Expressive Music Performance / 1830
Rafael Ramirez, Amaury Hazan, Jordi Mariner, and Esteban Maestre
AWDRAT: A Cognitive Middleware System for Information Survivability / 1836
Howard Shrobe, Robert Laddaga, Bob Balzer, Neil Goldman, Dave Wile, Marcelo Tallis, Tim Hollebeek, and Alexander Egyed
Multiagent Coalition Formation for Computer-Supported Cooperative Learning / 1844
Leen-Kiat Soh, Nobel Khandaker, and Hong Jiang
Student Abstracts
Biconnected Structure for Multi-Robot Systems / 1853
Mazda Ahmadi and Peter Stone
A Benchmark for Cooperative Learning Agents / 855
Jason M. Black and Dean F. Hougen
Performance Evaluation Methods for the Trading Agent Competition / 1857
Brett Borghetti and Eric Sodomka
Can We Work around Numerical Methods? An Insight / 1859
Sandeep Chandana and Rene V. Mayorga
Local Consistency in Junction Graphs for Constraint-Based Inference / 1861
Le Chang and Alan K. Mackworth
RL-CD: Dealing with Non-Stationarity in Reinforcement Learning / 1863
Bruno C. da Silva, Eduardo W. Basso, Ana L. C. Bazzan, and Paulo M. Engel
Making Autonomous Intersection Management Backwards-Compatible / 1865
Kurt Dresner and Peter Stone
Exploring GnuGo's Evaluation Function with a SVM / 1867
Christopher Fellows, Yuri Malitsky, and Gregory Wojtaszczyk
Robot Self-Recognition Using Conditional Probability-Based Contingency / 1869
Kevin M. Godby and Jesse A. Lane
Multiclass Support Vector Machines for Articulatory Feature Classification / 1871
Brian Hutchinson and Jianna Zhang
Further Investigations into Regular XORSAT / 1873
Matti Järvisalo
SemNews: A Semantic News Framework / 1875
Akshay Java, Tim Finin, and Sergei Nirenburg
KDMAS: A Multi-Agent System for Knowledge Discovery via Planning / 1877
Li Jin and Keith Decker
Kernel Methods for Word Sense Disambiguation and Acronym Expansion / 1879
Mahesh Joshi, Ted Pedersen, Richard Maclin, and Serguei Pakhomov
Memeta: A Framework for Multi-Relational Analytics on the Blogosphere / 1881
Pranam Kolari and Tim Finin
Automatic Heuristic Construction for General Game Playing / 1883
Gregory Kuhlmann and Peter Stone
How Many Different "John Smiths'', and Who Are They? / 1885
Anagha Kulkarni and Ted Pedersen
Population and Agent Based Models for Language Convergence / 1887
Kiran Lakkaraju and Les Gasser
Boot Camp for Cognitive Systems / 1889
Douglas S. Lange
Algorithms for Control and Interaction of Large Formations of Robots / 1891
Ross Mead and Jerry B. Weinberg
Learning of Agents with Limited Resources / 1893
Slawomir Nowaczyk
Unsupervised Order-Preserving Regression Kernel for Sequence Analysis / 1895
Young-In Shin
Curiosity-Driven Exploration with Planning Trajectories / 1897
Tyler Streeter
Expectation-Based Vision for Self-Localization on a Legged Robot / 1899
Daniel Stronger and Peter Stone
Inter-Task Action Correlation for Reinforcement Learning Tasks / 1901
Matthew F. Taylor and Peter Stone
AAAI / SIGART Doctoral Consortium
A Value Theory of Meta-Learning Algorithms / 1904
Abraham Bagherjeiran
A Computational Model of Narrative Generation for Suspense / 1906
Yun-Gyung Cheong
Multi-Resolution Learning for Knowledge Transfer / 1908
Eric Eaton
Learning Models of Macrobehavior in Complex Adaptive Systems / 1910
Andrew Fast
Techniques for Generating Optimal, Robust Plans when Temporal Uncertainty is Present / 1912
Janae N. Foss
Automatic Summarization of Conversational Multi-Party Speech / 1914
Michel Galley
Privatizing Constraint Optimization / 1916
Rachel Greenstadt
Darshak — An Intelligent Cinematic Camera Planning System / 1918
Arnav Jhala
Cross System Personalization by Learning Manifold Alignments / 1920
Bhaskar Mehta
A Generalized Query Framework for Geospatial Reasoning / 1922
Martin Michalowski
Robust Autonomous Structure-based Color Learning on a Mobile Robot / 1924
Mohan Sridharan
Closest Pairs Data Selection for Support Vector Machines / 1926
Chaofan Sun
Action Selection in Bayesian Reinforcement Learning / 1928
Tao Wang
Intelligent Systems Demonstrations
SEMAPLAN: Combining Planning with Semantic Matching to Achieve Web Service Composition / 1931
Rama Akkiraju, Biplav Srivastava, Anca-Andreea Ivan, Richard Goodwin, and Tanveer Syeda-Mahmood
An Interactive Constraint-Based Approach to Minesweeper / 1933
Ken Bayer, Josh Snyder, and Berthe Y. Choueiry
ScriptEase - Motivational Behaviors for Interactive Characters in Computer Role-Playing Games / 1935
Maria Cutumisu, Duane Szafron, Jonathan Schaeffer, Kevin Waugh, Curtis Onuczko, Jeff Siegel, and Allan Schumacher
LOCATE Intelligent Systems Demonstration: Adapting Help to the Cognitive Styles of Users / 1937
Jack L. Edwards and Greg Scott
SemNews: A Semantic News Framework / 1939
Akshay Java, Tim Finin, and Sergei Nirenburg
An End-to-End Supervised Target-Word Sense Disambiguation System / 1941
Mahesh Joshi, Serguei Pakhomov, Ted Pedersen, Rich Maclin, and Christopher Chute
Strategic Sales Management in an Autonomous Trading Agent for TAC SCM / 1943
Wolfgang Ketter, Eric Sodomka, Amrudin Agovic, John Collins, and Maria Gini
Factored MDP Elicitation and Plan Display / 1945
Krol Kevin Mathias, Casey Lengacher, Derek Williams, Austin Cornett, Alex Dekhtyar, and Judy Goldsmith
Phoebus: A System for Extracting and Integrating Data from Unstructured and Ungrammatical Sources / 1947
Matthew Michelson and Craig A. Knoblock
Using the Semantic Web to Integrate Ecoinformatics Resources / 1949
Cynthia Sims Parr, Andriy Parafiynyk, Joel Sachs, Rong Pan, Lushan Han, Li Ding, Tim Finin, and David Wang
Demonstration of Music Plus One—A Real-Time System for Automatic Orchestral Accompaniment / 1951
Christopher Raphael
Real-Time Interactive Learning in the NERO Video Game / 1953
Kenneth O. Stanley, Igor Karpov, Risto Miikkulainen, and Aliza Gold
The Tactical Language and Culture Training System: A Demonstration / 1955
Andre Valente, W. Lewis Johnson, and Hannes Vilhjálmsson
Mobile Robot Competition and Exhibition Abstracts
The Keystone Scavenger Team / 1958
Jacky Baltes and John Anderson
The Robot Intelligence Kernel / 1960
David J. Bruemmer, Douglas A. Few, Miles C. Walton, and Curtis W. Nielsen
Introductory Computer Science with Robots / 1962
Debra Burhans, R. Mark Meyer, Patricia VanVerth, David Puehn, Victoria Steck, and John Paul Wiejaczka
Using snarpy to Connect a KR System to Pyro / 1964
Debra T. Burhans and Alistair E. R. Campbell
Erdos: Cost-Effective Peripheral Robotics for AI Education / 1966
Zachary Dodds and Ben Tribelhorn
Object-Sorting-by-Color in a Variety of Lighting Conditions Using Neural Networks and Lego Mindstorms Robot / 1968
Natasa Lazetic and Jianna Zhang
Towards a Higher Level of Human-Robot Interaction and Integration / 1970
F. Michaud, D. Létourneau, M. Fréchette, é. Beaudry, C. Côté, and F. Kabanza
DIARC: A Testbed for Natural Human-Robot Interaction / 1972
Paul Schermerhorn, James Kramer, Christopher Middendorff, and Matthias Scheutz
A Semi-Autonomous Interactive Robot / 1974
Brian Schlesinger, Michael Mensch, Christopher Rindosh, Joe Votta, and Yunfeng Wang
Collective Construction Using Lego Robots / 1976
Crystal Schuil, Matthew Valente, Justin Werfel, and Radhika Nagpal
Educational Robotics in Brooklyn / 1978
Elizabeth Sklar, Simon Parsons, M Q Azhar, and Valerie Andrewlevich
A Multi Agent Approach to Vision Based Robot Scavenging / 1980
Kamil Wnuk, Brian Fulkerson, and Jeremi Sudol
AAAI Member Abstracts
Semantic Tagging at the Sense Level
Alina Andreevskaia and Sabine Bergler
Slashpack: An Integrated Tool for Gathering and Managing Hypertext Data
Christopher H. Brooks, Monica Agarwal, Jason Endo, Ryan King, Nancy Montanez, and Rudd Stevens
Lookahead Pathology in Real-Time Path-Finding
Vadim Bulitko and Mitja Lustrek
Explicit Passive Analysis in Electronic Catalogs
David Portabella Clotet and Martin Rajman
A Negotiation Protocol for Agents with Nonlinear Utility Functions
Takayuki Ito, Mark Klein, and Hiromitsu Hattori
A Decision-Theoretic Planner with Dynamic Compound Reconfiguration for Distributed Real-Time Applications
John S. Kinnebrew, Nishanth Shankaran, Gautam Biswas, and Douglas C. Schmidt
Using an Ontology for Knowledge Acquisition
Stacy Lovell and Webb Stacy
PB-smodels a Pseudo-Boolean Solver
Gayathri Namasivayam
Bayesian Network Based Reparameterization of Haar-like Feature
Hirotaka Niitsuma
Locally Optimal Algorithms and Solutions for Distributed Constraint Optimization
Jonathan P. Pearce
Wavelet Statistics for Human Motion Classification
Kevin Quennesson, Elias Ioup, and Charles Isbell
Evaluation of Solving Models for Conditional Constraint Satisfaction Problems
Mihaela Sabin and Esther Gelle
Machine Life-Long Learning with csMTL Networks
Daniel L. Silver and Ryan Poirier
How to Put the Pieces of AI Together Again
Aaron Sloman
Decision Making in Uncertain Real-World Domains Using DT-Golog
Mikhail Soutchanski, Huy Pham, and John Mylopoulos
Integrating Clustering and Classification for Estimating Process Variables in Materials Science
Aparna S. Varde, Elke A. Rundensteiner, Carolina Ruiz, David C. Brown, Mohammed Maniruzzaman, and Richard D. Sisson Jr.
When Is Constrained Clustering Beneficial, and Why?
Kiri Wagstaff, Sugato Basu, and Ian Davidson
Interpretation of Design Drawings by Analogy
Patrick W. Yaner and Ashok K. Goel
Index / 1983
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.