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