17. AAAI / 12. IAAI 2000:
Austin, TX, USA
Henry A. Kautz, Bruce W. Porter (Eds.):
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
- Ann M. Bell, William A. Sethares, James A. Bucklew:
Coordination Failure and Congestion in Information Networks.
9-14
- Michael H. Coen:
Non-Deterministic Social Laws.
15-21
- Holger H. Hoos, Craig Boutilier:
Solving Combinatorial Auctions Using Stochastic Local Search.
22-29
- Luke Hunsberger, Massimo Zancanaro:
A Mechanism for Group Decision Making in Collaborative Activity.
30-35
- Charles Lee Isbell Jr., Michael J. Kearns, David P. Kormann, Satinder P. Singh, Peter Stone:
Cobot in LambdaMOO: A Social Statistics Agent.
36-41
- Sanjeev Kumar, Marcus J. Huber, David McGee, Philip R. Cohen, Hector J. Levesque:
Semantics of Agent Communication Languages for Group Interaction.
42-47
- Kate Larson, Tuomas Sandholm:
Deliberation in Equilibrium: Bargaining in Computationally Complex Problems.
48-55
- Kevin Leyton-Brown, Yoav Shoham, Moshe Tennenholtz:
An Algorithm for Multi-Unit Combinatorial Auctions.
56-61
- Mutsumi Nakamura, Chitta Baral, Marcus Bjäreland:
Maintainability: A Weaker Stabilizability Like Notion for High Level Control.
62-67
- Lin Padgham, Patrick Lambrix:
Agent Capabilities: Extending BDI Theory.
68-73
- David C. Parkes, Lyle H. Ungar:
Iterative Combinatorial Auctions: Theory and Practice.
74-81
- David C. Parkes, Lyle H. Ungar:
Preventing Strategic Manipulation in Iterative Auctions: Proxy Agents and Price-Adjustment.
82-89
- Tuomas Sandholm, Subhash Suri:
Improved Algorithms for Optimal Winner Determination in Combinatorial Auctions and Generalizations.
90-97
- Moshe Tennenholtz:
Some Tractable Combinatorial Auctions.
98-103
- Kagan Tumer, David Wolpert:
Collective Intelligence and Braess' Paradox.
104-109
- Makoto Yokoo, Yuko Sakurai, Shigeo Matsubara:
Robust Combinatorial Auction Protocol against False-Name Bids.
110-115
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
- Peter Gorniak, David Poole:
Predicting Future User Actions by Observing Unmodified Applications.
217-222
- Jihie Kim, Yolanda Gil:
Acquiring Problem-Solving Knowledge from End Users: Putting Interdependency Models to the Test.
223-229
- Benjamin Korvemaker, Russell Greiner:
Predicting UNIX Command Lines: Adjusting to User Patterns.
230-235
- Michael Mateas, Paul Vanouse, Steffi Domike:
Generation of Ideologically-Biased Historical Documentaries.
236-242
- Ying Wu, Thomas S. Huang:
Self-Supervised Learning for Visual Tracking and Recognition of Human Hand.
243-248
- Song-Yee Yoon, Robert C. Burke, Bruce Blumberg, Gerald E. Schneider:
Interactive Training for Synthetic Characters.
249-254
Knowledge Representation and Reasoning
Boolean Satisfiability
- Dimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, Bart Selman:
Generating Satisfiable Problem Instances.
256-261
- Ramón Béjar, Felip Manyà:
Solving the Round Robin Problem Using Propositional Logic.
262-266
- Rachel Ben-Eliyahu-Zohary:
A Demand-Driven Algorithm for Generating Minimal Models.
267-272
- Yacine Boufkhad, Olivier Roussel:
Redundancy in Random SAT Formulas.
273-278
- Alvaro del Val:
On 2-SAT and Renamable Horn.
279-284
- Rainer Feldmann, Burkhard Monien, Stefan Schamberger:
A Distributed Algorithm to Evaluate Quantified Boolean Formulae.
285-290
- Chu Min Li:
Integrating Equivalency Reasoning into Davis-Putnam Procedure.
291-296
- Dale Schuurmans, Finnegan Southey:
Local Search Characteristics of Incomplete SAT Procedures.
297-302
- William E. Walsh, Michael P. Wellman:
MarketSAT: An Extremely Decentralized (but Really Slow) Algorithm for Propositional Satisfiability.
303-309
- Zhe Wu, Benjamin W. Wah:
An Efficient Global-Search Strategy in Discrete Lagrangian Methods for Solving Hard Satisfiability Problems.
310-315
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
- Simon Colton, Alan Bundy, Toby Walsh:
Automatic Invention of Integer Sequences.
558-563
- Pedro Domingos:
A Unified Bias-Variance Decomposition for Zero-One and Squared Loss.
564-569
- Tapio Elomaa, Juho Rousu:
Generalizing Boundary Points.
570-576
- Dayne Freitag, Nicholas Kushmerick:
Boosted Wrapper Induction.
577-583
- Dayne Freitag, Andrew McCallum:
Information Extraction with HMM Structures Learned by Stochastic Optimization.
584-589
- Gregory Z. Grudic, Lyle H. Ungar:
Localizing Search in Reinforcement Learning.
590-595
- Joseph L. Hellerstein, T. S. Jayram, Irina Rish:
Recognizing End-User Transactions in Performance Management.
596-602
- 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
- Kristina Lerman, Steven Minton:
Learning the Common Structure of Data.
609-614
- Bing Liu, Minqing Hu, Wynne Hsu:
Intuitive Representation of Decision Trees Using General Rules and Exceptions.
615-620
- Ion Muslea, Steven Minton, Craig A. Knoblock:
Selective Sampling with Redundant Views.
621-626
- Un Yong Nahm, Raymond J. Mooney:
A Mutually Beneficial Integration of Data Mining and Information Extraction.
627-632
- Marco Ramoni, Paola Sebastiani, Paul R. Cohen:
Multivariate Clustering by Dynamics.
633-638
- Dan Roth, Dmitry Zelenko:
Toward a Theory of Learning Coherent Concepts.
639-644
- Satinder P. Singh, Michael J. Kearns, Diane J. Litman, Marilyn A. Walker:
Empirical Evaluation of a Reinforcement Learning Spoken Dialogue System.
645-651
- Belinda Thom:
Unsupervised Learning and Interactive Jazz/Blues Improvisation.
652-657
- Simon Tong, Daphne Koller:
Restricted Bayes Optimal Classifiers.
658-664
- Gary M. Weiss, Haym Hirsh:
A Quantitative Study of Small Disjuncts.
665-670
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
- Regina Barzilay, Michael Collins, Julia Hirschberg, Steve Whittaker:
The Rules Behind Roles: Identifying Speaker Role in Radio Broadcasts.
679-684
- Andrew Kehler:
Cognitive Status and Form of Reference in Multimodal Human-Computer Interaction.
685-690
- Karin Kipper, Hoa Trang Dang, Martha Stone Palmer:
Class-Based Construction of a Verb Lexicon.
691-696
- Kevin Knight, Irene Langkilde:
Preserving Ambiguities in Generation via Automata Intersection.
697-702
- Kevin Knight, Daniel Marcu:
Statistics-Based Summarization - Step One: Sentence Compression.
703-710
- Philipp Koehn, Kevin Knight:
Estimating Word Translation Probabilities from Unrelated Monolingual Corpora Using the EM Algorithm.
711-715
- Maria Lapata:
The Automatic Interpretation of Nominalizations.
716-721
- Diane J. Litman, Shimei Pan:
Predicting and Adapting to Poor Speech Recognition in a Spoken Dialogue System.
722-728
- David M. Pennock, Eric Horvitz, C. Lee Giles:
Social Choice Theory and Recommender Systems: Analysis of the Axiomatic Foundations of Collaborative Filtering.
729-734
- Janyce Wiebe:
Learning Subjective Adjectives from Corpora.
735-740
Planning and Scheduling
- Amedeo Cesta, Angelo Oddi, Stephen F. Smith:
Iterative Flattening: A Scalable Method for Solving Multi-Capacity Scheduling Problems.
742-747
- Paolo Ferraris, Enrico Giunchiglia:
Planning as Satisfiability in Nondeterministic Domains.
748-753
- Alberto Finzi, Fiora Pirri, Raymond Reiter:
Open World Planning in the Situation Calculus.
754-760
- Alfonso Gerevini, Lenhart K. Schubert:
Discovering State Constraints in DISCOPLAN: Some New Results.
761-767
- Andreas Herzig, Jérôme Lang, Dominique Longin, Thomas Polacsek:
A Logic for Planning under Partial Observability.
768-773
- Jun Hong:
Graph Construction and Analysis as a Paradigm for Plan Recognition.
774-779
- Hoong Chuin Lau, Andrew Lim, Qi Zhang Liu:
Solving a Supply Chain Optimization Problem Collaboratively.
780-785
- Fangzhen Lin:
From Causal Theories to Successor State Axioms and STRIPS-Like Systems.
786-791
- Sakib A. Mondal, Anup K. Sen:
TCBB Scheme: Applications to Single Machine Job Sequencing Problems.
792-797
- XuanLong Nguyen, Subbarao Kambhampati:
Extracting Effective and Admissible State Space Heuristics from the Planning Graph.
798-805
- Jussi Rintanen:
An Iterative Algorithm for Synthesizing Invariants.
806-811
- Biplav Srivastava:
RealPlan: Decoupling Causal and Resource Reasoning in Planning.
812-818
- Craig A. Tovey, Sven Koenig:
Gridworlds as Testbeds for Planning with Incomplete Information.
819-824
Robotics
- Tom Duckett, Ulrich Nehmzow:
Performance Comparison of Landmark Recognition Systems for Navigating Mobile Robots.
826-831
- Kazuhiro Nakadai, Tino Lourens, Hiroshi G. Okuno, Hiroaki Kitano:
Active Audition for Humanoid.
832-839
- Illah R. Nourbakhsh:
Property Mapping: A Simple Technique for Mobile Robot Programming.
840-845
- 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
- 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
- Sebastian Thrun, Dieter Fox, Wolfram Burgard:
Monte Carlo Localization with Mixture Proposal Distribution.
859-865
- Iwan Ulrich, Illah R. Nourbakhsh:
Appearance-Based Obstacle Detection with Monocular Color Vision.
866-871
- Elly Winner, Manuela M. Veloso:
Multi-Fidelity Robotic Behaviors: Acting with Variable State Information.
872-877
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
- Chinatsu Aone, Mila Ramos-Santacruz, William J. Niehaus:
Assentor®: An NLP-Based Solution to E-mail Monitoring.
945-950
- 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
- Paul Cotter, Barry Smyth:
PTV: Intelligent Personalised TV Guides.
957-964
- 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
- Eitan Mendelowitz:
The Emergence Engine: A Behavior Based Agent Development Environment for Artists.
973-978
Emerging Applications
- Greg Barish, Craig A. Knoblock, Yi-Shin Chen, Steven Minton, Andrew Philpot, Cyrus Shahabi:
The TheaterLoc Virtual Application.
980-987
- Peter Clark, John A. Thompson, Heather Holmback, Lisbeth Duncan:
Exploiting a Thesaurus-Based Semantic Net for Knowledge-Based Search.
988-995
- Raffaella Colaci, Marco Schaerf:
ICARUS: Intelligent Content-Based Retrieval of 3D Scene.
996-1001
- Jody J. Daniels:
Integrating a Spoken Language System with Agents for Operational Information Access.
1002-1007
- 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
- Kenneth A. Kaufman, Ryszard S. Michalski:
Applying Learnable Evolution Model to Heat Exchanger Design.
1014-1019
- Andrew Lim, Ang Juay Chin, Wee-Kit Ho, Wee-Chong Oon:
A Campus-Wide University Examination Timetabling Application.
1020-1015
- Maja Pantic, Léon J. M. Rothkrantz:
An Expert System for Recognition of Facial Actions and their Intensity.
1026-1033
- 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
- Peter Stone, Patrick Riley, Manuela M. Veloso:
Defining and Using Ideal Teammate and Opponent Agent Models.
1040-1045
- 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
- Ian Watson:
A Case-Based Reasoning Application for Engineering Sales Support Using Introspective Reasoning.
1054-1059
Student Abstracts
- Gregory Aist:
Identifying Words to Explain to a Reader: A Preliminary Study.
1061
- Greg Barish, Craig A. Knoblock, Steven Minton:
Speculative Execution for Information Agents.
1062
- Lluís A. Belanche Muñoz:
Heterogeneous Neuron Models Based on Similarity.
1063
- 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
- Christopher H. Brooks, Edmund H. Durfee:
Automated Learning of Pricing and Bundling Strategies in Information Economies.
1066
- Doina Caragea, Adrian Silvescu, Vasant Honavar:
Incremental and Distributed Learning with Support Vector Machines.
1067
- Sung-Hyuk Cha, Sargur N. Srihari:
System that Identifies Writers.
1068
- 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
- Brian P. Gerkey, Maja J. Mataric:
MURDOCH: Publish/Subscribe Task Allocation for Heterogeneous Agents.
1070
- Roxana Girju:
Domain-Specific Knowledge Acquisition Using WordNet.
1071
- Jesus A. Gonzalez, Lawrence B. Holder, Diane J. Cook:
Graph Based Concept Learning.
1072
- Kreshna Gopal, Thomas R. Ioerger:
An Adaptive Planner Based on Learning of Planning Performance.
1073
- Jeff Heflin:
Knowledge Representation on the Internet: Achieving Interoperability in a Dynamic, Distributed Environment.
1074
- István T. Hernádvölgyi:
Using Pattern Databases to Find Macro Operators.
1075
- Jeff Hyams:
Autonomous Multi-Agent Docking Using Color Segmentation.
1076
- Euna Jeong, Chun-Nan Hsu:
Ontology Integration in XML.
1077
- Istvan Jonyer, Lawrence B. Holder, Diane J. Cook:
Graph-Based Hierarchical Conceptual Clustering in Structural Databases.
1078
- Youngjun Kim, Randall W. Hill Jr., Jonathan Gratch:
Situation Awareness with the Limited Visual Attention.
1079
- Karen T. Kohl:
Language Learning in Large Parameter Spaces.
1080
- Michail G. Lagoudakis, Michael L. Littman:
Reinforcement Learning for Algorithm Selection.
1081
- Dung N. Lam, K. Suzanne Barber:
Tracing Dependencies of Strategy Selections in Agent Design.
1082
- Amy C. Larson, Richard M. Voyles:
Programming Robot Behavior Primitives through Human Demonstration.
1083
- Robert Menke, Rina Dechter:
An Implementation of the Combinatorial Auction Problem in ECLiPSe.
1084
- Rada Mihalcea:
A Semi-Complete Disambiguation Algorithm for Open Text.
1085
- Matthew Winston Mitchell:
Combining Classification and Temporal Learning.
1086
- Monica N. Nicolescu, Maja J. Mataric:
Deriving and Using Abstract Representation in Behavior-Based Systems.
1087
- Aomar Osmani:
Model-Based-Diagnosis for Fault Management in Telecommunications Networks.
1088
- Maxim Peysakhov, Vlada Galinskaya, William C. Regli:
Representation and Evolution of Lego-Based Assemblies.
1089
- Sailesh Ramakrishnan, Martha E. Pollack:
Intelligent Monitoring in a Robotic Assistant for the Elderly.
1090
- Timothy W. Rauenbusch:
Towards Efficient Negotiation Mechanisms for Collaboration.
1091
- Patrick Riley, Manuela M. Veloso:
Behavior Acquisition and Classification: A Case Study in Robotic Soccer.
1092
- Stergios I. Roumeliotis, Maja J. Mataric:
"Small-World" Networks of Mobile Robots.
1093
- Jiefu Shi, Michael L. Littman:
Towards Approximately Optimal Poker.
1094
- Gita Sukthankar:
Team-Aware Multirobot Strategy for Cooperative Path Clearing.
1095
- Peter B. Vanderheyden, Robin Cohen:
Interfacing Issues for Information Extraction.
1096
- Kiri Wagstaff, Claire Cardie:
Clustering with Instance-Level Constraints.
1097
- 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
- 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
- Ronald W. Ferguson, Robert A. Rasch Jr., William Turmel, Kenneth D. Forbus:
Qualitative Spatial Interpretation of Course-of-Action Diagrams.
1119-1120
- Srinivas Gutta, Kaushal Kurapati, K. P. Lee, Jacquelyn Martino, John Milanski, J. David Schaffer, John Zimmerman:
TV Content Recommender System.
1121-1122
- Deborah L. McGuinness, Richard Fikes, James Rice, Steve Wilder:
The Chimaera Ontology Environment.
1123-1124
- Massimo Paolucci, Zhendong Niu, Katia P. Sycara, Constantine Domashnev, Sean Owens, Martin Van Velsen:
Matchmaking to Support Intelligent Agents for Portfolio Management.
1125-1126
- Robin R. Penner, Erik S. Steinmetz, Christopher L. Johnson:
Adaptive User Interfaces through Dynamic Design Automation.
1127-1128
- Robert St. Amant, Luke S. Zettlemoyer:
User Interface Softbots.
1129-1130
- Austin Tate, Jeff Dalton, John Levine:
O-Plan: A Web-Based AI Planning Agent.
1131-1132
- Maksim Tsvetovat, Katia P. Sycara, Yian Chen, James Ying:
Customer Coalitions in the Electronic Marketplace.
1133-1134
- Pei Wang:
Non-Axiomatic Reasoning System (Version 4.1).
1135-1136
- Christopher A. Welty, Jessica Jenkins:
Untangle: A New Ontology for Card Catalog Systems.
1137-1138
Robot Competition and Exhibition
Invited Talks
- Craig Boutilier:
Decision Making under Uncertainty: Operations Research Meets AI (Again).
1145-1150
- Justine Cassell:
Why Do We Need a Body Anyway?
1151
- Carla P. Gomes:
Structure, Duality, and Randomization: Common Themes in AI and OR.
1152-1158
- Geoffrey E. Hinton:
Modeling High-Dimensional Data by Combining Simple Experts.
1159-1164
- Richard E. Korf:
Recent Progress in the Design and Analysis of Admissible Heuristic Functions.
1165-1170
- John E. Laird, Michael van Lent:
Human-Level AI's Killer Application: Interactive Computer Games.
1171-1178
- Jonathan Schaeffer:
The Games Computers (and People) Play.
1179
- William A. Woods:
Conceptual Indexing: Practical Large-Scale AI for Efficient Information Access.
1180-1185
Last update Wed May 22 00:03:12 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
