Table of Contents

• Multiple-Goal Recognition from Low-Level SignalsXiaoyong Chai, Qiang Yang. 3-8
• A Variational Learning Algorithm for the Abstract Hidden Markov ModelJeffrey Johns, Sridhar Mahadevan. 9-14
• Large-Scale Localization from Wireless Signal StrengthJulie Letchner, Dieter Fox, Anthony LaMarca. 15-20
• Unsupervised Activity Recognition Using Automatically Mined Common SenseDanny Wyatt, Matthai Philipose, Tanzeem Choudhury. 21-27
• Activity Recognition through Goal-Based SegmentationJie Yin, Dou Shen, Qiang Yang, Ze-Nian Li. 28-34
• Team Member Reallocation via Tree PruningNoa Agmon, Gal A. Kaminka, Sarit Kraus. 35-40
• Efficient No-Regret Multiagent LearningBikramjit Banerjee, Jing Peng. 41-46
• Solving DisCSPs with Penalty Driven SearchMuhammed Basharu, Inés Arana, Hatem Ahriz. 47-52
• Coordination and Adaptation in Impromptu TeamsMichael H. Bowling, Peter McCracken. 53-58
• Robust and Self-Repairing Formation Control for Swarms of Mobile AgentsJimming Cheng, Winston Cheng, Radhika Nagpal. 59-64
• An Extended Protocol for Multiple-Issue Concurrent NegotiationJiangbo Dang, Michael N. Huhns. 65-70
• The Semantics of Potential IntentionsXiaocong Fan, John Yen. 71-76
• Agent-Organized Networks for Multi-Agent Production and ExchangeMatthew E. Gaston, Marie desJardins. 77-82
• Supporting Collaborative ActivityMeirav Hadad, Gilad Armon-Kest, Gal A. Kaminka, Sarit Kraus. 83-88
• Multiple Agent Event Detection and Representation in VideosAsaad Hakeem, Mubarak Shah. 89-94
• Anyone but Him: The Complexity of Precluding an AlternativeEdith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe. 95-101
• Towards Model-Based Diagnosis of Coordination FailuresMeir Kalech, Gal A. Kaminka. 102-107
• Flexible Teamwork in Behavior-Based RobotsGal A. Kaminka, Inna Frenkel. 108-113
• Coordinating Agile Systems through the Model-based Execution of Temporal PlansThomas Léauté, Brian C. Williams. 114-120
• Controversial Users Demand Local Trust Metrics: An Experimental Study on Epinions.com CommunityPaolo Massa, Paolo Avesani. 121-126
• Modeling Human Behavior for Virtual Training SystemsYohei Murakami, Yuki Sugimoto, Toru Ishida. 127-132
• Networked Distributed POMDPs: A Synthesis of Distributed Constraint Optimization and POMDPsRanjit Nair, Pradeep Varakantham, Milind Tambe, Makoto Yokoo. 133-139
• New Approaches to Optimization and Utility Elicitation in Autonomic ComputingRelu Patrascu, Craig Boutilier, Rajarshi Das, Jeffrey O. Kephart, Gerald Tesauro, William E. Walsh. 140-145
• An Ecological Approach to Agent Population ManagementMaxim Peysakhov, Robert N. Lass, William C. Regli, Moshe Kam. 146-151
• Distributing Coalitional Value Calculations among Cooperative AgentsTalal Rahwan, Nicholas R. Jennings. 152-159
• Cooperative Exploration in the Electronic MarketplaceDavid Sarne, Sarit Kraus. 158-163
• Solving the Auction-Based Task Allocation Problem in an Open EnvironmentDavid Sarne, Sarit Kraus. 164-169
• Profit Sharing AuctionSandip Sen, Teddy Candale, Susnata Basak. 170-175
• OAR: A Formal Framework for Multi-Agent NegotiationJiaying Shen, Ingo Weber, Victor R. Lesser. 176-183
• Tool Use for Autonomous AgentsRobert St. Amant, Alexander B. Wood. 184-189
• Observation-based Model for BDI-AgentsKaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan. 190-195
• Stable Service Placement on Dynamic Peer-to-Peer Networks: A Heuristic for the Distributed ::::k-::::Center ProblemEvan Sultanik, William C. Regli. 196-201
• Analogical Learning of Visual/Conceptual Relationships in SketchesKenneth D. Forbus, Jeffrey M. Usher, Emmett Tomai. 202-208
• Solving Everyday Physical Reasoning Problems by Analogy Using SketchesMatthew Klenk, Kenneth D. Forbus, Emmett Tomai, Hyeonkyeong Kim, Brian Kyckelhahn. 209-215
• Complexity-Guided Case Discovery for Case Based ReasoningStewart Massie, Susan Craw, Nirmalie Wiratunga. 216-221
• Interactive Knowledge Validation and Query Refinement in CBRMonica H. Ou, Geoff A. W. West, Mihai Lazarescu, Chris Clay. 222-227
• Competence Driven Case-Base MiningRong Pan, Qiang Yang, Jeffrey Junfeng Pan, Lei Li. 228-233
• A Domain-Independent System for Case-Based Task Decomposition without Domain TheoriesKe Xu, Héctor Muñoz-Avila. 234-240
• Mechanism Design for Single-Value DomainsMoshe Babaioff, Ron Lavi, Elan Pavlov. 241-247
• Combinatorial Auctions with ::::k-::::wise Dependent ValuationsVincent Conitzer, Tuomas Sandholm, Paolo Santi. 248-254
• Expressive Negotiation in Settings with ExternalitiesVincent Conitzer, Tuomas Sandholm. 255-260
• A New Strategy-Proof Greedy-Allocation Combinatorial Auction Protocol and Its Extension to Open Ascending Auction ProtocolTakayuki Ito, Makoto Yokoo, Atsushi Iwasaki, Shigeo Matsubara. 261-268
• Approximating Revenue-Maximizing Combinatorial AuctionsAnton Likhodedov, Tuomas Sandholm. 267-274
• The Achilles Heel of QBFCarlos Ansótegui, Carla P. Gomes, Bart Selman. 275-281
• Combining Stochastic and Greedy Search in Hybrid EstimationLars Blackmore, Stanislav Funiak, Brian C. Williams. 282-287
• Propositional Fragments for Knowledge Compilation and Quantified Boolean FormulaeSylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis. 288-293
• Axiom Schemata as Metalevel Axioms: Model TheoryTimothy L. Hinrichs, Michael R. Genesereth. 294-299
• On Compiling System Models for Faster and More Scalable DiagnosisJinbo Huang, Adnan Darwiche. 300-306
• A Discourse Planning Approach to Cinematic Camera Control for Narratives in Virtual EnvironmentsArnav Jhala, R. Michael Young. 307-312
• Dependency-Directed Reconsideration Belief Base Optimization for Truth Maintenance SystemsFrances L. Johnson, Stuart C. Shapiro. 313-320
• Diagnosis as Approximate Belief State Enumeration for Probabilistic Concurrent Constraint AutomataOliver B. Martin, Brian C. Williams, Michel D. Ingham. 321-326
• Model-Based Monitoring and Diagnosis of Systems with Software-Extended BehaviorTsoline Mikaelian, Brian C. Williams, Martin Sachenbacher. 327-333
• Recommender Systems: Attack Types and StrategiesMichael P. O Mahony, Neil J. Hurley, Guenole C. M. Silvestre. 334-339
• Compact Propositional Encodings of First-Order TheoriesDeepak Ramachandran, Eyal Amir. 340-345
• Identifying Direct Causal Effects in Linear ModelsJin Tian. 346-353
• Old Resolution Meets Modern SLSAnbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar. 354-359
• CSP Properties for Quantified Constraints: Definitions and ComplexityLucas Bordeaux, Marco Cadoli, Toni Mancini. 360-365
• Constrained Decision DiagramsKenil C. K. Cheng, Roland H. C. Yap. 366-371
• Finding Diverse and Similar Solutions in Constraint ProgrammingEmmanuel Hebrard, Brahim Hnich, Barry O Sullivan, Toby Walsh. 372-377
• Weighted Super Solutions for Constraint ProgramsAlan Holland, Barry O Sullivan. 378-383
• Generating Hard Satisfiable Formulas by Hiding Solutions DeceptivelyHaixia Jia, Cristopher Moore, Doug Strain. 384-389
• Generalized NoGoods in CSPsGeorge Katsirelos, Fahiem Bacchus. 390-396
• Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPsAnagh Lal, Berthe Y. Choueiry, Eugene C. Freuder. 397-404
• A Fast Arc Consistency Algorithm for n-ary ConstraintsOlivier Lhomme, Jean-Charles Régin. 405-410
• Quick ShavingOlivier Lhomme. 411-415
• DC-SSAT: A Divide-and-Conquer Approach to Solving Stochastic Satisfiability Problems EfficientlyStephen M. Majercik, Byron Boots. 416-422
• A Constraint Satisfaction Approach to Geospatial ReasoningMartin Michalowski, Craig A. Knoblock. 423-429
• A Framework for Representing and Solving NP Search ProblemsDavid G. Mitchell, Eugenia Ternovska. 430-435
• Generation of Hard Non-Clausal Random Satisfiability ProblemsJuan Antonio Navarro Pérez, Andrei Voronkov. 436-442
• Anytime, Complete Algorithm for Finding Utilitarian Optimal Solutions to STPPsBart Peintner, Martha E. Pollack. 443-448
• Superstabilizing, Fault-Containing Distributed Combinatorial OptimizationAdrian Petcu, Boi Faltings. 449-454
• SAT-Based versus CSP-Based Constraint Weighting for SatisfiabilityDuc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi. 455-460
• Constraint-Based Preferential OptimizationSteven David Prestwich, Francesca Rossi, Kristen Brent Venable, Toby Walsh. 461-466
• SymChaff: A Structure-Aware Satisfiability SolverAshish Sabharwal. 467-474
• Performing Bayesian Inference by Weighted Model CountingTian Sang, Paul Beame, Henry A. Kautz. 475-482
• A Generalized Strategy Eliminability Criterion and Computational Methods for Applying ItVincent Conitzer, Tuomas Sandholm. 483-488
• Fast and Compact: A Simple Class of Congestion GamesSamuel Ieong, Robert McGrew, Eugene Nudelman, Yoav Shoham, Qixiang Sun. 489-494
• Mixed-Integer Programming Methods for Finding Nash EquilibriaTuomas Sandholm, Andrew Gilpin, Vincent Conitzer. 495-501
• Approximate Strategic Reasoning through Hierarchical Reduction of Large Symmetric GamesMichael P. Wellman, Daniel M. Reeves, Kevin M. Lochner, Shih-Fen Cheng, Rahul Suri. 502-508
• Coalitional Games in Open Anonymous EnvironmentsMakoto Yokoo, Vincent Conitzer, Tuomas Sandholm, Naoki Ohta, Atsushi Iwasaki. 509-515
• Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on ProofsChristoph Benzmüller, Quoc Bao Vo. 516-522
• Real-Time Classification of Electromyographic Signals for Robotic ControlBeau Crawford, Kai Miller, Pradeep Shenoy, Rajesh P. N. Rao. 523-528
• A Decision Theoretic Model for Stress Recognition and User AssistanceWenhui Liao, Weihong Zhang, Zhiwei Zhu, Qiang Ji. 529-534
• On the Evaluation of Dynamic Critiquing: A Large-Scale User StudyKevin McCarthy, Lorraine McGinty, Barry Smyth, James Reilly. 535-540
• Optimal Recommendation Sets: Covering Uncertainty over User PreferencesRobert Price, Paul R. Messinger. 541-548
• Goal-Directed Site-Independent Recommendations from Passive ObservationsTingshao Zhu, Russell Greiner, Gerald Häubl, Kevin Jewell, Robert Price. 549-557
• An Analysis of Procedure Learning by InstructionJim Blythe. 558-563
• An Analysis of Knowledge Collected from Volunteer ContributorsTimothy Chklovski, Yolanda Gil. 564-571
• Integrating Description Logics and Action Formalisms: First ResultsFranz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter. 572-577
• Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic DomainsChitta Baral, Thomas Eiter, Jicheng Zhao. 578-583
• Hybrid Possibilistic NetworksSalem Benferhat, Salma Smaoui. 584-589
• Practical First-Order ArgumentationPhilippe Besnard, Anthony Hunter. 590-595
• Prioritized Component SystemsGerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski. 596-601
• DL-Lite: Tractable Description Logics for OntologiesDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. 602-607
• An Axiomatic Account of Formal ArgumentationMartin Caminada, Leila Amgoud. 608-613
• Merging Argumentation SystemsSylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis. 614-619
• DD-PREF: A Language for Expressing Preferences over SetsMarie desJardins, Kiri Wagstaff. 620-626
• Cumulative Effects of Concurrent Actions on Numeric-Valued FluentsEsra Erdem, Alfredo Gabaldon. 627-632
• Only-Knowing: Taking It Beyond Autoepistemic ReasoningGerhard Lakemeyer, Hector J. Levesque. 633-638
• Tractable Reasoning in First-Order Knowledge Bases with Disjunctive InformationYongmei Liu, Hector J. Levesque. 639-644
• Knowledge Integration for Description LogicsThomas Andreas Meyer, Kevin Lee, Richard Booth. 645-650
• Analysis of Strategic Knowledge in Back of the Envelope ReasoningPraveen K. Paritosh, Kenneth D. Forbus. 651-656
• Generalized Link Properties for Expressive epsilon-Connections of Description LogicsBijan Parsia, Bernardo Cuenca Grau. 657-662
• Functional Specification of Probabilistic Process ModelsAvi Pfeffer. 663-669
• Diagnosing TerminologiesStefan Schlobach. 670-675
• Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering KnowledgeNam Tran, Chitta Baral, Carran Shankland. 676-681
• A Theory of Forgetting in Logic ProgrammingKewen Wang, Abdul Sattar, Kaile Su. 682-688
• Reasoning about Intended ActionsChitta Baral, Michael Gelfond. 689-694
• Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground CaseThomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran. 695-700
• Properties of Programs with Monotone and Convex ConstraintsLengning Liu, Miroslaw Truszczynski. 701-706
• A Unified Framework for Representing Logic Program UpdatesYan Zhang, Norman Y. Foo. 707-713
• Robust Supervised LearningJ. Andrew Bagnell. 714-719
• Weighted One-Against-AllAlina Beygelzimer, John Langford, Bianca Zadrozny. 720-725
• Optimal Efficient Learning Equilibrium: Imperfect Monitoring in Symmetric GamesRonen I. Brafman, Moshe Tennenholtz. 726-731
• Discovering Domain-Specific Composite KernelsThomas Briggs, Tim Oates. 732-738
• A Comparison of Novel and State-of-the-Art Polynomial Bayesian Network Learning AlgorithmsLaura E. Brown, Ioannis Tsamardinos, Constantin F. Aliferis. 739-745
• Reducing Labeling Effort for Structured Prediction TasksAron Culotta, Andrew McCallum. 746-751
• Towards Learning Stochastic Logic Programs from Proof-BanksLuc De Raedt, Kristian Kersting, Sunna Torge. 752-757
• Incremental Estimation of Discrete Hidden Markov Models Based on a New Backward ProcedureGerman Florez-Larrahondo, Susan Bridges, Eric A. Hansen. 758-763
• A Hybrid Generative/Discriminative Approach to Semi-Supervised Classifier DesignAkinori Fujino, Naonori Ueda, Kazumi Saito. 764-769
• Discriminative Model Selection for Belief Net StructuresYuhong Guo, Russell Greiner. 770-776
• Transforming between Propositions and Features: Bridging the GapDaniel T. Halstead, Kenneth D. Forbus. 777-782
• Effective Short-Term Opponent Exploitation in Simplified PokerBret Hoehn, Finnegan Southey, Robert C. Holte, Valeriy Bulitko. 783-788
• Non-Stationary Policy Learning in 2-Player Zero Sum GamesSteven Jensen, Daniel Boley, Maria L. Gini, Paul R. Schrater. 789-794
• nFOIL: Integrating Naïve Bayes and FOILNiels Landwehr, Kristian Kersting, Luc De Raedt. 795-800
• Using Modified Lasso Regression to Learn Large Undirected Graphs in a Probabilistic FrameworkFan Li, Yiming Yang. 801-806
• The Regularized EM AlgorithmHaifeng Li, Keshu Zhang, Tao Jiang. 807-812
• Semi-Supervised Sequence Modeling with Syntactic Topic ModelsWei Li, Andrew McCallum. 813-818
• Giving Advice about Preferred Actions to Reinforcement Learners Via Knowledge-Based Kernel RegressionRichard Maclin, Jude W. Shavlik, Lisa Torrey, Trevor Walker, Edward W. Wild. 819-824
• Distribution-Free Learning of Bayesian Network Structure in Continuous DomainsDimitris Margaritis. 825-830
• Online Query Relaxation via Bayesian Causal Structures DiscoveryIon Muslea, Thomas J. Lee. 831-836
• Redescription Mining: Structure Theory and AlgorithmsLaxmi Parida, Naren Ramakrishnan. 837-844
• Spectral Clustering of Biological Sequence DataWilliam Pentney, Marina Meila. 845-850
• Enhanced Direct Linear Discriminant Analysis for Feature Extraction on High Dimensional DataA. Kai Qin, S. Y. M. Shi, Ponnuthurai N. Suganthan, Marco Loog. 851-855
• A Maximum Likelihood Framework for Integrating TaxonomiesSuju Rajan, Kunal Punera, Joydeep Ghosh. 856-861
• Constraint-Based Entity MatchingWarren Shen, Xin Li, AnHai Doan. 862-867
• Discriminative Training of Markov Logic NetworksParag Singla, Pedro Domingos. 868-873
• Representing Conditional Independence Using Decision TreesJiang Su, Harry Zhang. 874-879
• Value Functions for RL-Based Behavior Transfer: A Comparative StudyMatthew E. Taylor, Peter Stone, Yaxin Liu. 880-885
• Online Resource Allocation Using Decompositional Reinforcement LearningGerald Tesauro. 886-891
• Inducing Hierarchical Process Models in Dynamic DomainsLjupco Todorovski, Will Bridewell, Oren Shiran, Pat Langley. 892-897
• Software Testing by Active Learning for Commercial GamesGang Xiao, Finnegan Southey, Robert C. Holte, Dana F. Wilkinson. 898-903
• Unsupervised and Semi-Supervised Multi-Class Support Vector MachinesLinli Xu, Dale Schuurmans. 904-910
• Learning Planning Rules in Noisy Stochastic WorldsLuke S. Zettlemoyer, Hanna Pasula, Leslie Pack Kaelbling. 911-918
• Hidden Naive BayesHarry Zhang, Liangxiao Jiang, Jiang Su. 919-924
• Finite Sample Error Bound for Parzen WindowsPeng Zhang, Jing Peng, Norbert Riedel. 925-931
• Cross-Modal ClusteringMichael H. Coen. 932-937
• A Computational Model of the Cerebral CortexThomas Dean. 938-943
• Data-Driven MCMC for Learning and Inference in Switching Linear Dynamic SystemsSang Min Oh, James M. Rehg, Tucker R. Balch, Frank Dellaert. 944-949
• Function-Based Classification from 3D Data via Generic and Symbolic ModelsMichael Pechuk, Octavian Soldea, Ehud Rivlin. 950-955
• Learning Static Object Segmentation from Motion SegmentationMichael G. Ross, Leslie Pack Kaelbling. 956-961
• Semantic Scene Concept Learning by an Autonomous AgentWeiyu Zhu. 962-968
• A Particle Filtering Based Approach to Approximating Interactive POMDPsPrashant Doshi, Piotr J. Gmytrasiewicz. 969-974
• Efficient Maximization in Solving POMDPsZhengzhu Feng, Shlomo Zilberstein. 975-980
• Extending Continuous Time Bayesian NetworksKarthik Gopalratnam, Henry A. Kautz, Daniel S. Weld. 981-986
• Planning in Models that Combine Memory with Predictive Representations of StateMichael R. James, Satinder P. Singh. 987-992
• Risk-Sensitive Planning with One-Switch Utility Functions: Value IterationYaxin Liu, Sven Koenig. 993-999
• Samuel Meets Amarel: Automating Value Function Approximation Using Global State Space AnalysisSridhar Mahadevan. 1000-1005
• Error Bounds for Approximate Value IterationRémi Munos. 1006-1011
• Geometric Variance Reduction in Markov Chains. Application to Value Function and Gradient EstimationRémi Munos. 1012-1017
• Modeling Form for On-line Following of Musical PerformancesBryan Pardo, William P. Birmingham. 1018-1023
• Improving Action Selection in MDP s via Knowledge TransferAlexander A. Sherstov, Peter Stone. 1024-1029
• Planning and Execution with Phase TransitionsHåkan L. S. Younes. 1030-1036
• Scaling Up Word Sense Disambiguation via Parallel TextsYee Seng Chan, Hwee Tou Ng. 1037-1042
• An Inference Model for Semantic Entailment in Natural LanguageRodrigo de Salvo Braz, Roxana Girju, Vasin Punyakanok, Dan Roth, Mark Sammons. 1043-1049
• A Probabilistic Classification Approach for Lexical Textual EntailmentOren Glickman, Ido Dagan, Moshe Koppel. 1050-1055
• Clustering and Classifying Person Names by OriginFei Huang, Stephan Vogel, Alex Waibel. 1056-1061
• Learning to Transform Natural to Formal LanguagesRohit J. Kate, Yuk Wah Wong, Raymond J. Mooney. 1062-1068
• Impact of Linguistic Analysis on the Semantic Graph Coverage and Learning of Document ExtractsJure Leskovec, Natasa Milic-Frayling, Marko Grobelnik. 1069-1074
• Unsupervised Multilingual Word Sense Disambiguation via an InterlinguaKornél G. Markó, Stefan Schulz, Udo Hahn. 1075-1080
• Supervised Ranking for Pronoun Resolution: Some Recent ImprovementsVincent Ng. 1081-1086
• Cross-Lingual Bootstrapping of Semantic Lexicons: The Case of FrameNetSebastian Padó, Mirella Lapata. 1087-1092
• Word Sense Disambiguation with Semi-Supervised LearningThanh Phong Pham, Hwee Tou Ng, Wee Sun Lee. 1093-1098
• Robust Textual Inference Via Learning and Abductive ReasoningRajat Raina, Andrew Y. Ng, Christopher D. Manning. 1099-1105
• Exploiting Subjectivity Classification to Improve Information ExtractionEllen Riloff, Janyce Wiebe, William Phillips. 1106-1111
• Dependency Parsing with Dynamic Bayesian NetworkVirginia Savova, Leonid Peshkin. 1112-1117
• Spotting Subsequences Matching an HMM Using the Average Observation Probability Criteria with Application to Keyword SpottingMarius-Calin Silaghi. 1118-1123
• Capturing Expression Using Linguistic InformationÖzlem Uzuner, Boris Katz. 1124-1130
• State Agnostic Planning Graphs and the Application to Belief-Space PlanningWilliam Cushing, Daniel Bryce. 1131-1138
• Genome Rearrangement and PlanningEsra Erdem, Elisabeth R. M. Tillier. 1139-1144
• Quasi-Monotonic Segmentation of State Variable Behavior for Reactive ControlWill Fitzgerald, Daniel Lemire, Martin Brooks. 1145-1150
• Validating Plans in the Context of Processes and Exogenous EventsMaria Fox, Richard Howey, Derek Long. 1151-1156
• Fast Planning in Domains with Derived Predicates: An Approach Based on Rule-Action Graphs and Local SearchAlfonso Gerevini, Alessandro Saetti, Ivan Serina, Paolo Toninelli. 1157-1162
• New Admissible Heuristics for Domain-Independent PlanningPatrik Haslum, Blai Bonet, Hector Geffner. 1163-1168
• Using Domain-Configurable Search Control for Probabilistic PlanningUgur Kuter, Dana S. Nau. 1169-1174
• Lazy Approximation for Solving Continuous Finite-Horizon MDPsLihong Li, Michael L. Littman. 1175-1180
• Prottle: A Probabilistic Temporal PlannerIain Little, Douglas Aberdeen, Sylvie Thiébaux. 1181-1186
• Augmenting Disjunctive Temporal Problems with Finite-Domain ConstraintsMichael D. Moffitt, Bart Peintner, Martha E. Pollack. 1187-1192
• Temporal Dynamic Controllability RevisitedPaul H. Morris, Nicola Muscettola. 1193-1198
• Exploiting Temporal Flexibility to Obtain High Quality SchedulesNicola Policella, Xiaofang Wang, Stephen F. Smith, Angelo Oddi. 1199-1204
• Planning for Stream Processing SystemsAnton Riabov, Zhen Liu. 1205-1210
• Conformant Planning for Domains with Constraints-A New ApproachTran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales. 1211-1216
• Learning Measures of Progress for Planning DomainsSung Wook Yoon, Alan Fern, Robert Givan. 1217-1222
• Exploiting the Structure of Hierarchical Plans in Temporal Constraint PropagationNeil Yorke-Smith. 1223-1228
• Sensor Selection for Active Information FusionYongmian Zhang, Qiang Ji. 1229-1234
• Simultaneous Heuristic Search for Conjunctive SubgoalsLin Zhu, Robert Givan. 1235-1241
• Reactive Planning in a Motivated Behavioral ArchitectureEric Beaudry, Yannick Brosseau, Carle Côté, Clément Raïevsky, Dominic Létourneau, Froduald Kabanza, François Michaud. 1242-1249
• A Distributed Approach to Passive Localization for Sensor NetworksRahul Biswas, Sebastian Thrun. 1248-1253
• Recovery Planning for Ambiguous Cases in Perceptual AnchoringMathias Broxvall, Silvia Coradeschi, Lars Karlsson, Alessandro Saffiotti. 1254-1260
• A Multifrontal QR Factorization Approach to Distributed Inference Applied to Multirobot Localization and MappingFrank Dellaert, Alexander Kipp, Peter Krauthausen. 1261-1266
• Learning CPG Sensory Feedback with Policy Gradient for Biped Locomotion for a Full-Body HumanoidGen Endo, Jun Morimoto, Takamitsu Matsubara, Jun Nakanishi, Gordon Cheng. 1267-1273
• Tactic-Based Motion Modeling and Multi-Sensor TrackingYang Gu. 1274-1279
• A Relational Representation for Procedural Task KnowledgeStephen Hart, Roderic A. Grupen, David Jensen. 1280-1285
• Controlling Tiny Multi-Scale Robots for Nerve RepairTad Hogg, David W. Sretavan. 1286-1291
• Heterogeneous Multirobot Coordination with Spatial and Temporal ConstraintsMary Koes, Illah R. Nourbakhsh, Katia P. Sycara. 1292-1297
• Consciousness: Drinking from the Firehose of ExperienceBenjamin Kuipers. 1298-1305
• Semantic Place Classification of Indoor Environments with Mobile Robots Using BoostingAxel Rottmann, Óscar Martínez Mozos, Cyrill Stachniss, Wolfram Burgard. 1306-1311
• Learning to Prevent Failure States for a Dynamically Balancing RobotJeremy Searock, Brett Browning. 1312-1317
• Autonomous Color Learning on a Mobile RobotMohan Sridharan, Peter Stone. 1318-1323
• Mobile Robot Mapping and Localization in Non-Static EnvironmentsCyrill Stachniss, Wolfram Burgard. 1324-1329
• Improving Simultaneous Mapping and Localization in 3D Using Global ConstraintsRudolph Triebel, Wolfram Burgard. 1330-1335
• Bitbots: Simple Robots Solving Complex TasksAnna Yershova, Benjamín Tovar, Robert Ghrist, Steven M. LaValle. 1336-1342
• An Algorithm Better than AO*?Blai Bonet, Hector Geffner. 1343-1348
• Speeding Up Learning in Real-time Search via Automatic State AbstractionVadim Bulitko, Nathan R. Sturtevant, Maryia Kazakevich. 1349-1354
• The Max ::::K-::::Armed Bandit: A New Model of Exploration Applied to Search Heuristic SelectionVincent A. Cicirello, Stephen F. Smith. 1355-1361
• Cost-Algebraic Heuristic SearchStefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente. 1362-1367
• Backbones and Backdoors in SatisfiabilityPhilip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh. 1368-1373
• Search versus Knowledge for Solving Life and Death Problems in GoAkihiro Kishimoto, Martin Müller 0003. 1374-1379
• Large-Scale Parallel Breadth-First SearchRichard E. Korf, Peter Schultze. 1380-1385
• Domain-Dependent Parameter Selection of Search-based Algorithms Compatible with User Performance CriteriaBiplav Srivastava, Anupam Mediratta. 1386-1391
• Partial Pathfinding Using Map Abstraction and RefinementNathan R. Sturtevant, Michael Buro. 1392-1397
• External-Memory Pattern Databases Using Structured Duplicate DetectionRong Zhou, Eric A. Hansen. 1398-1405
• Selection and Ranking of Propositional Formulas for Large-Scale Service DirectoriesIon Constantinescu, Walter Binder, Boi Faltings. 1406-1411
• WebCrow: A Web-Based System for Crossword SolvingMarco Ernandes, Giovanni Angelini, Marco Gori. 1412-1417
• A Learning-Based Term-Weighting Approach for Information RetrievalGuangcan Liu, Yong Yu, Xing Zhu. 1418-1423
• Query Translation Disambiguation as Graph PartitioningYi Liu, Rong Jin. 1424-1429
• Searching for Common Sense: Populating Cyc™ from the WebCynthia Matuszek, Michael J. Witbrock, Robert C. Kahlert, John Cabral, David Schneider, Purvesh Shah, Douglas B. Lenat. 1430-1435
• Automatic Text Summarization of Newswire: Lessons Learned from the Document Understanding ConferenceAni Nenkova. 1436-1441
• A Graph Theoretical Foundation for Integrating RDF OntologiesOctavian Udrea, Yu Deng, Edna Ruckhaus, V. S. Subrahmanian. 1442-1450
• Automating the Underwriting of Insurance ApplicationsKareem S. Aggour, William Cheetham. 1451-1458
• Loads-n-Limits and Release-n-Sequence: The Brains behind WEPSPaul S. Cerkez. 1459-1466
• Scheduling Engineering Works for the MTR Corporation in Hong KongAndy Hon Wai Chun, Dennis Wai Ming Yeung, Garbbie Pui Shan Lam, Daniel Lai, Richard Keefe, Jerome Lam, Helena Chan. 1467-1474
• Knowledge-based Interactive Selling of Financial Services with FSAdvisorAlexander Felfernig, Alfred Kiener. 1475-1482
• TEXTAL™: Automated Crystallographic Protein Structure DeterminationKreshna Gopal, Tod D. Romo, Erik McKee, Kevin Childs, Lalji Kanbi, Reetal Pai, Jacob Smith, James C. Sacchettini, Thomas R. Ioerger. 1483-1490
• NESTA: NASA Engineering Shuttle Telemetry AgentGlenn S. Semmel, Steven R. Davis, Kurt W. Leucht, Daniel A. Rowe, Kevin E. Smith, Ladislau Bölöni. 1491-1498
• CORMS AI: Decision Support System for Monitoring US Maritime EnvironmentHaleh Vafaie, Carl Cecere. 1499-1507
• Boosting Sex Identification PerformanceShumeet Baluja, Henry A. Rowley. 1508-1513
• The Deep Space Network Scheduling ProblemBradley J. Clement, Mark D. Johnston. 1514-1520
• A Multi-Agent Simulator for Teaching Police AllocationVasco Furtado, Eurico Vasconcelos Filho. 1521-1528
• Markov Decision Processes for Control of a Sensor Network-based Health Monitoring SystemAnand Panangadan, Syed Muhammad Ali, Ashit Talukder. 1529-1534
• Automatically Acquiring Domain Knowledge For Adaptive Game AI Using Evolutionary LearningMarc J. V. Ponsen, Héctor Muñoz-Avila, Pieter Spronck, David W. Aha. 1535-1540
• Activity Recognition from Accelerometer DataNishkam Ravi, Nikhil Dandekar, Preetham Mysore, Michael L. Littman. 1541-1546
• Development of a Hybrid Knowledge-Based System for Multiobjective Optimization of Power Distribution System OperationsRobert J. Sárfi, A. M. G. Solo. 1547-1554
• The DEFACTO System: Training Tool for Incident CommandersNathan Schurr, Janusz Marecki, John P. Lewis, Milind Tambe, Paul Scerri. 1555-1562
• A Knowledge-Based Approach to Network Security: Applying Cyc in the Domain of Network Risk AssessmentBlake Shepard, Cynthia Matuszek, C. Bruce Fraser, William Wechtenhiser, David Crabbe, Zelal Güngördü, John Jantos, Todd Hughes, Larry Lefkowitz, Michael J. Witbrock, Douglas B. Lenat, Erik Larson. 1563-1568
• Managing the Life Cycle of PlansBiplav Srivastava, Jussi Vanhatalo, Jana Koehler. 1569-1575
• A Learning Architecture for Automating the Intelligent EnvironmentG. Michael Youngblood, Diane J. Cook, Lawrence B. Holder. 1576-1583
• Machine Learning and Its Application at Nooksack Falls Hydroelectric StationScott Alexander, Jianna Zhang. 1584-1585
• Helicopter Routing for Maintaining Remote Sites in Alaska using a Genetic AlgorithmNicholas L. Armstrong-Crews, Kenrick J. Mock. 1586-1587
• Autonomous Subgoal Discovery and Hierarchical Abstraction for Reinforcement Learning Using Monte Carlo MethodMehran Asadi, Manfred Huber. 1588-1589
• Mixed-Initiative Approach to Collaboration in the Mathematical DomainNadya Belov, Joshua Shaffer. 1590-1591
• On Predicting User IntentNadya Belov. 1592-1593
• DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic WebAntonis Bikakis, Grigoris Antoniou. 1594-1595
• Genre Classification of Web DocumentsElizabeth Sugar Boese, Adele E. Howe. 1596-1597
• Rule Refinement by Domain Experts in Complex Knowledge BasesCristina Boicu, Gheorghe Tecuci, Mihai Boicu. 1598-1599
• Use of Expert Knowledge for Decision Tree PruningJingfeng Cai, John Durkin. 1600-1601
• Learning Support Vector Machines from Distributed Data SourcesCornelia Caragea, Doina Caragea, Vasant Honavar. 1602-1603
• Boosting Semantic Web Data Access Using SwoogleLi Ding, Timothy W. Finin. 1604-1605
• Towards Exploiting Duality in Approximate Linear Programming for MDPsDmitri A. Dolgov, Edmund H. Durfee. 1606-1607
• Manufacturing Processes Recognition of Machined Mechanical Parts using SVMsCheuk Yiu Ip, William C. Regli. 1608-1609
• An Automated Distributed Meeting Scheduler for FCVW Plug-inHsiang-Hwa Koo, Elhadi Shakshuki. 1610-1611
• Description Logic-Ground Knowledge Integration and ManagementJoseph Kopena. 1612-1613
• Continuous Speech Recognition Using Modified Stack Decoding AlgorithmDavid Lee. 1614-1615
• Qualitative Dimensions in Question Answering: Extending the Definitional QA TaskLucian Vlad Lita, Andrew Hazen Schlaikjer, WeiChang Hong, Eric Nyberg. 1616-1617
• A Learning Support Method in Qualitative Simulation-Based Economic EducationTokuro Matsuo, Takayuki Ito, Toramatsu Shintani. 1618-1619
• Evolving AI Opponents in a First-Person-Shooter Video GameC. Adam Overholtzer, Simon D. Levy. 1620-1621
• A Framework for Bayesian Network MappingRong Pan, Yun Peng. 1622-1623
• Minimizing Environmental Swings with a Recurrent Neural Network Control SystemSam Skrivan, Jianna Zhang, Debra S. Jusak. 1624-1625
• Autonomous Learning of Tool Affordances by a RobotAlexander Stoytchev. 1626-1627
• Heuristics for Agent Routing and Itinerary Optimization on Dynamic NetworksEvan Sultanik. 1628-1629
• Approximate Inference of Bayesian Networks through Edge DeletionJulie Thornton. 1630-1631
• Towards Truthful Mechanisms for Binary Demand Games: A General FrameworkWeizhao Wang, Xiang-Yang Li. 1632-1635
• Leveraging Language into LearningJacob Beal. 1636-1637
• Dissertation in Progress: An Empirical Analysis of the Costs and Benefits of Naturalness in Spoken Dialog SystemsEllen Campana. 1638-1639
• Learning Source Descriptions for Web ServicesMark James Carman. 1640-1641
• Computational Aspects of Mechanism DesignVincent Conitzer. 1642-1643
• On Boosting Semantic Web Data AccessLi Ding. 1644-1645
• Dynamic Regime Identification and Prediction Based on Observed Behavior in Electronic MarketplacesWolfgang Ketter. 1646-1647
• Adaptive Modeling and Planning for Reactive AgentsMykel J. Kochenderfer. 1648-1649
• Self-Emergence of Structures in Gene Expression ProgrammingXin Li. 1650-1651
• Concurrent Hierarchical Reinforcement LearningBhaskara Marthi. 1652-1653
• Discourse Factors in Multi-Document SummarizationAni Nenkova. 1654-1655
• Structure Learning for Statistical Relational ModelsJennifer Neville. 1656-1657
• Towards Competence in Autonomous AgentsÖzgür Simsek. 1658-1659
• Rover Science Autonomy: Probabilistic Planning for Science-Aware ExplorationTrey Smith. 1660-1661
• Natural Language Generation for Text-to-Text Applications Using an Information-Slim RepresentationRadu Soricut. 1662-1663
• Planning for Geospatial Data IntegrationSnehal Thakkar. 1664-1665
• Improving Reinforcement Learning Function Approximators via NeuroevolutionShimon Whiteson. 1666-1667
• QuOnto: Querying OntologiesAndrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati. 1670-1671
• Building Applications Using End to End Composition of Web ServicesVikas Agarwal, Girish Chafle, Koustuv Dasgupta, Neeran M. Karnik, Arun Kumar, Ashish Kundu, Anupam Mediratta, Sumit Mittal, Biplav Srivastava. 1672-1673
• The AI Technologies of the Philadelphia Area Urban Wireless Network TestbedGustave Anderson, Andrew Burnheimer, Vincent A. Cicirello, David Dorsey, Christopher Dugan, Iris Howley, Moshe Kam, Joseph Kopena, Robert N. Lass, Kris Malfettone, Andrew Mroczkowski, Gaurav Naik, Maxim Peysakhov, Brian Pyles, William C. Regli, Evan Sultanik, James Thiel, Kyle Usbeck, Dan Venutolo, Marc Winners. 1674-1675
• Proving Theorems of Type Theory Automatically with TPSPeter B. Andrews. 1676-1677
• A Learning and Reasoning System for Intelligence AnalysisMihai Boicu, Gheorghe Tecuci, Cindy Ayers, Dorin Marcu, Cristina Boicu, Marcel Barbulescu, Bogdan Stanescu, William Wagner, Vu Le, Denitsa Apostolova, Adrian Ciubotariu. 1678-1679
• MADbot: A Motivated and Goal Directed RobotAlexandra M. Coddington, Maria Fox, Jonathan Gough, Derek Long, Ivan Serina. 1680-1681
• Swoogle: Searching for Knowledge on the Semantic WebTimothy W. Finin, Li Ding, Rong Pan, Anupam Joshi, Pranam Kolari, Akshay Java, Yun Peng. 1682-1683
• Optimal Rhode Island Hold em PokerAndrew Gilpin, Tuomas Sandholm. 1684-1685
• Evolution of an Empathetic Digital Entity: Phase OneMargaret Manella Kozak. 1686-1687
• Language Independent Extractive SummarizationRada Mihalcea. 1688-1689
• TIELT: A Testbed for Gaming EnvironmentsMatthew Molineaux, David W. Aha. 1690-1691
• SenseRelate: : TargetWord-A Generalized Framework for Word Sense DisambiguationSiddharth Patwardhan, Satanjeev Banerjee, Ted Pedersen. 1692-1693
• Identifying Similar Words and Contexts in Natural Language with SenseClustersTed Pedersen, Anagha Kulkarni. 1694-1695
• Song Search and Retrieval by TappingGeoffrey Peters, Caroline Anthony, Michael Schwartz. 1696-1697
• The Proteome Analyst Suite of Automated Function Prediction ToolsBrett Poulin, Duane Szafron, Paul Lu, Russell Greiner, David S. Wishart, Roman Eisner, Alona Fyshe, Brandon Pearcy, Luca Pireddu. 1698-1699
• DiamondHelp: A Collaborative Task Guidance Framework for Complex DevicesCharles Rich, Candace L. Sidner, Neal Lesh, Andrew Garland, Shane Booth, Markus Chimani. 1700-1701
• Remote Supervisory Control of a Humanoid RobotMichael T. Rosenstein, Andrew H. Fagg, Robert Platt Jr., John Sweeney, Roderic A. Grupen. 1702-1703
• MGLAIR Agents in Virtual and Other Graphical EnvironmentsStuart C. Shapiro, Josephine Anstey, David E. Pape, Trupti Devdas Nayak, Michael Kandefer, Orkan Telhan. 1704-1705
• Solo: A Cognitive OrthosisRichard C. Simpson, Edmund F. LoPresti, Debra Schreckenghost, Ned Kirsch, Steve Hayashi. 1706-1707
• SAGA-ML: An Active Learning System for Semiautomated Gameplay AnalysisFinnegan Southey, Robert C. Holte. 1708-1709
• Using the GEMS System for Cancer Diagnosis and Biomarker Discovery from Microarray Gene Expression DataAlexander R. Statnikov, Ioannis Tsamardinos, Constantin F. Aliferis. 1710-1711
• The TaskTracker SystemSimone Stumpf, Xinlong Bao, Anton N. Dragunov, Thomas G. Dietterich, Jonathan L. Herlocker, Kevin Johnsrude, Lida Li, Jianqiang Shen. 1712-1713
• Low-cost Outdoor Robot Platform for the Penn State Abington Mini Grand ChallengeRobert Avanzato. 1716-1717
• Pyro: An Integrated Environment for Robotics EducationDouglas S. Blank, Deepak Kumar, Lisa Meeden, Holly A. Yanco. 1718-1719
• Ready or Not, Here I Come ...Magdalena D. Bugajska, William Adams, Scott Thomas, J. Gregory Trafton, Alan C. Schultz. 1720-1721
• Robots in an Intelligent Systems CourseDebra T. Burhans, Andre Nelson, Victoria Steck. 1722-1723
• Scavenging with a Laptop RobotAlan Davidson, Mac Mason, Susanna Ricco, Ben Tribelhorn, Zachary Dodds. 1724-1725
• Social Tag: Finding the Person with the Pink HatCarl F. DiSalvo, Didac Font, Laura M. Hiatt, Nik A. Melchior, Marek P. Michalowski, Reid G. Simmons. 1726-1727
• Upending the Uncanny ValleyDavid Hanson, Andrew Olney, Steve Prilliman, Eric Mathews, Marge Zielke, Derek Hammons, Raul Fernandez, Harry E. Stephanou. 1728-1729
• Catoms: Moving Robots Without Moving PartsBrian Kirby, Jason Campbell, Burak Aksak, Padmanabhan Pillai, James F. Hoburg, Todd C. Mowry, Seth Copen Goldstein. 1730-1731
• NavBot: The Navigational Search-and-Rescue RobotMatthew Marge, Ayman Sawas, Juan Carlos Liberato, Murtaza M. Karim, Manish Muttreja, Nader Alrawahi, Brian Fink. 1732
• A Brochette of Socially Interactive RobotsFrançois Michaud, Dominic Létourneau, Pierre Lepage, Yan Morin, Frédéric Gagnon, Patrick Giguère, Eric Beaudry, Yannick Brosseau, Carle Côté, Audrey Duquette, Jean-François Laplante, Marc-Antoine Legault, Pierre Moisan, Arnaud Ponchon, Clément Raïevsky, Marc-André Roux, Tamie Salter, Jean-Marc Valin, Serge Caron, Patrice Masson, Froduald Kabanza, Michel Lauria. 1733-1734
• Indoor Aerial Robot Competition: Challenges in Search and Rescue ApplicationsPaul Y. Oh, William E. Green, Keith W. Sevcik. 1735-1736
• Toward Affective Cognitive Robots for Human-Robot InteractionMatthias Scheutz, James F. Kramer, Christopher Middendorff, Paul W. Schermerhorn, Michael Heilman, David Anderson, P. Bui. 1737-1738
• Using a Sketch Pad Interface for Interacting with a Robot TeamMarjorie Skubic, Derek Anderson, Samuel Blisard, Dennis Perzanowski, William Adams, J. Gregory Trafton, Alan C. Schultz. 1739-1740
• Tekkotsu: A Framework for AIBO Cognitive RoboticsDavid S. Touretzky, Ethan J. Tira-Thompson. 1741-1742
• Improving Human-Robot Interaction for Remote Robot OperationHolly A. Yanco, Michael Baker, Robert Casey, Andrew Chanler, Munjal Desai, Dan Hestand, Brenden Keyes, Philip Thoren. 1743-1744