default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th AAAI / 12th IAAI 2000: Austin, TX, USA
- Henry A. Kautz, Bruce W. Porter:
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 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 H. 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
- James A. Bednar, Risto Miikkulainen:
Self-Organization of Innate Face Preferences: Could Genetics Be Expressed through Learning? 117-122 - Yoonsuck Choe, Risto Miikkulainen:
A Self-Organizing Neural Network for Contour Integration through Synchronized Firing. 123-128 - Silvia Coradeschi, Alessandro Saffiotti:
Anchoring Symbols to Sensor Data: Preliminary Report. 129-135 - Bradley C. Love, Arthur B. Markman, Takashi Yamauchi:
Modeling Classification and Inference Learning. 136-141 - Tetsuo Ono, Michita Imai:
Reading a Robot's Mind: A Model of Utterance Understanding Based on the Theory of Mind Mechanism. 142-148 - Jeffrey Mark Siskind:
Visual Event Classification via Force Dynamics. 149-155
Constraint Satisfaction
- Roberto J. Bayardo Jr., Joseph Daniel Pehoushek:
Counting Models Using Connected Components. 157-162 - Deborah East, Miroslaw Truszczynski:
DATALOG with Constraints - An Answer-Set Programming System. 163-168 - Narendra Jussien, Olivier Lhomme:
Local Search with Constraint Propagation and Conflict-Based Heuristics. 169-174 - Phokion G. Kolaitis, Moshe Y. Vardi:
A Game-Theoretic Approach to Constraint Satisfaction. 175-181 - Barbara M. Smith, Kostas Stergiou, Toby Walsh:
Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems. 182-187
Game Playing
- Vadim V. Anshelevich:
The Game of Hex: An Automatic Theorem Proving Approach to Game Programming. 189-194 - Ian Frank, David A. Basin, Alan Bundy:
Combining Knowledge and Search to Solve Single-Suit Bridge. 195-200 - Nathan R. Sturtevant, Richard E. Korf:
On Pruning Techniques for Multi-Player Games. 201-207
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
- Bruce M. McLaren, Kevin D. Ashley:
Assessing Relevance with Extensionally Defined Principles and Cases. 316-322 - Thomas Mostek, Kenneth D. Forbus, Cara Meverden:
Dynamic Case Creation and Expansion for Analogical Reasoning. 323-329 - Kazuhiro Otsuka, Tsutomu Horikoshi, Satoshi Suzuki, Haruhiko Kojima:
Memory-Based Forecasting for Weather Image Patterns. 330-336
Computational Complexity of Reasoning
- Alvaro del Val:
The Complexity of Restricted Consequence Finding and Abduction. 337-342 - Alvaro del Val:
Tractable Classes for Directional Resolution. 343-348 - Paolo Liberatore, Marco Schaerf:
Compilability of Abduction. 349-354
Decision Theory
- Craig Boutilier, Raymond Reiter, Mikhail Soutchanski, Sebastian Thrun:
Decision-Theoretic, High-Level Agent Programming in the Situation Calculus. 355-362 - Urszula Chajewska, Daphne Koller, Ronald Parr:
Making Rational Decisions Using Adaptive Utility Elicitation. 363-369 - James Kurien, P. Pandurang Nayak:
Back to the Future for Consistency-Based Trajectory Tracking. 370-377 - Luis E. Ortiz, Leslie Pack Kaelbling:
Sampling Methods for Action Selection in Influence Diagrams. 378-385
Logic
- Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Answering Queries Using Views over Description Logics Knowledge Bases. 386-391 - James P. Delgrande, Torsten Schaub:
A Consistency-Based Model for Belief Change: Preliminary Report. 392-398 - Ian Horrocks, Sergio Tessaris:
A Conjunctive Query Language for Description Logic Aboxes. 399-404
Nonmonotonic Reasoning
- Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
A Flexible Framework for Defeasible Logics. 405-410 - Philippe Besnard, Anthony Hunter:
Towards a Logic-Based Theory of Argumentation. 411-416 - Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran:
Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas. 417-422 - Ian Pratt-Hartmann:
Total Knowledge. 423-428 - Ken Satoh, Hidenori Okamoto:
Computing Circumscriptive Databases by Integer Programming: Revisited. 429-435
Ontology
- Vinay K. Chaudhri, Mark E. Stickel, Jérôme Thoméré, Richard J. Waldinger:
Using Prior Knowledge: Problems and Solutions. 436-442 - Jeff Heflin, James A. Hendler:
Dynamic Ontologies on the Web. 443-449 - Natalya Fridman Noy, Mark A. Musen:
PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment. 450-455
Reasoning about Actions and Time
- Eyal Amir:
(De)Composition of Situation Calculus Theories. 456-463 - Mathias Broxvall, Peter Jonsson:
Disjunctive Temporal Reasoning in Partially Ordered Models of Time. 464-469 - Wes Cowley, Dimitris Plexousakis:
An Interval Algebra for Indeterminate Time. 470-475 - Henrik Grosskreutz, Gerhard Lakemeyer:
cc-Golog: Towards More Realistic Logic-Based Robot Controllers. 476-482 - Sheila A. McIlraith, Richard B. Scherl:
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems. 483-490 - Paul H. Morris, Nicola Muscettola:
Execution of Temporal Plans with Uncertainty. 491-496 - Michael Thielscher:
Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains - and a Case Study. 497-502
Spatial Reasoning
- Brandon Bennett, Anthony G. Cohn, Paolo Torrini, Shyamanta M. Hazarika:
Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions. 503-509 - Ronald W. Ferguson, Kenneth D. Forbus:
GeoRep: A Flexible Tool for Spatial Representation of Line Drawings. 510-516 - Iván Ordóñez, Feng Zhao:
STA: Spatio-Temporal Aggregation with Applications to Analysis of Diffusion-Reaction Phenomena. 517-523
Uncertainty
- Hung Hai Bui, Svetha Venkatesh, Geoff A. W. West:
On the Recognition of Abstract Markov Policies. 524-530 - Uri Lerner, Ronald Parr, Daphne Koller, Gautam Biswas:
Bayesian Fault Detection and Diagnosis in Dynamic Systems. 531-537 - Avi Pfeffer, Daphne Koller:
Semantics and Inference for Recursive Probability Models. 538-544 - Raul Trejo, Vladik Kreinovich, Chitta Baral:
Towards Feasible Approach to Plan Checking under Probabilistic Uncertainty: Interval Methods. 545-550
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 M. 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 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
- Laura Barbulescu, Jean-Paul Watson, L. Darrell Whitley:
Dynamic Representations and Escaping Local Optima: Improving Genetic Algorithms and Local Search. 879-884 - Stefan Edelkamp, Stefan Schrödl:
Localizing A*. 885-890 - David Furcy, Sven Koenig:
Speeding up the Convergence of Real-Time Search. 891-897 - Eyke Hüllermeier:
Change Detection in Heuristic Search. 898-903 - Ulrich Junker:
Preference-Based Search for Scheduling. 904-909 - Richard E. Korf, Weixiong Zhang:
Divide-and-Conquer Frontier Search Applied to Optimal Sequence Alignment. 910-916 - Marius-Calin Silaghi, Djamila Sam-Haroud, Boi Faltings:
Asynchronous Search with Aggregations. 917-922 - Takayuki Yoshizumi, Teruhisa Miura, Toru Ishida:
A* with Partial Expansion for Large Branching Factor Problems. 923-929 - Weixiong Zhang:
Depth-First Branch-and-Bound versus Local Search: A Case Study. 930-935
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. AAAI/IAAI 2000: 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 G. 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
- Gregory Aist:
Helping Children Learn Vocabulary during Computer Assisted Oral Reading. 1100-1101 - Dessa David:
Adaptive Learning Systems: A Model for Business Entrepreneurs to Implement IT. 1102 - István T. Hernádvölgyi:
Automatic Generation of Memory Based Search Heuristics. 1103 - Haythem O. Ismail:
Reasoning and Acting in Time. 1104 - Euna Jeong, Chun-Nan Hsu:
Ontology Integration in XML. 1105 - Frances L. Johnson:
Belief Revision in a Deductively Open Belief Space. 1106 - Ion Muslea, Steven Minton, Craig A. Knoblock:
Selective Sampling with Co-Testing: Preliminary Results. 1107 - Daniel Nikovski:
Grounding State Representations in Sensory Experience for Reasoning and Planning by Mobile Robots. 1108 - Nikunj C. Oza:
Online Ensemble Learning. 1109 - Robert Sim, Gregory Dudek:
Learning Landmarks for Robot Localization. 1110-1111 - Kiri Wagstaff:
Refining Inductive Bias in Unsupervised Learning via Constraints. 1112 - Eric Wilson:
Artificial Intelligence-Based Computer Modeling Tools for Controlling Slag Foaming in Electric Furnaces. 1113
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
- 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. AAAI/IAAI 2000: 1140-1141 - Daniel P. Stormont:
The Blue Swarm. 1142-1143
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-07 23:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
