Proceedings of the Twenty-First AAAI Conference on Artificial Intelligence

July 16–20, 2006,
Boston, Massachusetts
Published by The AAAI Press, Menlo Park, California

This proceedings is also available in book and CD format

Sample Citation

Ben-Eliyahu, Rachel. 2006. On Computing Minimal Models. In Proceedings of the Twenty-First National Conference on Artificial Intelligence,2-8. Menlo Park, Calif.: AAAI Press.

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. Access to full text may be restricted to AAAI members. PDF file sizes may be large!

AAAI Organization / xxv

AAAI-06 and IAAI-06 Conference Program Committees / xxvii

AAAI-06 Awards / xxxvi/p>

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
Charles X. Ling, Shengli Sheng

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