proceedings of the twenty-fifth ; vol. 2 - gbv · contents volumetwo...

14
^w-^J^Vk'^ aaat-11 sanfr&ncisco Proceedings of the Twenty-Fiftk AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative Applications of Artificial Intelligence Conference 7-11 August 2011 San Francisco, California, USA Menlo Park, California AAAI Press

Upload: others

Post on 16-Jul-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Proceedings of the Twenty-Fifth ; Vol. 2 - GBV · Contents VOLUMETWO ReasoningaboutPlans,Processes,andActions Planningfor OperationalControlSystemswithPredictable ExogenousEvents/940

^w-^J^Vk'^aaat-11 sanfr&ncisco

Proceedings ofthe

Twenty-FiftkAAAI Conference

on Artificial Intelligence andthe

Twenty-Third Innovative Applications of

Artificial Intelligence Conference

7-11 August 2011

San Francisco, California, USA

Menlo Park, California

AAAI Press

Page 2: Proceedings of the Twenty-Fifth ; Vol. 2 - GBV · Contents VOLUMETWO ReasoningaboutPlans,Processes,andActions Planningfor OperationalControlSystemswithPredictable ExogenousEvents/940

Contents

VOLUME TWO

Reasoning about Plans, Processes, and Actions

Planning for Operational Control Systems with Predictable Exogenous Events / 940

Ranen I. Brajman, Carmel Domshlak, Yagil Engel, Zohar Feldman

Generating Diverse Plans Using Quantitative and Qualitative Plan Distance Metrics / 946

Alexandra Coman, Hictor Muhoz-Avila

A POMDP Model of Eye-Hand Coordination / 952

Tom Erez, Julian J, Tramper, William D. Smart, Stan C. A, M. Gielen

Recognizing Plans with Loops Represented in a Lexicalized Grammar / 958

Christopher W. Geib, Robert P. Goldman

A Switching Planner for Combined Task and Observation Planning / 964

Moritz Gdbelbecha; Charles Gretton, Richard Dearden

Exploiting Path Refinement Abstraction in Domain Transition Graphs / 971

Peter Gregory, Derek Long, Craig McNulty, Susanne Murphy

The Inter-League Extension of the Traveling TournamentProblem and its Application to Sports Scheduling / 977

Richard Hoshino, Ken-ichi Kawarabayashi

A Novel Technique for Avoiding Plateaus of Greedy Best-First

Search in Satisficing Planning / 985

Tatsuya Imai, Akihiro Kishimoto

Improving Cost-Optimal Domain-Independent Symbolic Planning / 992

Peter Kissmann, Stefan Edelkamp

On Improving Conformant Planners by Analyzing Domain-Structures / 998

Khoi Nguven, Vien Tran, Tran Cao Son, Enrico Pontelli

Exploiting Problem Symmetries in State-Based Planners / 1004

Nir Pochtei; Aviv Zohar, Jeffrey S. Rosenschein

Qualitative Numeric Planning /1010Siddharth Srivastava, Shlomo Zilberstein, Neil Immerman, Hector Geffner

Extending Classical Planning Heuristics to Probabilistic Planning with Dead-Ends / 1017

Florent Teichteil-Konigsbuch, Vincent Vidal, Guillaume Infantes

Conjunctive Representations in Contingent Planning:Prime Implicates versus Minimal CNF Formula /1023

Son Thanh To, Tran Cao Son, Enrico Pontelli

v

Page 3: Proceedings of the Twenty-Fifth ; Vol. 2 - GBV · Contents VOLUMETWO ReasoningaboutPlans,Processes,andActions Planningfor OperationalControlSystemswithPredictable ExogenousEvents/940

Reasoning under Uncertainty

Efficient Methods for Lifted Inference with Aggregate Factors /1030

jaesik Choi, Rodrigo de Salvo Braz, Hung H. Bui

Dual Decomposition for Marginal Inference / 1037

Justin Dorrike

Stopping Rules for Randomized Greedy Triangulation Schemes / 1043

Andrew E Celfand, Kalev Kask, Rina Dechter

Coarse-to-Fine Inference and Learning for First-Order Probabilistic Models / 1049

Ch\o6 Kiddon, Pedro Domingos

Memory-Efficient Dynamic Programming for Learning Optimal Bayesian Networks /1057

Brandon Malone, Changhe Yuan, Eric A. Hansen

When to Stop? That Is the Question /1063

Shulamit Reches, Meir Kalech, Rami Stem

Abductive Markov Logic for Plan Recognition / 1069

Parag Singla, Raymond J. Mooney

Fast Parallel and Adaptive Updates for Dual-Decomposition Solvers / 1076

Ozg&r Sumer, Umut A, Acar, Alexander T, Ihler, Ramgopal R. Mettu

Utilizing Partial Policies for Identifying Equivalence of Behavioral Models / 1083

Yijeng Zeng, Prashant Doshi, Yinghuf Pan, Hua Mao, Muthukumaran Chandrasekaran, flan Luo

Robotics

Multiagent Patrol Generalized to Complex Environmental Conditions /1090

NoaAgmon, Daniel Urieli, PeterStone

Automated Abstractions for Patrolling Security Games / 1096

Nicola Basilico, Nicola Gatii

Comparing Action-Query Strategies in Semi-Autonomous Agents / 1102

Robert Cohn, Edmund Dur/ee, Satinder Singh

Optimal Route Planning for Electric Vehicles in Large Networks / 1108

jochen Eisner, Ste/dn Funfee, Sabine Storandt

Online Graph Pruning for Pathfrnding on Grid Maps / 1114

Daniel Harabor, AVoan Grastien

Complete Information Pursuit Evasion in Polygonal Environments / 1120

Kyle Klein, Subhash Suri

Learning Dimensional Descent for Optimal Motion

Planning in High-Dimensional Spaces / 1126

Paul Vernaza, Daniel D. Lee

vi

Page 4: Proceedings of the Twenty-Fifth ; Vol. 2 - GBV · Contents VOLUMETWO ReasoningaboutPlans,Processes,andActions Planningfor OperationalControlSystemswithPredictable ExogenousEvents/940

Special Tracks

Artificial Intelligence and the Web

Detecting Multilingual and Multi-Regional Query Intent in Web Search / 1134Yi Chang, Rulqiang Zhang, Srihari Reddy, Yan Liu

A Whole Page Click Model to Better Interpret Search Engine Click Data /1140

Weizhu Chen, ZhanglongJi, 5i Shen, Qiang Yang

User-Controllable Learning of Location Privacy Policies with

Gaussian Mixture Models /1146

Justin Cranshaw,Jonathan Mugan, Norman Sadeh

Artificial Intelligence for Artificial Artificial Intelligence /1153Peng Dai, Mausam, Daniel S. Weld

Towards Practical ABox Abduction in Large OWL DL Ontologies / 1160

Jianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan

Identifying Missing Node Information in Social Networks / 1166

Ron Eyal, Sarit Kraus, Avi Rosen/eld

Maximum Entropy Context Models for RankingBiographical Answers to Open-Domain Definition Questions / 1173

Alejandro Figueroa, John Atkinson

Commonsense Causal Reasoning Using Millions of Personal Stories / 1180

Andrew S. Cordon, Cosmin Adrian Bejan, Kenji Sagae

Active Dual Collaborative Filtering with Both Item and Attribute Feedback / 1186

Luheng He, Nathan N. Liu, Qiang Yang

Fast Query Recommendation by Search / 1192

QixiaJiang Maosong Sun

Continual Planning with Sensing for Web Service Composition / 1198

Eirini Kaldeli, Alexander Lazovik, Marco Aiello

Understanding User Migration Patterns in Social Media / 1204

Shamanth Kumar, Reza Zafarani, Huan Liu

Towards Large-Scale Collaborative Planning: Answering

High-Level Search Queries Using Human Computation / 1210

Edith Law, Haoqi Zhang

Personalizing Your Web Services with Constructive DL ReasoningJoin / 1216

Freddy Licui

Trust Transitivity in Complex Social Networks /1222

Guanjeng Liu, Yan Wang, Mehmet A. Orgun

Generating True Relevance Labels in Chinese Search Engine

Using Clickthrough Data / 1230

Hengjie Song, Chunyan Miao, Zhiai Shen

vii

Page 5: Proceedings of the Twenty-Fifth ; Vol. 2 - GBV · Contents VOLUMETWO ReasoningaboutPlans,Processes,andActions Planningfor OperationalControlSystemswithPredictable ExogenousEvents/940

Cross-Language Latent Relational Search: Mapping Knowledge across Languages /1237

Nguyen Tuan Due, Daitushka Bolkgala, Mifsuru hhizuka

Creative Introspection and Knowledge Acquisition: Learning about the

World through Introspective Questions and Exploratory Metaphors / 1243

Tony Veale, G«o/u Li

CCRank: Parallel Learning to Rank with Cooperative Coevolution /1249

Shuaiqiang Wang, Byron]. Gao, Ke Wang, Hady W. Lauw

Integrating Community Question and Answer Archives / 1255

Wei Wei, Gao Cong, Xiaoli Li, See-Kiong Ng, Guohui Li

Predicting Author Blog Channels with High Value Future Posts for Monitoring /1261Shanchan Wu., Tamer Elsayed, William Rand, Louiqa Raschld

SemRec: A Semantic Enhancement Framework for Tag Based Recommendation / 1267

Guandong Xu, Yanhui Gu, Peter Dolog, Yanchun Zhang, Masaru Kitsuregawa

Analyzing and Predicting Not-Answered Questions in

Community-Based Question Answering Services / 1273

Uchun Yang, Shenghua Bao, Qingliang Lin, Xian Wu, Dingyi Han, Zhong Su, Yong Yu

Temporal Dynamics of User Interests in Tagging Systems / 1279

Dawei Yin, Linngjie Hong, Zhenzhen Xue, Brian D. Davison

Transfer Learning for Multiple-Domain Sentiment Analysis —

Identifying Domain Dependent/IndependentWord Polarity /1286Yasuhisa Yoshida, Tsutonm Hirao, Tomoharu Iwata, Masaah Nagata, Yuji Matsumoto

Propagating Both Trust and Distrust with Target Differentiation for Combating Web Spam / 1292

Xianchao Zhang, You Wang, Nan Mou, WeMxin Liang

Learning to Suggest Questions in Online Forums /1298

Tom Chao Zhou, Chin-Yew Lin, Irwin King, Michael R. Lyu, Young-ln Song, Yunbo Cao

Heterogeneous Transfer Learning for Image Classification / 1304

Yin Zhu, Yuqicmg Chen, Zhongqi Lu, SinnoJialin Pan, Gui-RongXue, Yong Yu, Qiang Yang

Computational Sustainability and Artificial IntelligenceGreen Driver: Al in a Microcosm / 1311

Jim Apple, Paul Chang, Aran Clauson, Heidi Dixon, Hiba Fakhoury, Matt Ginsberg,Erin Keencm, Alex Leighton, Kevin Scavezze, Bryan Smith

Enforcing Liveness in Autonomous Traffic Management / 1317

Tsz-Chiu Au, Neda Shahidi, Peter Stone

Policy Gradient Planning for Environmental Decision Making with Existing Simulators / 1323

Mark Crowley, David Poole

Dynamic Resource Allocation in Conservation Planning / 1331

Daniel Golovin, Andreas Krause, Beth Gardner, SarahJ. Converse, Steve Morey

Water Conservation through Facilitation on Residential Landscapes /1337

Rhonda Hoenlgman, Elizabeth Bradley, Nichole Barger

viii

Page 6: Proceedings of the Twenty-Fifth ; Vol. 2 - GBV · Contents VOLUMETWO ReasoningaboutPlans,Processes,andActions Planningfor OperationalControlSystemswithPredictable ExogenousEvents/940

Incorporating Boosted Regression Trees into Ecological Latent Variable Models / 1343Rebecca A, Hutchinson, Li-Ping Liu, Thomas G. Dietterich

A Large-Scale Study on Predicting and Contextualizing Building Energy Usage / 1349

J. Zko Kolter,Joseph Femira jr.

The Steiner Multigraph Problem: Wildlife Corridor Design for Multiple Species / 1357

Katherine J. Lai, Carla P. Gomes, Michael K. Schwartz, Kevin S. McKelvey,David E. Calkin, Claire A. Montgomery

Hybrid Planning with Temporally Extended Goals for Sustainable Ocean Observing / 1365

Hut Li, Brian Williams

Stochastic Model Predictive Controller for the Integration of

Building Use and Temperature Regulation /1371

Alie El-Din Mady, Gregory M. Provan, Conor Ryan, Kenneth N. Brown

Linear Dynamic Programs for Resource Management / 1377

Marek Petrik, Shlomo Zilberstein

Logistic Methods for Resource Selection Functions and

Presence-Only Species Distribution Models /1384

Steven]. Phillips, Jane Elith

Modeling and Monitoring Crop Disease in Developing Countries / 1390

John A. Quinn, Kevin Leyton-Brown, Ernest Mwelxize

Learned Behaviors of Multiple Autonomous Agents in Smart Grid Markets / 1396

Prashant P. Reddy, Manuela M. Veloso

Efficient Energy-Optimal Routing for Electric Vehicles / 1402

Martin Sachenbachei; Martin Leucfcer, Andreas Artmeier, Julian Haselmayr

Verifying Intervention Policies to Counter Infection Propagationover Networks: A Model Checking Approach / 1408

Ganesh Ram Santhanam, Yuly Suvorov, Samik Basu, Vasant Honavar

Discovering Life Cycle Assessment Trees from Impact Factor Databases / 1415

Naren Sundaravaradan, Debprakash Patnaik, Naren Ramakrishnan, Manish Marwah, Amip Shah

Decentralised Control of Micro-Storage in the Smart Grid / 1421

Thomas D. Voice, Peruferishnen Vytelingum, Sarvapali D. Ramchum, Alex Rogers, Nicholas R.Jennings

Integrated Intelligence

Analogical Dialogue Acts: Supporting Learning by Reading Analogiesin Instructional Texts / 1429

David M. Barbella, Kenneth D. Forbus

Cognitive Synergy between Procedural and Declarative Learning in the

Control of Animated and Robotic Agents Using the OpenCogPrime AGI Architecture / 1436

B. Goertzel,]. Pitt, J. Wigmore, N. Gcisweiller, Z. Cai, R. Lian, D. Huang, G. Vu

Contextually-Based Utility: An Appraisal-Based Approachat Modeling Framing and Decisions /1442

Jonathan Ito, Stacy Marsella

ix

Page 7: Proceedings of the Twenty-Fifth ; Vol. 2 - GBV · Contents VOLUMETWO ReasoningaboutPlans,Processes,andActions Planningfor OperationalControlSystemswithPredictable ExogenousEvents/940

Combining Learned Discrete and Continuous Action Models / 1449

Joseph Z. Xu, John £. Laird

Cross Media Entity Extraction and Linkage for Chemical Documents / 1455

Su Yan, W. Scott Spangler, Ying Chen

Physically Grounded Artificial Intelligence

Multi-Observation Sensor Resetting Localization with Ambiguous Landmarks / 1462Brian Coltin, Manuela Vehso

Autonomous Skill Acquisition on a Mobile Manipulator / 1468

George Konidaris, Scott Kuindersma, Roderic Grupen, Andrew Barto

A Scalable Tree-Based Approach for Joint Object and Pose Recognition / 1474

Kevin Lai, Lle/eng Bo, Xiaqfeng Ren, Dieter Fox

Recognizing Text through Sound Alone / 1481

Wenzhe Li, Tracy Hammond

DISCO: Describing Images Using Scene Contexts and Objects / 1487

IJeoma Nwogu, Yingbo Zhou., Christopher Brown

Continuous Occupancy Mapping with Integral Kernels / 1494

Simon I O'Callaghan, Fahio T Ramos

Learning Accuracy and Availability of Humans Who Help Mobile Robots / 1501

Stephanie Rosenthal, Manuela Veioso, Anind PC. Dey

Understanding Natural Language Commands for Robotic

Navigation and Mobile Manipulation /1507Stejanie Tellex, Thomas Kollar, Steven Dickerson, Matthew R. Walter,Ashis Copal Banerjee, Seih Teller, Nicholas Roy

Balancing Safety and Exploitability in Opponent Modeling / 1515

Zhifeun Wang, Abdeslam Boularias, Katharina Mulling, Jan Peters

Self-Aware Traffic Route Planning / 1521

David WilJrie,Jur van den Berg, Ming Lin, Dinesh Manocha

New Scientific and Technical Advances in Research (Nectar)

Effective End-User Interaction with Machine Learning / 1529

Saleema Amershi, James Fogarty, Ashish Kapoor, Desney Tan

Global Seismic Monitoring: A Bayesian Approach / 1533

Nimar S. Arora, Stuart Russell, Paul Kidwe!!, Erik Sudderih

The Next Best Solution / 1537

R. Bra/man, E, Pilotto, F. Rossi, D. Salvagnin, K. B. Venable, T. Walsh

New Expressive Languages for Ontological Query Answering / 1541Andrea Cah, Ceorg Gottlob, Andreas Pieris

Quantity Makes Quality: Learning with Partial Views / 1547Nicold Cesa-Bianchi, Shai Shaiev-Shwartz, Ohad Shamir

x

Page 8: Proceedings of the Twenty-Fifth ; Vol. 2 - GBV · Contents VOLUMETWO ReasoningaboutPlans,Processes,andActions Planningfor OperationalControlSystemswithPredictable ExogenousEvents/940

Design and Analysis of Value Creation Networks / 1551

S. Kameshwaran, Sameep Mehta, Vinayaka Pandit

Two Visual Strategies for Solving the Raven's Progressive Matrices Intelligence Test / 1555

Maithilee Kunda, Keith McGreggor, Ashok Gael

A POMDP-Based Optimal Control of P300-Based

Brain-Computer Interfaces /1559

Jaeyoung Park, Kee-Eung Kim, Yoon-Kyu Song

Planning with Specialized SAT Solvers / 1563

Jussi Rintanen

Termination and Correctness Analysis of Cyclic Control / 1567

Siddharth Srlvastava, Neil Immerman, Shlamo Zilberstein

Recommendation Sets and Choice Queries: There Is

No Exploration/Exploitation Tradeoff! / 1571

Paolo Viappiani, Craig Boutilier

End-User Feature Labeling via Locally Weighted Logistic Regression / 1575

Weng-Keen Wong, lan Oberst, Shubhomoy Das, Travis Moore,

Simone Stumpj, Kevin Mcintosh, Margaret Burnett

Innovative Applications ofArtificial Intelligence

Deployed Applications

NewsFinder: Automating an Artificial Intelligence News Service / 1581

Liang Dong, Reid G. Smith, Bruce Buchanan

The Glass Infrastructure: Using Common Sense to Create a Dynamic,Place-Based Social Information System / 1589

Catherine Havasi, Richard Borovoy, Boris Kizelshteyn, Polychronis Ypodimatopoulos,Jon Ferguson, Henry Holtzman, Andrew Uppman, Dan Schultz, Matthew Blackshaw,

Greg Elliott, Chakl Ng

Learning by Demonstration Technology for MilitaryPlanning and Decision Making: A Deployment Story / 1597

Karen Myers, Jake Kolojejchick, Carl Angiolillo, Tim Cummings, Tom Garvey, Melinda Gervasio, Will Haines,ChrisJones, Janette Knittel, David Morley, William Ommert, Scott Potter

The News that Matters to You Design and Deployment of a Personalized News Service / 1605

Mark J. Stefik, Lance Good

Machine Learning and Sensor Fusion for Estimating Continuous Energy Expenditure / 1613

Nisarg Vyas, Jonathan Farringdon, David Andre andJohn (Ivo) Stivoric

Emerging Applications

Testing Cyber Security with Simulated Humans / 1622

Jim Blythe, Aaron Botello, Joseph Sutton, David Mazzoco, Jerry Lin, Marc Spraragen, Michael Zyda

xi

Page 9: Proceedings of the Twenty-Fifth ; Vol. 2 - GBV · Contents VOLUMETWO ReasoningaboutPlans,Processes,andActions Planningfor OperationalControlSystemswithPredictable ExogenousEvents/940

A Machine Learning Based System for Semi-Automatically Redacting Documents /1628

Chad Cumby, Rayid Ghani

Online Planning to Control a Packaging Infeed System / 1636

Minh Do, Lawrence Lee, Rang Zhou, Lara Crawford, Serdar Uckun

The Stock Sonar — Sentiment Analysis of Stocks Based on a Hybrid Approach / 1642

Ronen Feldman, Benjamin Rosenfeld, Roy Bar-Haim, Moshe Fresko

Learning a Skill-Teaching Curriculum with Dynamic Bayes Nets / 1648

Derek T. Green, Thomas J. Walsh, Paul R. Cohen

Hybrid Qualitative Simulation of Military Operations / 1655

Thomas Hinrichs, Kenneth Forbusjohande Kieer, Sungwook Yoon, Eric Jones, Robert Hyland, Jason Wilson

Detecting Falls with Location Sensors and Accelerometers / 1662

Mitja Lustrek, Hristijan Gjoreski, Simon Kozina, Bozidara Cvetkovic, Violeta Mirchevsfea, Matjaz Gams

Emerging Applications for Intelligent Diabetes Management / 1668

Cindy Marling, Matthew Wiley, Razvan Bunescu, Jay Shubrook, Frank Schwartz

Designing Resilient Long-Reach Passive Optical Networks / 1674

Deepak Mehta, Barry O'SuHivan, Luis Quesada, Marco Ruffini, David Payne, Linda Doyle

Monitoring Entities in an Uncertain World: Entity Resolution and Referential Integrity / 1681

Steven N. Minton, So/us A. Macskassy, Peter LaMonica, Kane See, Craig A. Knoblock, Greg Barish, Matthew

Michelson, Raymond Liuzzi

Abductive Inference for Combat: Using SCARE-S2 to

Find High-Value Targets in Afghanistan /1689

Paulo Shakarian, Margo K. Nagel, Brittany E. Schuetzle, V. S. Subrahmcwian

Automatically Mapping Natural Language Requirements to

Domain-Specific Process Models / 1695

Uthayashankar Thayasivam, Kunal Verma, Alex Kass, Reymonrod Vasquez

Modeling Player Retention in Madden NFL 11 / 1701

Ben G. Weber, Michae! John, Michae! Mateas, ArnavJhala

Accelerating the Discovery of Data Quality Rules: A Case Study / 1707

Peter Z, Yeh, Colin A. Puri, Mark Wagman, Ajay K. Easo

Educational Advances in Artificial Intelligence

Full Papers

Science Fiction as an Introduction to AI Research / 1717

Judy Goldsmith, Nicholas Mattel

Introducing Uninformed Search with Tangible Board Games / 1.723

Fred G. Martin

Teaching Introductory Artificial Intelligence throughJava-Based Games / 1729

Amy McGovern, Zachery Tidwell, Derek Rushing

xii

Page 10: Proceedings of the Twenty-Fifth ; Vol. 2 - GBV · Contents VOLUMETWO ReasoningaboutPlans,Processes,andActions Planningfor OperationalControlSystemswithPredictable ExogenousEvents/940

Teaching Reinforcement Learning with Mario: An Argument and Case Study / 1737

Matthew E. Taylor

Short Papers and Model A.I Assignments

Playing to Program: Towards an Intelligent Programming Tutor for RUR-PLE / 1744

Marie desjardms, Amy Ciavolino, Robert Deloatch, Eliann Feasley

Model AI Assignments 2011 / 1746

Todd W. Neller, Marie desjardins, Tim Oates, Matthew E. Taylor

Student Abstracts and Posters

Learning Compact Representations of Time-Varying Processes / 1748

Philip Bachman, Doina Precup

Assessing Quality in the Web of Linked Sensor Data /1750

Chris Bciillie, Peter Edwards, Edoardo Pignotti

Medical Treatment Conflict Resolving in Answer Set Programming / 1752

Forrest Sheng Bao, Zhizheng Zhang, Yuanlin Zhang

Controlling Selection Bias in Causal Inference /1754

Elias Bareinboim, Judea Pearl

Solving 4x5 Dots-And-Boxes I 1756

Joseph K. Barker, Richard E. KorJ

Ad Hoc Teamwork in Variations of the Pursuit Domain / 1758

Samuel Barrett, Peter Stone

Reconstructing the Stochastic Evolution Diagram of Dynamic Complex Systems / 1760

Navid Bazzazzadeh, Benedict Brors, Roland Eils

Provoking Opponents to Facilitate the Recognition of their Intentions / 1762

Francis fiisson, Froduald Kabanza, Abder Rezak Benaskeui; Hengameh lrandoust

Dynamic Batch Mode Active Learning via LI Regularization / 1764

Shayok Chakraborty, Vineeth Bateubramanian, Sethuraman Panchanatlian

Heuristic Planning in Adversarial Dynamic Domains / 1766

Simon Chamberland, Froduald Kabanza

Using Neural Networks for Evaluation in Heuristic Search Algorithm / 1768

Hung-Che Chen, Jyh-Da Wei

Can Collective Sentiment Expressed on Twitter Predict Political Elections? / 1770

Jessica Chung, Eni Mustajaraj

Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation / 1772

Christian Dreschei; Toby Walsh

Probabilistic Plan Graph Heuristic for Probabilistic Planning / 1774

Yolanda E-Martfn, Maria D. R-Moreno, David E. Smith

xiii

Page 11: Proceedings of the Twenty-Fifth ; Vol. 2 - GBV · Contents VOLUMETWO ReasoningaboutPlans,Processes,andActions Planningfor OperationalControlSystemswithPredictable ExogenousEvents/940

Optimal Subset Selection for Active Learning 11776

Yijan Fu, Xingquan Zhu

Efficient Issue-Grouping Approach for Multi-Issues Negotiationbetween Exaggerator Agents / 1778

Katsuhide Fujita, Mark Klein, Takayuki /to

Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction Problems / 1780

)ian Gao, Minghao Yin, Junping Zhou

Role-Based Ad Hoc Teamwork / 1782

Katie Gaiter, Naa Agmon, Peter Stone

Using Conditional Random Fields to Exploit Token Structure and Labels

for Accurate Semantic Annotation / 1784

Aman Gael, Craig A. Knoblock, KristinaLerman

Large Scale Diagnosis Using Associations between System Outputs and Components / 1786

Ting Guo, Zhanshan LI, Ruizhi Guo, Xingquan Zhu

On the Discovery and Utility of Precedence Constraints in Temporal Planning / 1788

Yanmei Hu, Minghao Yin, Dunbo Cai

Exact Phase Transitions and Approximate Algorithm of #CSP / 1790

Ping Huang, Minghao Yin, Ke Xu

Extending the Applications of Recent Real-time Heuristic Search / 1792

Daniel Huntley, Vadim Bulitko

Multiple-Instance Learning: Multiple Feature Selection

on Instance Representation /1794

I-Hongjhuo, D. T. Lee

An Event-Based Framework for Process Inference / 1796

MichaelJoya

Toward Learning to Solve Insertion Tasks: A Developmental ApproachUsing Exploratory Behaviors and Proprioception /1798

Philip Koonce, Vasha Dutell,Jose Farrington, Vladimir Sufehoy, Alexander Stoytchev

Time Complexity of Iterative-Deepening A*: The Informativeness Pathology (Abstract) / 1800

Levi Lelis, Sandra Zilles, Robert C. Holte

An Empirical Study of Bagging Predictors for Different Learning Algorithms /1802Guohua Liang, Xingquan Zhu, Chengqi Zhang

An Efficient and Complete Approach for Cooperative Path-Finding / 1804

Ryan Luna, Kostas E. Beferis

Generating Explanations for Complex Biomedical Queries / 1806

Umut Oztok, Esra Erdem

An Intelligent System for Prolonging Independent Living of Elderly / 1808

Sogdan Pogorelc

Evolution of Node Behavior in Link Prediction /1810

Baojun Qiu, Qi He,John Yen

xiv

Page 12: Proceedings of the Twenty-Fifth ; Vol. 2 - GBV · Contents VOLUMETWO ReasoningaboutPlans,Processes,andActions Planningfor OperationalControlSystemswithPredictable ExogenousEvents/940

Web Personalization and Cohort Information Services for

Natural Resource Managers / 1812

Crystal E. Redman

Using Partitions and Superstrings for Lossless Compression of Pattern Databases / 1814

Ethan L Schreiber, Richard E. Korj

Convergence Properties of (u, + \) Evolutionary Algorithms / 1816

Aram Ter-Sarkisov, Stephen Marsland

On the Effectiveness of Belief State Representation in Contingent Planning/ 1818

Son Thanh To, Tran Cao Son, Enrico Pontelli

A Bayesian Reinforcement Learning Framework Using Relevant Vector Machines / 1820

Nikolaos Tziortziotis, Konstantinos Blekas

A Framework for Integration of Logical and Probabilistic Knowledge / 1822

Jingsong Wang, Marco Valtorta

Solution Quality Improvements for Massively Multi-Agent Pathfmding / 1824

Ko-Hsin Cindy Wang, Adi Botea, Philip Kilby

Online Updating the Generalized Inverse of Centered Matrices / 1826

Qing Wang, Liong Zhong

Modeling Opponent Actions for Table-Tennis Playing Robot / 1828

Zhikun Wang, Abdeslam Boularias, Katharina Mulling,Jan Peters

Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs / 1830

Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere

A Local Monte Carlo Tree Search Approach in Deterministic Planning / 1832

Fan Xie, Hootan Nakhost, Martin Mailer

Discovering Latent Strategies / 1834

Xiaoxi Xu

Doctoral Consortium

The AC(C) Language: Integrating Answer Set Programmingand Constraint Logic Programming / 1837

Forrest ShengBao

Joint Inference for Extracting Text Descriptors from

Triage Images of Mass Disaster Victims / 1839

Niyati Chhaya

Model Update for Automated Planning / 1841

Maria Viviane de Menezes, Leliane Nunes de Barros

Long-Term Declarative Memory for Generally Intelligent Agents / 1843

Nate Derbinsky

Ensemble Classification for Relational Domains / 1845

Hoda Eldardiry

xv

Page 13: Proceedings of the Twenty-Fifth ; Vol. 2 - GBV · Contents VOLUMETWO ReasoningaboutPlans,Processes,andActions Planningfor OperationalControlSystemswithPredictable ExogenousEvents/940

Developing a Language for Spoken Programming /1847

Benjamin M. Gordon

A Probabilistic Trust and Reputation Model for Supply Chain Management / 1849

Yasaman Haghpanah

Designing Water Efficient Residential Landscapes with Agent-Based Modeling / 1851

Rhonda Hoenigman

Predicting Text Quality for Scientific Articles / 1853

Annie Louis

Scaling Up Game Theory: Achievable Set Methods for

Efficiently Solving Stochastic Games of Complete and Incomplete Information /1855

Liam MacDermcd

Pruning Techniques in Search and Planning (Research Abstract) / 1857

Nir Pochler

Learning with Imprecise Classes, Rare Instances, and Complex Relationships /1859Srinath Rav'mdrcm

Modeling the Effects of Emotion on Cognition / 1861

Marc Spraragen

Learning Sensor, Space and Object Geometry / 1863

Jeremy Stober

Incentive-Compatible Trust Mechanisms (Extended Abstract) /1865

Jens Witfeowski

Robotics Program

Learning Tasks and Skills Together from a Human Teacher /1868

Bans Afegun, Kaushik Subramanian,Jaeeun Shim, Andrea L. Thomaz

Can Quadrotors Succeed as an Educational Platform? / 1870

Zachary Ootids

Playing Chess with a Human-Scale Mobile Manipulator / 1872

Michael Ferguson, fCim Gero.Joao Salks, James Weis

A Robotics Environment for Software Engineering Courses / 1874

Stephan Gobel, RubenJubeh, Simon-Lennert Raesch

Lego Plays Chess: A Low-Cost, Low-ComplexityApproach to Intelligent Robotics / 1876

Michael Lamghan, Jerod Sihorsfeyj, Debra Burhans, Robert Selkowitz

Learning from Demonstration in Spatial Exploration / 1878

J. Pablo Munoz, Ari/T. Ozgeien, Elizabeth I. Skiar

xvi

Page 14: Proceedings of the Twenty-Fifth ; Vol. 2 - GBV · Contents VOLUMETWO ReasoningaboutPlans,Processes,andActions Planningfor OperationalControlSystemswithPredictable ExogenousEvents/940

Approaches to Multi-Robot Exploration and Localization / 1880

An/T. Ozgelen, Michael Costantino, Adiba Ishak, Moses Kingston,Diquan Moore, Samuel Sanchez, J. Pablo Munoz, Simon Parsons, Elizabeth I. Sklar

Hekaieros: A Desktop 5 Degree-of-Freedom Robot Arm

for the Small-Scale Manipulation Robot Chess Challenge / 1882

Kim Wheeler, Robin Knight, Collin Horvat, Daniel Packard, Casey Kithns, Brent Wilkins, Robert Sltieiy

Index /1885

xvii