17. AAAI / 12. IAAI 2000:
Austin,
TX,
USA
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence,
July 30 - August 3,
2000,
Austin,
Texas,
USA. AAAI Press / The MIT Press,
2000,
ISBN 0-262-51112-6
AAAI-2000 Technical Papers
Agents
- Shawn Arseneau, Wei Sun, Changpeng Zhao, Jeremy R. Cooperstock:
Inter-Layer Learning Towards Emergent Cooperative Behavior.
3-8 BibTeX
- A. M. Bell, William A. Sethares, James A. Bucklew:
Coordination Failure and Congestion in Information Networks.
9-14 BibTeX
- Michael H. Coen:
Non-Deterministic Social Laws.
15-21 BibTeX
- Holger H. Hoos, Craig Boutilier:
Solving Combinatorial Auctions Using Stochastic Local Search.
22-29 BibTeX
- Luke Hunsberger, Massimo Zancanaro:
A Mechanism for Group Decision Making in Collaborative Activity.
30-35 BibTeX
- Charles Lee Isbell Jr., Michael J. Kearns, David P. Kormann, Satinder P. Singh, Peter Stone:
Cobot in LambdaMOO: A Social Statistics Agent.
36-41 BibTeX
- Sanjeev Kumar, Marcus J. Huber, David McGee, Philip R. Cohen, Hector J. Levesque:
Semantics of Agent Communication Languages for Group Interaction.
42-47 BibTeX
- Kate Larson, Tuomas Sandholm:
Deliberation in Equilibrium: Bargaining in Computationally Complex Problems.
48-55 BibTeX
- Kevin Leyton-Brown, Yoav Shoham, Moshe Tennenholtz:
An Algorithm for Multi-Unit Combinatorial Auctions.
56-61 BibTeX
- Mutsumi Nakamura, Chitta Baral, Marcus Bjäreland:
Maintainability: A Weaker Stabilizability Like Notion for High Level Control.
62-67 BibTeX
- Lin Padgham, Patrick Lambrix:
Agent Capabilities: Extending BDI Theory.
68-73 BibTeX
- David C. Parkes, Lyle H. Ungar:
Iterative Combinatorial Auctions: Theory and Practice.
74-81 BibTeX
- David C. Parkes, Lyle H. Ungar:
Preventing Strategic Manipulation in Iterative Auctions: Proxy Agents and Price-Adjustment.
82-89 BibTeX
- Tuomas Sandholm, Subhash Suri:
Improved Algorithms for Optimal Winner Determination in Combinatorial Auctions and Generalizations.
90-97 BibTeX
- Moshe Tennenholtz:
Some Tractable Combinatorial Auctions.
98-103 BibTeX
- Kagan Tumer, David Wolpert:
Collective Intelligence and Braess' Paradox.
104-109 BibTeX
- Makoto Yokoo, Yuko Sakurai, Shigeo Matsubara:
Robust Combinatorial Auction Protocol against False-Name Bids.
110-115 BibTeX
Cognitive Modeling
Constraint Satisfaction
Game Playing
Human-Computer Interaction
- David Anderson, Emily Anderson, Neal Lesh, Joe Marks, Brian Mirtich, David Ratajczak, Kathy Ryall:
Human-Guided Simple Search.
209-216 BibTeX
- Peter Gorniak, David Poole:
Predicting Future User Actions by Observing Unmodified Applications.
217-222 BibTeX
- Jihie Kim, Yolanda Gil:
Acquiring Problem-Solving Knowledge from End Users: Putting Interdependency Models to the Test.
223-229 BibTeX
- Benjamin Korvemaker, Russell Greiner:
Predicting UNIX Command Lines: Adjusting to User Patterns.
230-235 BibTeX
- Michael Mateas, Paul Vanouse, Steffi Domike:
Generation of Ideologically-Biased Historical Documentaries.
236-242 BibTeX
- Ying Wu, Thomas S. Huang:
Self-Supervised Learning for Visual Tracking and Recognition of Human Hand.
243-248 BibTeX
- Song-Yee Yoon, Robert C. Burke, Bruce Blumberg, Gerald E. Schneider:
Interactive Training for Synthetic Characters.
249-254 BibTeX
Knowledge Representation and Reasoning
Boolean Satisfiability
- Dimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, Bart Selman:
Generating Satisfiable Problem Instances.
256-261 BibTeX
- Ramón Béjar, Felip Manyà:
Solving the Round Robin Problem Using Propositional Logic.
262-266 BibTeX
- Rachel Ben-Eliyahu-Zohary:
A Demand-Driven Algorithm for Generating Minimal Models.
267-272 BibTeX
- Yacine Boufkhad, Olivier Roussel:
Redundancy in Random SAT Formulas.
273-278 BibTeX
- Alvaro del Val:
On 2-SAT and Renamable Horn.
279-284 BibTeX
- Rainer Feldmann, Burkhard Monien, Stefan Schamberger:
A Distributed Algorithm to Evaluate Quantified Boolean Formulae.
285-290 BibTeX
- Chu Min Li:
Integrating Equivalency Reasoning into Davis-Putnam Procedure.
291-296 BibTeX
- Dale Schuurmans, Finnegan Southey:
Local Search Characteristics of Incomplete SAT Procedures.
297-302 BibTeX
- William E. Walsh, Michael P. Wellman:
MarketSAT: An Extremely Decentralized (but Really Slow) Algorithm for Propositional Satisfiability.
303-309 BibTeX
- Zhe Wu, Benjamin W. Wah:
An Efficient Global-Search Strategy in Discrete Lagrangian Methods for Solving Hard Satisfiability Problems.
310-315 BibTeX
Case-Based Reasoning
Computational Complexity of Reasoning
Decision Theory
Logic
Nonmonotonic Reasoning
Ontology
Reasoning about Actions and Time
Spatial Reasoning
Uncertainty
Machine Learning and Data Mining
- Joseph Beck, Beverly Park Woolf, Carole R. Beal:
ADVISOR: A Machine Learning Architecture for Intelligent Tutor Construction.
552-557 BibTeX
- Simon Colton, Alan Bundy, Toby Walsh:
Automatic Invention of Integer Sequences.
558-563 BibTeX
- Pedro Domingos:
A Unified Bias-Variance Decomposition for Zero-One and Squared Loss.
564-569 BibTeX
- Tapio Elomaa, Juho Rousu:
Generalizing Boundary Points.
570-576 BibTeX
- Dayne Freitag, Nicholas Kushmerick:
Boosted Wrapper Induction.
577-583 BibTeX
- Dayne Freitag, Andrew McCallum:
Information Extraction with HMM Structures Learned by Stochastic Optimization.
584-589 BibTeX
- Gregory Z. Grudic, Lyle H. Ungar:
Localizing Search in Reinforcement Learning.
590-595 BibTeX
- Joseph L. Hellerstein, T. S. Jayram, Irina Rish:
Recognizing End-User Transactions in Performance Management.
596-602 BibTeX
- Raymond S. T. Lee, James N. K. Liu:
ATMOSPHERE - Automatic Track Mining and Objective Satellite Pattern Hunting System Using Enhanced RBF and EGDLM.
603-608 BibTeX
- Kristina Lerman, Steven Minton:
Learning the Common Structure of Data.
609-614 BibTeX
- Bing Liu, Minqing Hu, Wynne Hsu:
Intuitive Representation of Decision Trees Using General Rules and Exceptions.
615-620 BibTeX
- Ion Muslea, Steven Minton, Craig A. Knoblock:
Selective Sampling with Redundant Views.
621-626 BibTeX
- Un Yong Nahm, Raymond J. Mooney:
A Mutually Beneficial Integration of Data Mining and Information Extraction.
627-632 BibTeX
- Marco Ramoni, Paola Sebastiani, Paul R. Cohen:
Multivariate Clustering by Dynamics.
633-638 BibTeX
- Dan Roth, Dmitry Zelenko:
Toward a Theory of Learning Coherent Concepts.
639-644 BibTeX
- Satinder P. Singh, Michael J. Kearns, Diane J. Litman, Marilyn A. Walker:
Empirical Evaluation of a Reinforcement Learning Spoken Dialogue System.
645-651 BibTeX
- Belinda Thom:
Unsupervised Learning and Interactive Jazz/Blues Improvisation.
652-657 BibTeX
- Simon Tong, Daphne Koller:
Restricted Bayes Optimal Classifiers.
658-664 BibTeX
- Gary M. Weiss, Haym Hirsh:
A Quantitative Study of Small Disjuncts.
665-670 BibTeX
Natural Language Processing and Information Retrieval
- Yaser Al-Onaizan, Ulrich Germann, Ulf Hermjakob, Kevin Knight, Philipp Koehn, Daniel Marcu, Kenji Yamada:
Translating with Scarce Resources.
672-678 BibTeX
- Regina Barzilay, Michael Collins, Julia Hirschberg, Steve Whittaker:
The Rules Behind Roles: Identifying Speaker Role in Radio Broadcasts.
679-684 BibTeX
- Andrew Kehler:
Cognitive Status and Form of Reference in Multimodal Human-Computer Interaction.
685-690 BibTeX
- Karin Kipper, Hoa Trang Dang, Martha Stone Palmer:
Class-Based Construction of a Verb Lexicon.
691-696 BibTeX
- Kevin Knight, Irene Langkilde:
Preserving Ambiguities in Generation via Automata Intersection.
697-702 BibTeX
- Kevin Knight, Daniel Marcu:
Statistics-Based Summarization - Step One: Sentence Compression.
703-710 BibTeX
- Philipp Koehn, Kevin Knight:
Estimating Word Translation Probabilities from Unrelated Monolingual Corpora Using the EM Algorithm.
711-715 BibTeX
- Maria Lapata:
The Automatic Interpretation of Nominalizations.
716-721 BibTeX
- Diane J. Litman, Shimei Pan:
Predicting and Adapting to Poor Speech Recognition in a Spoken Dialogue System.
722-728 BibTeX
- David M. Pennock, Eric Horvitz, C. Lee Giles:
Social Choice Theory and Recommender Systems: Analysis of the Axiomatic Foundations of Collaborative Filtering.
729-734 BibTeX
- Janyce Wiebe:
Learning Subjective Adjectives from Corpora.
735-740 BibTeX
Planning and Scheduling
- Amedeo Cesta, Angelo Oddi, Stephen F. Smith:
Iterative Flattening: A Scalable Method for Solving Multi-Capacity Scheduling Problems.
742-747 BibTeX
- Paolo Ferraris, Enrico Giunchiglia:
Planning as Satisfiability in Nondeterministic Domains.
748-753 BibTeX
- Alberto Finzi, Fiora Pirri, Raymond Reiter:
Open World Planning in the Situation Calculus.
754-760 BibTeX
- Alfonso Gerevini, Lenhart K. Schubert:
Discovering State Constraints in DISCOPLAN: Some New Results.
761-767 BibTeX
- Andreas Herzig, Jérôme Lang, Dominique Longin, Thomas Polacsek:
A Logic for Planning under Partial Observability.
768-773 BibTeX
- Jun Hong:
Graph Construction and Analysis as a Paradigm for Plan Recognition.
774-779 BibTeX
- Hoong Chuin Lau, Andrew Lim, Qi Zhang Liu:
Solving a Supply Chain Optimization Problem Collaboratively.
780-785 BibTeX
- Fangzhen Lin:
From Causal Theories to Successor State Axioms and STRIPS-Like Systems.
786-791 BibTeX
- Sakib A. Mondal, Anup K. Sen:
TCBB Scheme: Applications to Single Machine Job Sequencing Problems.
792-797 BibTeX
- XuanLong Nguyen, Subbarao Kambhampati:
Extracting Effective and Admissible State Space Heuristics from the Planning Graph.
798-805 BibTeX
- Jussi Rintanen:
An Iterative Algorithm for Synthesizing Invariants.
806-811 BibTeX
- Biplav Srivastava:
RealPlan: Decoupling Causal and Resource Reasoning in Planning.
812-818 BibTeX
- Craig A. Tovey, Sven Koenig:
Gridworlds as Testbeds for Planning with Incomplete Information.
819-824 BibTeX
Robotics
- Tom Duckett, Ulrich Nehmzow:
Performance Comparison of Landmark Recognition Systems for Navigating Mobile Robots.
826-831 BibTeX
- Kazuhiro Nakadai, Tino Lourens, Hiroshi G. Okuno, Hiroaki Kitano:
Active Audition for Humanoid.
832-839 BibTeX
- Illah R. Nourbakhsh:
Property Mapping: A Simple Technique for Mobile Robot Programming.
840-845 BibTeX
- Tim Oates, Matthew D. Schmill, Paul R. Cohen:
A Method for Clustering the Experiences of a Mobile Robot that Accords with Human Judgments.
846-851 BibTeX
- Reid G. Simmons, David Apfelbaum, Wolfram Burgard, Dieter Fox, Mark Moors, Sebastian Thrun, Håkan L. S. Younes:
Coordination for Multi-Robot Exploration and Mapping.
852-858 BibTeX
- Sebastian Thrun, Dieter Fox, Wolfram Burgard:
Monte Carlo Localization with Mixture Proposal Distribution.
859-865 BibTeX
- Iwan Ulrich, Illah R. Nourbakhsh:
Appearance-Based Obstacle Detection with Monocular Color Vision.
866-871 BibTeX
- Elly Winner, Manuela M. Veloso:
Multi-Fidelity Robotic Behaviors: Acting with Variable State Information.
872-877 BibTeX
Search
Innovative Applications of Artificial Intelligence Papers
Deployed Applications
- Robert L. Akers, Ion Bica, Elaine Kant, Curt Randall, Robert L. Young:
SciFinance: A Program Synthesis Tool for Financial Modeling.
937-944 BibTeX
- Chinatsu Aone, Mila Ramos-Santacruz, William J. Niehaus:
Assentor®: An NLP-Based Solution to E-mail Monitoring.
945-950 BibTeX
- Andy Hon Wai Chun, Steve Ho Chuen Chan, Garbbie Pui Shan Lam, Francis Ming Fai Tsang, Jean Wong, Dennis Wai Ming Yeung:
Nurse Rostering at the Hospital Authority of Hong Kong.
951-956 BibTeX
- Paul Cotter, Barry Smyth:
PTV: Intelligent Personalised TV Guides.
957-964 BibTeX
- Daniel T. Heinze, Mark L. Morsch, Ronald E. Sheffer Jr., Michelle A. Jimmink, Mark A. Jennings, William C. Morris, Amy E. W. Morsch:
LifeCode™ - A Natural Language Processing System for Medical Coding and Data Mining.
965-972 BibTeX
- Eitan Mendelowitz:
The Emergence Engine: A Behavior Based Agent Development Environment for Artists.
973-978 BibTeX
Emerging Applications
- Greg Barish, Craig A. Knoblock, Yi-Shin Chen, Steven Minton, Andrew Philpot, Cyrus Shahabi:
The TheaterLoc Virtual Application.
980-987 BibTeX
- Peter Clark, John Thompson, Heather Holmback, Lisbeth Duncan:
Exploiting a Thesaurus-Based Semantic Net for Knowledge-Based Search.
988-995 BibTeX
- Raffaella Colaci, Marco Schaerf:
ICARUS: Intelligent Content-Based Retrieval of 3D Scene.
996-1001 BibTeX
- Jody J. Daniels:
Integrating a Spoken Language System with Agents for Operational Information Access.
1002-1007 BibTeX
- Nanda Kambhatla, Malgorzata Budzikowska, Sylvie Levesque, Nicolas Nicolov, Wlodek Zadrozny, Charles Wiecha, Julie MacNaught:
DMML: An XML Language for Interacting with Multi-Modal Dialog Systems.
1008-1013 BibTeX
- Kenneth A. Kaufman, Ryszard S. Michalski:
Applying Learnable Evolution Model to Heat Exchanger Design.
1014-1019 BibTeX
- Andrew Lim, Ang Juay Chin, Wee-Kit Ho, Wee-Chong Oon:
A Campus-Wide University Examination Timetabling Application.
1020-1015 BibTeX
- Maja Pantic, Léon J. M. Rothkrantz:
An Expert System for Recognition of Facial Actions and their Intensity.
1026-1033 BibTeX
- Steffen Staab, Jürgen Angele, Stefan Decker, Michael Erdmann, Andreas Hotho, Alexander Maedche, Hans-Peter Schnurr, Rudi Studer, York Sure:
AI for the Web - Ontology-Based Community Web Portals.
1034-1039 BibTeX
- Peter Stone, Patrick Riley, Manuela M. Veloso:
Defining and Using Ideal Teammate and Opponent Agent Models.
1040-1045 BibTeX
- Gheorghe Tecuci, Mihai Boicu, Dorin Marcu, Michael Bowman, Florin Ciucu, Cristian Levcovici:
Rapid Development of a High Performance Knowledge Base for Course of Action Critiquing.
1046-1053 BibTeX
- Ian Watson:
A Case-Based Reasoning Application for Engineering Sales Support Using Introspective Reasoning.
1054-1059 BibTeX
Student Abstracts
- Gregory Aist:
Identifying Words to Explain to a Reader: A Preliminary Study.
1061 BibTeX
- Greg Barish, Craig A. Knoblock, Steven Minton:
Speculative Execution for Information Agents.
1062 BibTeX
- Lluís A. Belanche Muñoz:
Heterogeneous Neuron Models Based on Similarity.
1063 BibTeX
Mihai Boicu,
Gheorghe Tecuci:
Mixed-Initiative Reasoning for Integrated Domain Modeling,
Learning and Problem Solving. 1064
- Michael Bowman, Gheorghe Tecuci, Mihai Boicu:
A Methodology for Modeling and Representing Expert Knowledge that Supports Teaching-Based Intelligent Agent Development.
1065 BibTeX
- Christopher H. Brooks, Edmund H. Durfee:
Automated Learning of Pricing and Bundling Strategies in Information Economies.
1066 BibTeX
- Doina Caragea, Adrian Silvescu, Vasant Honavar:
Incremental and Distributed Learning with Support Vector Machines.
1067 BibTeX
- Sung-Hyuk Cha, Sargur N. Srihari:
System that Identifies Writers.
1068 BibTeX
- Gabriel J. Ferrer, Glenn S. Wasson, James P. Gunderson, Worthy N. Martin:
Using Anytime Planning for Centralized Coordination of Multiple Robots in Real-Time Dynamic Environments.
1069 BibTeX
- Brian P. Gerkey, Maja J. Mataric:
MURDOCH: Publish/Subscribe Task Allocation for Heterogeneous Agents.
1070 BibTeX
- Roxana Girju:
Domain-Specific Knowledge Acquisition Using WordNet.
1071 BibTeX
- Jesus A. Gonzalez, Lawrence B. Holder, Diane J. Cook:
Graph Based Concept Learning.
1072 BibTeX
- Kreshna Gopal, Thomas R. Ioerger:
An Adaptive Planner Based on Learning of Planning Performance.
1073 BibTeX
- Jeff Heflin:
Knowledge Representation on the Internet: Achieving Interoperability in a Dynamic, Distributed Environment.
1074 BibTeX
- István T. Hernádvölgyi:
Using Pattern Databases to Find Macro Operators.
1075 BibTeX
- Jeff Hyams:
Autonomous Multi-Agent Docking Using Color Segmentation.
1076 BibTeX
- Euna Jeong, Chun-Nan Hsu:
Ontology Integration in XML.
1077 BibTeX
- Istvan Jonyer, Lawrence B. Holder, Diane J. Cook:
Graph-Based Hierarchical Conceptual Clustering in Structural Databases.
1078 BibTeX
- Youngjun Kim, Randall W. Hill Jr., Jonathan Gratch:
Situation Awareness with the Limited Visual Attention.
1079 BibTeX
- Karen T. Kohl:
Language Learning in Large Parameter Spaces.
1080 BibTeX
- Michail G. Lagoudakis, Michael L. Littman:
Reinforcement Learning for Algorithm Selection.
1081 BibTeX
- Dung N. Lam, K. Suzanne Barber:
Tracing Dependencies of Strategy Selections in Agent Design.
1082 BibTeX
- Amy C. Larson, Richard M. Voyles:
Programming Robot Behavior Primitives through Human Demonstration.
1083 BibTeX
- Robert Menke, Rina Dechter:
An Implementation of the Combinatorial Auction Problem in ECLiPSe.
1084 BibTeX
- Rada Mihalcea:
A Semi-Complete Disambiguation Algorithm for Open Text.
1085 BibTeX
- Matthew Winston Mitchell:
Combining Classification and Temporal Learning.
1086 BibTeX
- Monica N. Nicolescu, Maja J. Mataric:
Deriving and Using Abstract Representation in Behavior-Based Systems.
1087 BibTeX
- Aomar Osmani:
Model-Based-Diagnosis for Fault Management in Telecommunications Networks.
1088 BibTeX
- Maxim Peysakhov, Vlada Galinskaya, William C. Regli:
Representation and Evolution of Lego-Based Assemblies.
1089 BibTeX
- Sailesh Ramakrishnan, Martha E. Pollack:
Intelligent Monitoring in a Robotic Assistant for the Elderly.
1090 BibTeX
- Timothy W. Rauenbusch:
Towards Efficient Negotiation Mechanisms for Collaboration.
1091 BibTeX
- Patrick Riley, Manuela M. Veloso:
Behavior Acquisition and Classification: A Case Study in Robotic Soccer.
1092 BibTeX
- Stergios I. Roumeliotis, Maja J. Mataric:
"Small-World" Networks of Mobile Robots.
1093 BibTeX
- Jiefu Shi, Michael L. Littman:
Towards Approximately Optimal Poker.
1094 BibTeX
- Gita Sukthankar:
Team-Aware Multirobot Strategy for Cooperative Path Clearing.
1095 BibTeX
- Peter B. Vanderheyden, Robin Cohen:
Interfacing Issues for Information Extraction.
1096 BibTeX
- Kiri Wagstaff, Claire Cardie:
Clustering with Instance-Level Constraints.
1097 BibTeX
Runqi Zhang:
An ILP Method Based on Instance Graph. 1098
SIGART/AAAI Doctoral Consortium
AAAI-99 Intelligent Systems Demonstrations
- K. Suzanne Barber, Anuj Goel, David C. Han, Joonee Kim, Dung N. Lam, Tse-Hsin Liu, Cheryl E. Martin, Ryan McKay:
Sensible Agents: Demonstration of Dynamic Adaptive Autonomy.
1115-1116 BibTeX
- K. Suzanne Barber, Thomas J. Graser, Paul Grisham, Stephen R. Jernigan, Sutirtha Bhattacharya:
The Systems Engineering Process Activities (SEPA) Methodology and Tool Suite.
1117-1118 BibTeX
- Ronald W. Ferguson, Robert A. Rasch Jr., William Turmel, Kenneth D. Forbus:
Qualitative Spatial Interpretation of Course-of-Action Diagrams.
1119-1120 BibTeX
- Srinivas Gutta, Kaushal Kurapati, K. P. Lee, Jacquelyn Martino, John Milanski, J. David Schaffer, John Zimmerman:
TV Content Recommender System.
1121-1122 BibTeX
- Deborah L. McGuinness, Richard Fikes, James Rice, Steve Wilder:
The Chimaera Ontology Environment.
1123-1124 BibTeX
- Massimo Paolucci, Zhendong Niu, Katia P. Sycara, Constantine Domashnev, Sean Owens, Martin Van Velsen:
Matchmaking to Support Intelligent Agents for Portfolio Management.
1125-1126 BibTeX
- Robin R. Penner, Erik S. Steinmetz, Christopher L. Johnson:
Adaptive User Interfaces through Dynamic Design Automation.
1127-1128 BibTeX
- Robert St. Amant, Luke S. Zettlemoyer:
User Interface Softbots.
1129-1130 BibTeX
- Austin Tate, Jeff Dalton, John Levine:
O-Plan: A Web-Based AI Planning Agent.
1131-1132 BibTeX
- Maksim Tsvetovat, Katia P. Sycara, Yian Chen, James Ying:
Customer Coalitions in the Electronic Marketplace.
1133-1134 BibTeX
- Pei Wang:
Non-Axiomatic Reasoning System (Version 4.1).
1135-1136 BibTeX
- Christopher A. Welty, Jessica Jenkins:
Untangle: A New Ontology for Card Catalog Systems.
1137-1138 BibTeX
Robot Competition and Exhibition
François Michaud,
Dominic Létourneau,
Jonathan Audet,
François Bélanger:
Symbol Recognition and Artificial Emotion for Making an Autonomoius Robot Attend the AAAI Conference. 1140-1141
- Daniel P. Stormont:
The Blue Swarm.
1142-1143 BibTeX
Invited Talks
Copyright © Sat May 16 22:55:30 2009
by Michael Ley (ley@uni-trier.de)
