20. AAAI / 17. IAAI 2005:
Pittsburgh,
Pennsylvania,
USA
Manuela M. Veloso, Subbarao Kambhampati (Eds.):
Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA.
AAAI Press / The MIT Press 2005, ISBN 1-57735-236-X 
AAAI-05 Technical Papers
Activity and Plan Recognition
Agents / Multiagent Systems
- Noa Agmon, Gal A. Kaminka, Sarit Kraus:
Team Member Reallocation via Tree Pruning.
35-40
- Bikramjit Banerjee, Jing Peng:
Efficient No-Regret Multiagent Learning.
41-46
- Muhammed Basharu, Inés Arana, Hatem Ahriz:
Solving DisCSPs with Penalty Driven Search.
47-52
- Michael H. Bowling, Peter McCracken:
Coordination and Adaptation in Impromptu Teams.
53-58
- Jimming Cheng, Winston Cheng, Radhika Nagpal:
Robust and Self-Repairing Formation Control for Swarms of Mobile Agents.
59-64
- Jiangbo Dang, Michael N. Huhns:
An Extended Protocol for Multiple-Issue Concurrent Negotiation.
65-70
- Xiaocong Fan, John Yen:
The Semantics of Potential Intentions.
71-76
- Matthew E. Gaston, Marie desJardins:
Agent-Organized Networks for Multi-Agent Production and Exchange.
77-82
- Meirav Hadad, Gilad Armon-Kest, Gal A. Kaminka, Sarit Kraus:
Supporting Collaborative Activity.
83-88
- Asaad Hakeem, Mubarak Shah:
Multiple Agent Event Detection and Representation in Videos.
89-94
- Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe:
Anyone but Him: The Complexity of Precluding an Alternative.
95-101
- Meir Kalech, Gal A. Kaminka:
Towards Model-Based Diagnosis of Coordination Failures.
102-107
- Gal A. Kaminka, Inna Frenkel:
Flexible Teamwork in Behavior-Based Robots.
108-113
- Thomas Léauté, Brian C. Williams:
Coordinating Agile Systems through the Model-based Execution of Temporal Plans.
114-120
- Paolo Massa, Paolo Avesani:
Controversial Users Demand Local Trust Metrics: An Experimental Study on Epinions.com Community.
121-126
- Yohei Murakami, Yuki Sugimoto, Toru Ishida:
Modeling Human Behavior for Virtual Training Systems.
127-132
- Ranjit Nair, Pradeep Varakantham, Milind Tambe, Makoto Yokoo:
Networked Distributed POMDPs: A Synthesis of Distributed Constraint Optimization and POMDPs.
133-139
- Relu Patrascu, Craig Boutilier, Rajarshi Das, Jeffrey O. Kephart, Gerald Tesauro, William E. Walsh:
New Approaches to Optimization and Utility Elicitation in Autonomic Computing.
140-145
- Maxim Peysakhov, Robert N. Lass, William C. Regli, Moshe Kam:
An Ecological Approach to Agent Population Management.
146-151
- Talal Rahwan, Nicholas R. Jennings:
Distributing Coalitional Value Calculations among Cooperative Agents.
152-159
- David Sarne, Sarit Kraus:
Cooperative Exploration in the Electronic Marketplace.
158-163
- David Sarne, Sarit Kraus:
Solving the Auction-Based Task Allocation Problem in an Open Environment.
164-169
- Sandip Sen, Teddy Candale, Susnata Basak:
Profit Sharing Auction.
170-175
- Jiaying Shen, Ingo Weber, Victor R. Lesser:
OAR: A Formal Framework for Multi-Agent Negotiation.
176-183
- Robert St. Amant, Alexander B. Wood:
Tool Use for Autonomous Agents.
184-189
- Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan:
Observation-based Model for BDI-Agents.
190-195
- Evan Sultanik, William C. Regli:
Stable Service Placement on Dynamic Peer-to-Peer Networks: A Heuristic for the Distributed k-Center Problem.
196-201
Analogical and Case-Based Reasoning
- Kenneth D. Forbus, Jeffrey M. Usher, Emmett Tomai:
Analogical Learning of Visual/Conceptual Relationships in Sketches.
202-208
- Matthew Klenk, Kenneth D. Forbus, Emmett Tomai, Hyeonkyeong Kim, Brian Kyckelhahn:
Solving Everyday Physical Reasoning Problems by Analogy Using Sketches.
209-215
- Stewart Massie, Susan Craw, Nirmalie Wiratunga:
Complexity-Guided Case Discovery for Case Based Reasoning.
216-221
- Monica H. Ou, Geoff A. W. West, Mihai Lazarescu, Chris Clay:
Interactive Knowledge Validation and Query Refinement in CBR.
222-227
- Rong Pan, Qiang Yang, Jeffrey Junfeng Pan, Lei Li:
Competence Driven Case-Base Mining.
228-233
- Ke Xu, Héctor Muñoz-Avila:
A Domain-Independent System for Case-Based Task Decomposition without Domain Theories.
234-240
Auctions and Market-Based Systems
Automated Reasoning
- Carlos Ansótegui, Carla P. Gomes, Bart Selman:
The Achilles' Heel of QBF.
275-281
- Lars Blackmore, Stanislav Funiak, Brian C. Williams:
Combining Stochastic and Greedy Search in Hybrid Estimation.
282-287
- Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis:
Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae.
288-293
- Timothy L. Hinrichs, Michael R. Genesereth:
Axiom Schemata as Metalevel Axioms: Model Theory.
294-299
- Jinbo Huang, Adnan Darwiche:
On Compiling System Models for Faster and More Scalable Diagnosis.
300-306
- Arnav Jhala, R. Michael Young:
A Discourse Planning Approach to Cinematic Camera Control for Narratives in Virtual Environments.
307-312
- Frances L. Johnson, Stuart C. Shapiro:
Dependency-Directed Reconsideration Belief Base Optimization for Truth Maintenance Systems.
313-320
- Oliver B. Martin, Brian C. Williams, Michel D. Ingham:
Diagnosis as Approximate Belief State Enumeration for Probabilistic Concurrent Constraint Automata.
321-326
- Tsoline Mikaelian, Brian C. Williams, Martin Sachenbacher:
Model-Based Monitoring and Diagnosis of Systems with Software-Extended Behavior.
327-333
- Michael P. O'Mahony, Neil J. Hurley, Guenole C. M. Silvestre:
Recommender Systems: Attack Types and Strategies.
334-339
- Deepak Ramachandran, Eyal Amir:
Compact Propositional Encodings of First-Order Theories.
340-345
- Jin Tian:
Identifying Direct Causal Effects in Linear Models.
346-353
Constraint Satisfaction and Satisfiability
- Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar:
Old Resolution Meets Modern SLS.
354-359
- Lucas Bordeaux, Marco Cadoli, Toni Mancini:
CSP Properties for Quantified Constraints: Definitions and Complexity.
360-365
- Kenil C. K. Cheng, Roland H. C. Yap:
Constrained Decision Diagrams.
366-371
- Emmanuel Hebrard, Brahim Hnich, Barry O'Sullivan, Toby Walsh:
Finding Diverse and Similar Solutions in Constraint Programming.
372-377
- Alan Holland, Barry O'Sullivan:
Weighted Super Solutions for Constraint Programs.
378-383
- Haixia Jia, Cristopher Moore, Doug Strain:
Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively.
384-389
- George Katsirelos, Fahiem Bacchus:
Generalized NoGoods in CSPs.
390-396
- Anagh Lal, Berthe Y. Choueiry, Eugene C. Freuder:
Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs.
397-404
- Olivier Lhomme, Jean-Charles Régin:
A Fast Arc Consistency Algorithm for n-ary Constraints.
405-410
- Olivier Lhomme:
Quick Shaving.
411-415
- Stephen M. Majercik, Byron Boots:
DC-SSAT: A Divide-and-Conquer Approach to Solving Stochastic Satisfiability Problems Efficiently.
416-422
- Martin Michalowski, Craig A. Knoblock:
A Constraint Satisfaction Approach to Geospatial Reasoning.
423-429
- David G. Mitchell, Eugenia Ternovska:
A Framework for Representing and Solving NP Search Problems.
430-435
- Juan Antonio Navarro Pérez, Andrei Voronkov:
Generation of Hard Non-Clausal Random Satisfiability Problems.
436-442
- Bart Peintner, Martha E. Pollack:
Anytime, Complete Algorithm for Finding Utilitarian Optimal Solutions to STPPs.
443-448
- Adrian Petcu, Boi Faltings:
Superstabilizing, Fault-Containing Distributed Combinatorial Optimization.
449-454
- Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi:
SAT-Based versus CSP-Based Constraint Weighting for Satisfiability.
455-460
- Steven David Prestwich, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Constraint-Based Preferential Optimization.
461-466
- Ashish Sabharwal:
SymChaff: A Structure-Aware Satisfiability Solver.
467-474
- Tian Sang, Paul Beame, Henry A. Kautz:
Performing Bayesian Inference by Weighted Model Counting.
475-482
Game Theory and Economic Models
- Vincent Conitzer, Tuomas Sandholm:
A Generalized Strategy Eliminability Criterion and Computational Methods for Applying It.
483-488
- Samuel Ieong, Robert McGrew, Eugene Nudelman, Yoav Shoham, Qixiang Sun:
Fast and Compact: A Simple Class of Congestion Games.
489-494
- Tuomas Sandholm, Andrew Gilpin, Vincent Conitzer:
Mixed-Integer Programming Methods for Finding Nash Equilibria.
495-501
- Michael P. Wellman, Daniel M. Reeves, Kevin M. Lochner, Shih-Fen Cheng, Rahul Suri:
Approximate Strategic Reasoning through Hierarchical Reduction of Large Symmetric Games.
502-508
- Makoto Yokoo, Vincent Conitzer, Tuomas Sandholm, Naoki Ohta, Atsushi Iwasaki:
Coalitional Games in Open Anonymous Environments.
509-515
Human-Computer Interaction
- Christoph Benzmüller, Quoc Bao Vo:
Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs.
516-522
- Beau Crawford, Kai Miller, Pradeep Shenoy, Rajesh P. N. Rao:
Real-Time Classification of Electromyographic Signals for Robotic Control.
523-528
- Wenhui Liao, Weihong Zhang, Zhiwei Zhu, Qiang Ji:
A Decision Theoretic Model for Stress Recognition and User Assistance.
529-534
- Kevin McCarthy, Lorraine McGinty, Barry Smyth, James Reilly:
On the Evaluation of Dynamic Critiquing: A Large-Scale User Study.
535-540
- Robert Price, Paul R. Messinger:
Optimal Recommendation Sets: Covering Uncertainty over User Preferences.
541-548
- Tingshao Zhu, Russell Greiner, Gerald Häubl, Kevin Jewell, Robert Price:
Goal-Directed Site-Independent Recommendations from Passive Observations.
549-557
Knowledge Acquisition and Engineering
Knowledge Representation and Reasoning
- Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter:
Integrating Description Logics and Action Formalisms: First Results.
572-577
- Chitta Baral, Thomas Eiter, Jicheng Zhao:
Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains.
578-583
- Salem Benferhat, Salma Smaoui:
Hybrid Possibilistic Networks.
584-589
- Philippe Besnard, Anthony Hunter:
Practical First-Order Argumentation.
590-595
- Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski:
Prioritized Component Systems.
596-601
- Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
DL-Lite: Tractable Description Logics for Ontologies.
602-607
- Martin Caminada, Leila Amgoud:
An Axiomatic Account of Formal Argumentation.
608-613
- Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis:
Merging Argumentation Systems.
614-619
- Marie desJardins, Kiri Wagstaff:
DD-PREF: A Language for Expressing Preferences over Sets.
620-626
- Esra Erdem, Alfredo Gabaldon:
Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents.
627-632
- Gerhard Lakemeyer, Hector J. Levesque:
Only-Knowing: Taking It Beyond Autoepistemic Reasoning.
633-638
- Yongmei Liu, Hector J. Levesque:
Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information.
639-644
- Thomas Andreas Meyer, Kevin Lee, Richard Booth:
Knowledge Integration for Description Logics.
645-650
- Praveen K. Paritosh, Kenneth D. Forbus:
Analysis of Strategic Knowledge in Back of the Envelope Reasoning.
651-656
- Bijan Parsia, Bernardo Cuenca Grau:
Generalized Link Properties for Expressive epsilon-Connections of Description Logics.
657-662
- Avi Pfeffer:
Functional Specification of Probabilistic Process Models.
663-669
- Stefan Schlobach:
Diagnosing Terminologies.
670-675
- Nam Tran, Chitta Baral, Carran Shankland:
Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge.
676-681
- Kewen Wang, Abdul Sattar, Kaile Su:
A Theory of Forgetting in Logic Programming.
682-688
Logic Programming
Machine Learning
- J. Andrew Bagnell:
Robust Supervised Learning.
714-719
- Alina Beygelzimer, John Langford, Bianca Zadrozny:
Weighted One-Against-All.
720-725
- Ronen I. Brafman, Moshe Tennenholtz:
Optimal Efficient Learning Equilibrium: Imperfect Monitoring in Symmetric Games.
726-731
- Thomas Briggs, Tim Oates:
Discovering Domain-Specific Composite Kernels.
732-738
- Laura E. Brown, Ioannis Tsamardinos, Constantin F. Aliferis:
A Comparison of Novel and State-of-the-Art Polynomial Bayesian Network Learning Algorithms.
739-745
- Aron Culotta, Andrew McCallum:
Reducing Labeling Effort for Structured Prediction Tasks.
746-751
- Luc De Raedt, Kristian Kersting, Sunna Torge:
Towards Learning Stochastic Logic Programs from Proof-Banks.
752-757
- German Florez-Larrahondo, Susan Bridges, Eric A. Hansen:
Incremental Estimation of Discrete Hidden Markov Models Based on a New Backward Procedure.
758-763
- Akinori Fujino, Naonori Ueda, Kazumi Saito:
A Hybrid Generative/Discriminative Approach to Semi-Supervised Classifier Design.
764-769
- Yuhong Guo, Russell Greiner:
Discriminative Model Selection for Belief Net Structures.
770-776
- Daniel T. Halstead, Kenneth D. Forbus:
Transforming between Propositions and Features: Bridging the Gap.
777-782
- Bret Hoehn, Finnegan Southey, Robert C. Holte, Valeriy Bulitko:
Effective Short-Term Opponent Exploitation in Simplified Poker.
783-788
- Steven Jensen, Daniel Boley, Maria L. Gini, Paul R. Schrater:
Non-Stationary Policy Learning in 2-Player Zero Sum Games.
789-794
- Niels Landwehr, Kristian Kersting, Luc De Raedt:
nFOIL: Integrating Naïve Bayes and FOIL.
795-800
- Fan Li, Yiming Yang:
Using Modified Lasso Regression to Learn Large Undirected Graphs in a Probabilistic Framework.
801-806
- Haifeng Li, Keshu Zhang, Tao Jiang:
The Regularized EM Algorithm.
807-812
- Wei Li, Andrew McCallum:
Semi-Supervised Sequence Modeling with Syntactic Topic Models.
813-818
- Richard Maclin, Jude W. Shavlik, Lisa Torrey, Trevor Walker, Edward W. Wild:
Giving Advice about Preferred Actions to Reinforcement Learners Via Knowledge-Based Kernel Regression.
819-824
- Dimitris Margaritis:
Distribution-Free Learning of Bayesian Network Structure in Continuous Domains.
825-830
- Ion Muslea, Thomas J. Lee:
Online Query Relaxation via Bayesian Causal Structures Discovery.
831-836
- Laxmi Parida, Naren Ramakrishnan:
Redescription Mining: Structure Theory and Algorithms.
837-844
- William Pentney, Marina Meila:
Spectral Clustering of Biological Sequence Data.
845-850
- A. Kai Qin, S. Y. M. Shi, Ponnuthurai N. Suganthan, Marco Loog:
Enhanced Direct Linear Discriminant Analysis for Feature Extraction on High Dimensional Data.
851-855
- Suju Rajan, Kunal Punera, Joydeep Ghosh:
A Maximum Likelihood Framework for Integrating Taxonomies.
856-861
- Warren Shen, Xin Li, AnHai Doan:
Constraint-Based Entity Matching.
862-867
- Parag Singla, Pedro Domingos:
Discriminative Training of Markov Logic Networks.
868-873
- Jiang Su, Harry Zhang:
Representing Conditional Independence Using Decision Trees.
874-879
- Matthew E. Taylor, Peter Stone, Yaxin Liu:
Value Functions for RL-Based Behavior Transfer: A Comparative Study.
880-885
- Gerald Tesauro:
Online Resource Allocation Using Decompositional Reinforcement Learning.
886-891
- Ljupco Todorovski, Will Bridewell, Oren Shiran, Pat Langley:
Inducing Hierarchical Process Models in Dynamic Domains.
892-897
- Gang Xiao, Finnegan Southey, Robert C. Holte, Dana F. Wilkinson:
Software Testing by Active Learning for Commercial Games.
898-903
- Linli Xu, Dale Schuurmans:
Unsupervised and Semi-Supervised Multi-Class Support Vector Machines.
904-910
- Luke S. Zettlemoyer, Hanna Pasula, Leslie Pack Kaelbling:
Learning Planning Rules in Noisy Stochastic Worlds.
911-918
- Harry Zhang, Liangxiao Jiang, Jiang Su:
Hidden Naive Bayes.
919-924
- Peng Zhang, Jing Peng, Norbert Riedel:
Finite Sample Error Bound for Parzen Windows.
925-931
Machine Perception
Markov Decision Processes and Uncertainty
Natural Language Processing and Speech Recognition
- Yee Seng Chan, Hwee Tou Ng:
Scaling Up Word Sense Disambiguation via Parallel Texts.
1037-1042
- Rodrigo de Salvo Braz, Roxana Girju, Vasin Punyakanok, Dan Roth, Mark Sammons:
An Inference Model for Semantic Entailment in Natural Language.
1043-1049
- Oren Glickman, Ido Dagan, Moshe Koppel:
A Probabilistic Classification Approach for Lexical Textual Entailment.
1050-1055
- Fei Huang, Stephan Vogel, Alex Waibel:
Clustering and Classifying Person Names by Origin.
1056-1061
- Rohit J. Kate, Yuk Wah Wong, Raymond J. Mooney:
Learning to Transform Natural to Formal Languages.
1062-1068
- Jure Leskovec, Natasa Milic-Frayling, Marko Grobelnik:
Impact of Linguistic Analysis on the Semantic Graph Coverage and Learning of Document Extracts.
1069-1074
- Kornél G. Markó, Stefan Schulz, Udo Hahn:
Unsupervised Multilingual Word Sense Disambiguation via an Interlingua.
1075-1080
- Vincent Ng:
Supervised Ranking for Pronoun Resolution: Some Recent Improvements.
1081-1086
- Sebastian Padó, Mirella Lapata:
Cross-Lingual Bootstrapping of Semantic Lexicons: The Case of FrameNet.
1087-1092
- Thanh Phong Pham, Hwee Tou Ng, Wee Sun Lee:
Word Sense Disambiguation with Semi-Supervised Learning.
1093-1098
- Rajat Raina, Andrew Y. Ng, Christopher D. Manning:
Robust Textual Inference Via Learning and Abductive Reasoning.
1099-1105
- Ellen Riloff, Janyce Wiebe, William Phillips:
Exploiting Subjectivity Classification to Improve Information Extraction.
1106-1111
- Virginia Savova, Leonid Peshkin:
Dependency Parsing with Dynamic Bayesian Network.
1112-1117
- Marius-Calin Silaghi:
Spotting Subsequences Matching an HMM Using the Average Observation Probability Criteria with Application to Keyword Spotting.
1118-1123
- Özlem Uzuner, Boris Katz:
Capturing Expression Using Linguistic Information.
1124-1130
Planning and Scheduling
- William Cushing, Daniel Bryce:
State Agnostic Planning Graphs and the Application to Belief-Space Planning.
1131-1138
- Esra Erdem, Elisabeth R. M. Tillier:
Genome Rearrangement and Planning.
1139-1144
- Will Fitzgerald, Daniel Lemire, Martin Brooks:
Quasi-Monotonic Segmentation of State Variable Behavior for Reactive Control.
1145-1150
- Maria Fox, Richard Howey, Derek Long:
Validating Plans in the Context of Processes and Exogenous Events.
1151-1156
- Alfonso Gerevini, Alessandro Saetti, Ivan Serina, Paolo Toninelli:
Fast Planning in Domains with Derived Predicates: An Approach Based on Rule-Action Graphs and Local Search.
1157-1162
- Patrik Haslum, Blai Bonet, Hector Geffner:
New Admissible Heuristics for Domain-Independent Planning.
1163-1168
- Ugur Kuter, Dana S. Nau:
Using Domain-Configurable Search Control for Probabilistic Planning.
1169-1174
- Lihong Li, Michael L. Littman:
Lazy Approximation for Solving Continuous Finite-Horizon MDPs.
1175-1180
- Iain Little, Douglas Aberdeen, Sylvie Thiébaux:
Prottle: A Probabilistic Temporal Planner.
1181-1186
- Michael D. Moffitt, Bart Peintner, Martha E. Pollack:
Augmenting Disjunctive Temporal Problems with Finite-Domain Constraints.
1187-1192
- Paul H. Morris, Nicola Muscettola:
Temporal Dynamic Controllability Revisited.
1193-1198
- Nicola Policella, Xiaofang Wang, Stephen F. Smith, Angelo Oddi:
Exploiting Temporal Flexibility to Obtain High Quality Schedules.
1199-1204
- Anton Riabov, Zhen Liu:
Planning for Stream Processing Systems.
1205-1210
- Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales:
Conformant Planning for Domains with Constraints-A New Approach.
1211-1216
- Sung Wook Yoon, Alan Fern, Robert Givan:
Learning Measures of Progress for Planning Domains.
1217-1222
- Neil Yorke-Smith:
Exploiting the Structure of Hierarchical Plans in Temporal Constraint Propagation.
1223-1228
- Yongmian Zhang, Qiang Ji:
Sensor Selection for Active Information Fusion.
1229-1234
- Lin Zhu, Robert Givan:
Simultaneous Heuristic Search for Conjunctive Subgoals.
1235-1241
Robotics
- Eric Beaudry, Yannick Brosseau, Carle Côté, Clément Raïevsky, Dominic Létourneau, Froduald Kabanza, François Michaud:
Reactive Planning in a Motivated Behavioral Architecture.
1242-1249
- Rahul Biswas, Sebastian Thrun:
A Distributed Approach to Passive Localization for Sensor Networks.
1248-1253
- Mathias Broxvall, Silvia Coradeschi, Lars Karlsson, Alessandro Saffiotti:
Recovery Planning for Ambiguous Cases in Perceptual Anchoring.
1254-1260
- Frank Dellaert, Alexander Kipp, Peter Krauthausen:
A Multifrontal QR Factorization Approach to Distributed Inference Applied to Multirobot Localization and Mapping.
1261-1266
- Gen Endo, Jun Morimoto, Takamitsu Matsubara, Jun Nakanishi, Gordon Cheng:
Learning CPG Sensory Feedback with Policy Gradient for Biped Locomotion for a Full-Body Humanoid.
1267-1273
- Yang Gu:
Tactic-Based Motion Modeling and Multi-Sensor Tracking.
1274-1279
- Stephen Hart, Roderic A. Grupen, David Jensen:
A Relational Representation for Procedural Task Knowledge.
1280-1285
- Tad Hogg, David W. Sretavan:
Controlling Tiny Multi-Scale Robots for Nerve Repair.
1286-1291
- Mary Koes, Illah R. Nourbakhsh, Katia P. Sycara:
Heterogeneous Multirobot Coordination with Spatial and Temporal Constraints.
1292-1297
- Benjamin Kuipers:
Consciousness: Drinking from the Firehose of Experience.
1298-1305
- Axel Rottmann, Óscar Martínez Mozos, Cyrill Stachniss, Wolfram Burgard:
Semantic Place Classification of Indoor Environments with Mobile Robots Using Boosting.
1306-1311
- Jeremy Searock, Brett Browning:
Learning to Prevent Failure States for a Dynamically Balancing Robot.
1312-1317
- Mohan Sridharan, Peter Stone:
Autonomous Color Learning on a Mobile Robot.
1318-1323
- Cyrill Stachniss, Wolfram Burgard:
Mobile Robot Mapping and Localization in Non-Static Environments.
1324-1329
- Rudolph Triebel, Wolfram Burgard:
Improving Simultaneous Mapping and Localization in 3D Using Global Constraints.
1330-1335
- Anna Yershova, Benjamín Tovar, Robert Ghrist, Steven M. LaValle:
Bitbots: Simple Robots Solving Complex Tasks.
1336-1342
Search
- Blai Bonet, Hector Geffner:
An Algorithm Better than AO*?
1343-1348
- Vadim Bulitko, Nathan R. Sturtevant, Maryia Kazakevich:
Speeding Up Learning in Real-time Search via Automatic State Abstraction.
1349-1354
- Vincent A. Cicirello, Stephen F. Smith:
The Max K-Armed Bandit: A New Model of Exploration Applied to Search Heuristic Selection.
1355-1361
- Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente:
Cost-Algebraic Heuristic Search.
1362-1367
- Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh:
Backbones and Backdoors in Satisfiability.
1368-1373
- Akihiro Kishimoto, Martin Müller:
Search versus Knowledge for Solving Life and Death Problems in Go.
1374-1379
- Richard E. Korf, Peter Schultze:
Large-Scale Parallel Breadth-First Search.
1380-1385
- Biplav Srivastava, Anupam Mediratta:
Domain-Dependent Parameter Selection of Search-based Algorithms Compatible with User Performance Criteria.
1386-1391
- Nathan R. Sturtevant, Michael Buro:
Partial Pathfinding Using Map Abstraction and Refinement.
1392-1397
- Rong Zhou, Eric A. Hansen:
External-Memory Pattern Databases Using Structured Duplicate Detection.
1398-1405
Semantic Web,
Information Retrieval,
Extraction
- Ion Constantinescu, Walter Binder, Boi Faltings:
Selection and Ranking of Propositional Formulas for Large-Scale Service Directories.
1406-1411
- Marco Ernandes, Giovanni Angelini, Marco Gori:
WebCrow: A Web-Based System for Crossword Solving.
1412-1417
- Guangcan Liu, Yong Yu, Xing Zhu:
A Learning-Based Term-Weighting Approach for Information Retrieval.
1418-1423
- Yi Liu, Rong Jin:
Query Translation Disambiguation as Graph Partitioning.
1424-1429
- Cynthia Matuszek, Michael J. Witbrock, Robert C. Kahlert, John Cabral, David Schneider, Purvesh Shah, Douglas B. Lenat:
Searching for Common Sense: Populating Cyc™ from the Web.
1430-1435
- Ani Nenkova:
Automatic Text Summarization of Newswire: Lessons Learned from the Document Understanding Conference.
1436-1441
- Octavian Udrea, Yu Deng, Edna Ruckhaus, V. S. Subrahmanian:
A Graph Theoretical Foundation for Integrating RDF Ontologies.
1442-1450
Innovative Applications of Artificial Intelligence Papers
Deployed Application Papers
- Kareem S. Aggour, William Cheetham:
Automating the Underwriting of Insurance Applications.
1451-1458
- Paul S. Cerkez:
Loads-n-Limits and Release-n-Sequence: The "Brains" behind WEPS.
1459-1466
- Andy Hon Wai Chun, Dennis Wai Ming Yeung, Garbbie Pui Shan Lam, Daniel Lai, Richard Keefe, Jerome Lam, Helena Chan:
Scheduling Engineering Works for the MTR Corporation in Hong Kong.
1467-1474
- Alexander Felfernig, Alfred Kiener:
Knowledge-based Interactive Selling of Financial Services with FSAdvisor.
1475-1482
- Kreshna Gopal, Tod D. Romo, Erik McKee, Kevin Childs, Lalji Kanbi, Reetal Pai, Jacob Smith, James C. Sacchettini, Thomas R. Ioerger:
TEXTAL™: Automated Crystallographic Protein Structure Determination.
1483-1490
- Glenn S. Semmel, Steven R. Davis, Kurt W. Leucht, Daniel A. Rowe, Kevin E. Smith, Ladislau Bölöni:
NESTA: NASA Engineering Shuttle Telemetry Agent.
1491-1498
- Haleh Vafaie, Carl Cecere:
CORMS AI: Decision Support System for Monitoring US Maritime Environment.
1499-1507
Emerging Applications
- Shumeet Baluja, Henry A. Rowley:
Boosting Sex Identification Performance.
1508-1513
- Bradley J. Clement, Mark D. Johnston:
The Deep Space Network Scheduling Problem.
1514-1520
- Vasco Furtado, Eurico Vasconcelos Filho:
A Multi-Agent Simulator for Teaching Police Allocation.
1521-1528
- Anand Panangadan, Syed Muhammad Ali, Ashit Talukder:
Markov Decision Processes for Control of a Sensor Network-based Health Monitoring System.
1529-1534
- Marc J. V. Ponsen, Héctor Muñoz-Avila, Pieter Spronck, David W. Aha:
Automatically Acquiring Domain Knowledge For Adaptive Game AI Using Evolutionary Learning.
1535-1540
- Nishkam Ravi, Nikhil Dandekar, Preetham Mysore, Michael L. Littman:
Activity Recognition from Accelerometer Data.
1541-1546
- Robert J. Sárfi, A. M. G. Solo:
Development of a Hybrid Knowledge-Based System for Multiobjective Optimization of Power Distribution System Operations.
1547-1554
- Nathan Schurr, Janusz Marecki, John P. Lewis, Milind Tambe, Paul Scerri:
The DEFACTO System: Training Tool for Incident Commanders.
1555-1562
- Blake 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:
A Knowledge-Based Approach to Network Security: Applying Cyc in the Domain of Network Risk Assessment.
1563-1568
- Biplav Srivastava, Jussi Vanhatalo, Jana Koehler:
Managing the Life Cycle of Plans.
1569-1575
- G. Michael Youngblood, Diane J. Cook, Lawrence B. Holder:
A Learning Architecture for Automating the Intelligent Environment.
1576-1583
Student Abstracts
- Scott Alexander, Jianna Zhang:
Machine Learning and Its Application at Nooksack Falls Hydroelectric Station.
1584-1585
- Nicholas L. Armstrong-Crews, Kenrick J. Mock:
Helicopter Routing for Maintaining Remote Sites in Alaska using a Genetic Algorithm.
1586-1587
- Mehran Asadi, Manfred Huber:
Autonomous Subgoal Discovery and Hierarchical Abstraction for Reinforcement Learning Using Monte Carlo Method.
1588-1589
- Nadya Belov, Joshua Shaffer:
Mixed-Initiative Approach to Collaboration in the Mathematical Domain.
1590-1591
- Nadya Belov:
On Predicting User Intent.
1592-1593
- Antonis Bikakis, Grigoris Antoniou:
DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web.
1594-1595
- Elizabeth Sugar Boese, Adele E. Howe:
Genre Classification of Web Documents.
1596-1597
- Cristina Boicu, Gheorghe Tecuci, Mihai Boicu:
Rule Refinement by Domain Experts in Complex Knowledge Bases.
1598-1599
- Jingfeng Cai, John Durkin:
Use of Expert Knowledge for Decision Tree Pruning.
1600-1601
- Cornelia Caragea, Doina Caragea, Vasant Honavar:
Learning Support Vector Machines from Distributed Data Sources.
1602-1603
- Li Ding, Timothy W. Finin:
Boosting Semantic Web Data Access Using Swoogle.
1604-1605
- Dmitri A. Dolgov, Edmund H. Durfee:
Towards Exploiting Duality in Approximate Linear Programming for MDPs.
1606-1607
- Cheuk Yiu Ip, William C. Regli:
Manufacturing Processes Recognition of Machined Mechanical Parts using SVMs.
1608-1609
- Hsiang-Hwa Koo, Elhadi Shakshuki:
An Automated Distributed Meeting Scheduler for FCVW Plug-in.
1610-1611
- Joseph Kopena:
Description Logic-Ground Knowledge Integration and Management.
1612-1613
- David Lee:
Continuous Speech Recognition Using Modified Stack Decoding Algorithm.
1614-1615
- Lucian Vlad Lita, Andrew Hazen Schlaikjer, WeiChang Hong, Eric Nyberg:
Qualitative Dimensions in Question Answering: Extending the Definitional QA Task.
1616-1617
- Tokuro Matsuo, Takayuki Ito, Toramatsu Shintani:
A Learning Support Method in Qualitative Simulation-Based Economic Education.
1618-1619
- C. Adam Overholtzer, Simon D. Levy:
Evolving AI Opponents in a First-Person-Shooter Video Game.
1620-1621
- Rong Pan, Yun Peng:
A Framework for Bayesian Network Mapping.
1622-1623
- Sam Skrivan, Jianna Zhang, Debra S. Jusak:
Minimizing Environmental Swings with a Recurrent Neural Network Control System.
1624-1625
- Alexander Stoytchev:
Autonomous Learning of Tool Affordances by a Robot.
1626-1627
- Evan Sultanik:
Heuristics for Agent Routing and Itinerary Optimization on Dynamic Networks.
1628-1629
- Julie Thornton:
Approximate Inference of Bayesian Networks through Edge Deletion.
1630-1631
- Weizhao Wang, Xiang-Yang Li:
Towards Truthful Mechanisms for Binary Demand Games: A General Framework.
1632-1635
The Tenth AAAI/SIGART Doctoral Consortium
- Jacob Beal:
Leveraging Language into Learning.
1636-1637
- Ellen Campana:
Dissertation in Progress: An Empirical Analysis of the Costs and Benefits of Naturalness in Spoken Dialog Systems.
1638-1639
- Mark James Carman:
Learning Source Descriptions for Web Services.
1640-1641
- Vincent Conitzer:
Computational Aspects of Mechanism Design.
1642-1643
- Li Ding:
On Boosting Semantic Web Data Access.
1644-1645
- Wolfgang Ketter:
Dynamic Regime Identification and Prediction Based on Observed Behavior in Electronic Marketplaces.
1646-1647
- Mykel J. Kochenderfer:
Adaptive Modeling and Planning for Reactive Agents.
1648-1649
- Xin Li:
Self-Emergence of Structures in Gene Expression Programming.
1650-1651
- Bhaskara Marthi:
Concurrent Hierarchical Reinforcement Learning.
1652-1653
- Ani Nenkova:
Discourse Factors in Multi-Document Summarization.
1654-1655
- Jennifer Neville:
Structure Learning for Statistical Relational Models.
1656-1657
- Özgür Simsek:
Towards Competence in Autonomous Agents.
1658-1659
- Trey Smith:
Rover Science Autonomy: Probabilistic Planning for Science-Aware Exploration.
1660-1661
- Radu Soricut:
Natural Language Generation for Text-to-Text Applications Using an Information-Slim Representation.
1662-1663
- Snehal Thakkar:
Planning for Geospatial Data Integration.
1664-1665
- Shimon Whiteson:
Improving Reinforcement Learning Function Approximators via Neuroevolution.
1666-1667
Intelligent Systems Demonstrations
- Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati:
QuOnto: Querying Ontologies.
1670-1671
- Vikas Agarwal, Girish Chafle, Koustuv Dasgupta, Neeran M. Karnik, Arun Kumar, Ashish Kundu, Anupam Mediratta, Sumit Mittal, Biplav Srivastava:
Building Applications Using End to End Composition of Web Services.
1672-1673
- Gustave 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:
The AI Technologies of the Philadelphia Area Urban Wireless Network Testbed.
1674-1675
- Peter B. Andrews:
Proving Theorems of Type Theory Automatically with TPS.
1676-1677
- Mihai Boicu, Gheorghe Tecuci, Cindy Ayers, Dorin Marcu, Cristina Boicu, Marcel Barbulescu, Bogdan Stanescu, William Wagner, Vu Le, Denitsa Apostolova, Adrian Ciubotariu:
A Learning and Reasoning System for Intelligence Analysis.
1678-1679
- Alexandra M. Coddington, Maria Fox, Jonathan Gough, Derek Long, Ivan Serina:
MADbot: A Motivated and Goal Directed Robot.
1680-1681
- Timothy W. Finin, Li Ding, Rong Pan, Anupam Joshi, Pranam Kolari, Akshay Java, Yun Peng:
Swoogle: Searching for Knowledge on the Semantic Web.
1682-1683
- Andrew Gilpin, Tuomas Sandholm:
Optimal Rhode Island Hold'em Poker.
1684-1685
- Margaret Manella Kozak:
Evolution of an Empathetic Digital Entity: Phase One.
1686-1687
- Rada Mihalcea:
Language Independent Extractive Summarization.
1688-1689
- Matthew Molineaux, David W. Aha:
TIELT: A Testbed for Gaming Environments.
1690-1691
- Siddharth Patwardhan, Satanjeev Banerjee, Ted Pedersen:
SenseRelate: : TargetWord-A Generalized Framework for Word Sense Disambiguation.
1692-1693
- Ted Pedersen, Anagha Kulkarni:
Identifying Similar Words and Contexts in Natural Language with SenseClusters.
1694-1695
- Geoffrey Peters, Caroline Anthony, Michael Schwartz:
Song Search and Retrieval by Tapping.
1696-1697
- Brett Poulin, Duane Szafron, Paul Lu, Russell Greiner, David S. Wishart, Roman Eisner, Alona Fyshe, Brandon Pearcy, Luca Pireddu:
The Proteome Analyst Suite of Automated Function Prediction Tools.
1698-1699
- Charles Rich, Candace L. Sidner, Neal Lesh, Andrew Garland, Shane Booth, Markus Chimani:
DiamondHelp: A Collaborative Task Guidance Framework for Complex Devices.
1700-1701
- Michael T. Rosenstein, Andrew H. Fagg, Robert Platt Jr., John Sweeney, Roderic A. Grupen:
Remote Supervisory Control of a Humanoid Robot.
1702-1703
- Stuart C. Shapiro, Josephine Anstey, David E. Pape, Trupti Devdas Nayak, Michael Kandefer, Orkan Telhan:
MGLAIR Agents in Virtual and Other Graphical Environments.
1704-1705
- Richard C. Simpson, Edmund F. LoPresti, Debra Schreckenghost, Ned Kirsch, Steve Hayashi:
Solo: A Cognitive Orthosis.
1706-1707
- Finnegan Southey, Robert C. Holte:
SAGA-ML: An Active Learning System for Semiautomated Gameplay Analysis.
1708-1709
- Alexander R. Statnikov, Ioannis Tsamardinos, Constantin F. Aliferis:
Using the GEMS System for Cancer Diagnosis and Biomarker Discovery from Microarray Gene Expression Data.
1710-1711
- Simone Stumpf, Xinlong Bao, Anton N. Dragunov, Thomas G. Dietterich, Jonathan L. Herlocker, Kevin Johnsrude, Lida Li, Jianqiang Shen:
The TaskTracker System.
1712-1713
Mobile Robot Program
- Robert Avanzato:
Low-cost Outdoor Robot Platform for the Penn State Abington Mini Grand Challenge.
1716-1717
- Douglas S. Blank, Deepak Kumar, Lisa Meeden, Holly A. Yanco:
Pyro: An Integrated Environment for Robotics Education.
1718-1719
- Magdalena D. Bugajska, William Adams, Scott Thomas, J. Gregory Trafton, Alan C. Schultz:
Ready or Not, Here I Come ....
1720-1721
- Debra T. Burhans, Andre Nelson, Victoria Steck:
Robots in an Intelligent Systems Course.
1722-1723
- Alan Davidson, Mac Mason, Susanna Ricco, Ben Tribelhorn, Zachary Dodds:
Scavenging with a Laptop Robot.
1724-1725
- Carl F. DiSalvo, Didac Font, Laura M. Hiatt, Nik A. Melchior, Marek P. Michalowski, Reid G. Simmons:
Social Tag: Finding the Person with the Pink Hat.
1726-1727
- David Hanson, Andrew Olney, Steve Prilliman, Eric Mathews, Marge Zielke, Derek Hammons, Raul Fernandez, Harry E. Stephanou:
Upending the Uncanny Valley.
1728-1729
- Brian T. Kirby, Jason Campbell, Burak Aksak, Padmanabhan Pillai, James F. Hoburg, Todd C. Mowry, Seth Copen Goldstein:
Catoms: Moving Robots Without Moving Parts.
1730-1731
- Matthew Marge, Ayman Sawas, Juan Carlos Liberato, Murtaza M. Karim, Manish Muttreja, Nader Alrawahi, Brian Fink:
NavBot: The Navigational Search-and-Rescue Robot.
1732
- François Michaud, Dominic Létourneau, Pierre Lepage,
