default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th AAAI / 11th IAAI 1999: Orlando, Florida, USA
- Jim Hendler, Devika Subramanian:
Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, July 18-22, 1999, Orlando, Florida, USA. AAAI Press / The MIT Press 1999, ISBN 0-262-51106-1
AAAI-99 Technical Papers
Agents
- Martin Andersson, Tuomas Sandholm:
Time-Quality Tradeoffs in Reallocative Negotiation with Combinatorial Contract Types. 3-10 - Sviatoslav B. Brainov, Tuomas Sandholm:
Power, Dependence and Stability in Multiagent Plans. 11-16 - James E. Hanson, Jeffrey O. Kephart:
Combatting Maelstroms in Networks of Communicating Agents. 17-23 - David D. Jensen, Michael Atighetchi, Régis Vincent, Victor R. Lesser:
Learning Quantitative Knowledge for Multiagent Coordination. 24-31 - Dov Monderer, Moshe Tennenholtz:
Distributed Games: From Mechanisms to Protocols. 32-37 - Fergus Nolan, Jarek Wilkiewicz, Dipankar Dasgupta, Stan Franklin:
Evolutionary Economic Agents. 38-43 - Tuomas Sandholm, Nir Vulkan:
Bargaining with Deadlines. 44-51 - Michael J. Wooldridge:
Verifying that Agents Implement a Communication Language. 52-57
Al & the World Wide Web
- William W. Cohen:
Recognizing Structure in Web Pages using Similarity Queries. 59-66 - Marc T. Friedman, Alon Y. Levy, Todd D. Millstein:
Navigational Plans For Data Integration. 67-73 - Nicholas Kushmerick:
Regression testing for wrapper maintenance. 74-79 - Wanda Pratt, Marti A. Hearst, Lawrence M. Fagan:
A Knowledge-Based Approach to Organizing Retrieved Documents. 80-85 - Yuko Sakurai, Makoto Yokoo, Shigeo Matsubara:
A Limitation of the Generalized Vickrey Auction in Electronic Commerce: Robustness against False-name Bids. 86-92 - Stefan Wermter, Christo Panchev, Garen Arevian:
Hybrid Neural Plausibility Networks for News Agents. 93-98
Cognitive Systems
- Janet Aisbett, Greg Gibbon:
Cognitive Classification. 100-107 - Paul R. Cohen, Mary Litch:
What are contentful mental states? Dretske's theory of mental content viewed in the light of robot learning and planning algortihms. 108-113 - Brent H. Daniel, William H. Bares, Charles B. Callaway, James C. Lester:
Student-Sensitive Multimodal Explanation Generation for 3D Learning Environments. 114-120 - Srinivas Narayanan:
Moving Right Along: A Computational Model of Metaphoric Reasoning about Events. 121-127 - Yujian Zhou, Reva Freedman, Michael Glass, Joel A. Michael, Allen A. Rovick, Martha W. Evens:
Delivering Hints in a Dialogue-Based Intelligent Tutoring System. 128-134
Constraint Satisfaction Problems
- John N. Hooker, Greger Ottosson, Erlendur S. Thorsteinsson, Hak-Jin Kim:
On Integrating Constraint Propagation and Linear Programming for Combinatorial Optimization. 136-141 - Dimitris Papadias, Panos Kalnis, Nikos Mamoulis:
Hierarchical Constraint Satisfaction in Spatial Databases. 142-147 - Yan Qu, Steve Beale:
A Constraint-Based Model for Cooperative Response Generation in Information Dialogues. 148-155 - Noam M. Shazeer, Michael L. Littman, Greg A. Keim:
Solving Crossword Puzzles as Probabilistic Constraint Satisfaction. 156-162 - Kostas Stergiou, Toby Walsh:
Encodings of Non-Binary Constraint Satisfaction Problems. 163-168 - Gérard Verfaillie, David Martinez, Christian Bessière:
A Generic Customizable Framework for Inverse Local Consistency. 169-174 - Yuanlin Zhang, Roland H. C. Yap, Joxan Jaffar:
Functional Elimination and 0/1/All Constraints. 175-180
Hybrid Methods
- Isamu Kajitani, Tsutomu Hoshino, Nobuki Kajihara, Masaya Iwata, Tetsuya Higuchi:
An Evolvable Hardware Chip and Its Application as a Multi-Function Prosthetic Hand Controller. 182-187 - Miroslav Kubat, Martin Cooperson Jr.:
Initializing RBF-Networks with Small Subsets of Training Examples. 188-193 - Hiroaki Kudo, Tsuyoshi Yamamura, Noboru Ohnishi, Shin Kobayashi, Noboru Sugie:
A Neural Network Model of Dynamically Fluctuating Perception of Necker Cube as well as Dot Patterns. 194-199 - Marco Piastra:
What's in a Fuzzy Set? 200-207 - Rahul Sukthankar, Robert G. Stockton:
ARGUS: An Automated Multi-Agent Visitor Identification System. 208-213 - Laurent Ughetto, Didier Dubois, Henri Prade:
Implicative and conjunctive fuzzy rules - A tool for reasoning from knowledge and examples. 214-219
Knowledge Acquisition
- Paul R. Cohen, Vinay K. Chaudhri, Adam Pease, Robert Schrag:
Does Prior Knowledge Facilitate the Development of Knowledge-based Systems? 221-226 - Susan Craw, Robin Boswell:
Representing Problem-Solving for Knowledge Refinement. 227-234 - Jihie Kim, Yolanda Gil:
Deriving Expectations to Guide Knowledge Base Creation. 235-241 - Marcelo Tallis, Yolanda Gil:
Designing Scripts to Guide Users in Modifying Knowledge-based Systems. 242-249 - Gheorghe Tecuci, Mihai Boicu, Kathryn Wright, Seok Won Lee, Dorin Marcu, Michael Bowman:
An Integrated Shell and Methodology for Rapid Development of Knowledge-Based Agents. 250-257
Knowledge Representation
- Alvaro del Val:
A New Method for Consequence Finding and Compilation in Restricted Languages. 259-264 - Aditya Ghose, Srinivas Padmanabhuni:
Constraint-based integrity checking in abductive and non-monotonic extensions of constraint logic programming. 265-270 - Udo Hahn, Stefan Schulz, Martin Romacker:
Partonomic Reasoning as Taxonomic Reasoning in Medicine. 271-276 - Amanda M. Holland-Minkley, Regina Barzilay, Robert L. Constable:
Verbalization of High-Level Formal Proofs. 277-284 - Jaap Kamps:
On Criteria for Formal Theory Building: Applying Logic and Automated Reasoning Tools to the Social Sciences. 285-290 - Jorge Lobo, Randeep Bhatia, Shamim A. Naqvi:
A Policy Description Language. 291-298 - Michael J. Maher, Guido Governatori:
A Semantic Decomposition of Defeasible Logics. 299-305 - Jean-Michel Richer, Jean-Jacques Chabrier:
Sacre: a Constraint Satisfaction Problem Based Theorem Prover. 306-311
Learning
- Xavier Boyen, Daphne Koller:
Exploiting the Architecture of Dynamic Systems. 313-320 - Tom Bylander, Dennis Hanzlik:
Estimating Generalization Error Using Out-of-Bag Estimates. 321-327 - Mary Elaine Califf, Raymond J. Mooney:
Relational Learning of Pattern-Match Rules for Information Extraction. 328-334 - William W. Cohen, Yoram Singer:
A Simple, Fast, and Effictive Rule Learner. 335-342 - Dieter Fox, Wolfram Burgard, Frank Dellaert, Sebastian Thrun:
Monte Carlo Localization: Efficient Position Estimation for Mobile Robots. 343-349 - Thomas R. Ioerger:
Detecting Feature Interactions from Accuracies of Random Feature Subsets. 350-357 - Neal Lesh, James F. Allen:
Simulation-based inference for plan monitoring. 358-365 - Michael Lindenbaum, Shaul Markovitch, Dmitry Rusakov:
Selective Sampling for Nearest Neighbor Classifiers. 366-371 - Tim Oates, David D. Jensen:
Toward a Theoretical Understanding of Why and When Decision Tree Pruning Algorithms Fail. 372-378 - David W. Opitz:
Feature Selection for Ensembles. 379-384 - Dale Schuurmans, Lloyd G. Greenwald:
Efficient exploration for optimizing immediate reward. 385-392
Model-Based Reasoning
- Michael Anderson:
Towards Diagram Processing: A Diagrammatic Information System. 394-401 - Christopher Bailey-Kellogg, Feng Zhao:
Influence-Based Model Decomposition. 402-409 - Ravi Kapadia, Gautam Biswas:
Model-based Support for Mutable Parametric Design Optimization. 410-415 - Helmut Prendinger, Mitsuru Ishizuka:
Qualifying the Expressivity/Efficiency Tradeoff: Reformation-Based Diagnosis. 416-421
Natural Language and Information Retrieval
- Claire Cardie, David R. Pierce:
The Role of Lexicalization and Pruning for Base Noun Phrase Grammars. 423-430 - Joyce Yue Chai, Alan W. Biermann, Curry I. Guinn:
Two Dimensional Generalization in Information Extraction. 431-438 - Nathaniel Good, J. Ben Schafer, Joseph A. Konstan, Al Borchers, Badrul Munir Sarwar, Jonathan L. Herlocker, John Riedl:
Combining Collaborative Filtering with Personal Agents for Better Recommendations. 439-446 - Vladimir A. Kulyukin:
Application-Embedded Retrieval from Distributed Free-Text Collections. 447-452 - Kathleen R. McKeown, Judith Klavans, Vasileios Hatzivassiloglou, Regina Barzilay, Eleazar Eskin:
Towards Multidocument Summarization by Reformulation: Progress and Prospects. 453-460 - Rada Mihalcea, Dan I. Moldovan:
An Automatic Method for Generating Sense Tagged Corpora. 461-466 - Vibhu O. Mittal, Mark Kantrowitz, Jade Goldstein, Jaime G. Carbonell:
Selecting Text Spans for Document Summaries: Heuristics and Metrics. 467-473 - Ellen Riloff, Rosie Jones:
Learning Dictionaries for Information Extraction by Multi-Level Bootstrapping. 474-479 - Hirotoshi Taira, Masahiko Haruno:
Feature Selection in SVM Text Categorization. 480-486 - Cynthia A. Thompson, Raymond J. Mooney:
Automatic Construction of Semantic Lexicons for Learning Natural Language Interfaces. 487-493
Planning
- Bradley J. Clement, Edmund H. Durfee:
Theory for Coordinating Concurrent Hierarchical Planning Agents Using Summary Information. 495-502 - Alfonso Gerevini, Ivan Serina:
Fast Planning through Greedy Action Graphs. 503-510 - Yi-Cheng Huang, Bart Selman, Henry A. Kautz:
Control Knowledge in Planning: Benefits and Tradeoffs. 511-517 - Stephen S. Intille, Aaron F. Bobick:
A Framework for Recognizing Multi-Agent Action from Visual Evidence. 518-525 - Henry A. Kautz, Joachim P. Walser:
State-space Planning by Integer Optimization. 526-533 - Amnon Lotem, Dana S. Nau, James A. Hendler:
Using Planning Graphs for Solving HTN Planning Problems. 534-540 - Omid Madani, Steve Hanks, Anne Condon:
On the Undecidability of Probabilistic Planning and Infinite-Horizon Partially Observable Markov Decision Problems. 541-548 - Stephen M. Majercik, Michael L. Littman:
Contingent Planning Under Uncertainty via Stochastic Satisfiability. 549-556 - Amol Dattatraya Mali, Subbarao Kambhampati:
On the utility of Plan-space (Causal) Encodings. 557-563 - Abdel-Illah Mouaddib:
Anytime Coordination for Progressive Planning Agents. 564-569 - Karen L. Myers, Thomas J. Lee:
Generating qualitatively Different Plans througt Metatheoretic Biases. 570-576 - Nilufer Onder, Martha E. Pollack:
Conditional, Probabilistic Planning: A Unifying Algorithm and Effective Search Control Mechanisms. 577-584 - Peter van Beek, Xinguang Chen:
CPlan: A Constraint Programming Approach to Planning. 585-590 - Vincent Vidal, Pierre Régnier:
Total Order Planning is More Efficient than we Thought. 591-596 - R. Michael Young:
Cooperative Plan Identification: Constructing Concise and Effective Plan Descriptions. 597-604 - Terry Zimmerman, Subbarao Kambhampati:
Exploiting Symmetry in the Planning graph via Explanation-Guided Search. 605-611
Robotics
- Tara A. Estlin, Alexander G. Gray, Tobias Mann, Gregg R. Rabideau, Rebecca Castaño, Steve A. Chien, Eric Mjolsness:
An Integrated System for Multi-Rover Scientific Exploration. 613-620 - Toshihiro Matsui, Hideki Asoh, John Fry, Yoichi Motomura, Futoshi Asano, Takio Kurita, Isao Hara, Nobuyuki Otsu:
Integrated Natural Spoken Dialogue System of Jijo-2 Mobile Robot for Office Services. 621-627 - Milyn C. Moy:
Gesture-Based Interaction with a Pet Robot. 628-633 - Michael T. Rosenstein, Paul R. Cohen:
Continuous Categories For a Mobile Robot. 634-640
Satisfiability
- Olivier Bailleux, Pierre Marquis:
DISTANCE-SAT: Complexity and Algorithms. 642-647 - Ian P. Gent, Toby Walsh:
Beyond NP: the QSAT phase transition. 648-653 - Ian P. Gent, Holger H. Hoos, Patrick Prosser, Toby Walsh:
Morphing: Combining Structure and Randomness. 654-660 - Holger H. Hoos:
On the Run-time Behaviour of Stochastic Local Search Algorithms for SAT. 661-666 - Michael L. Littman:
Initial Experiments in Stochastic Satisfiability. 667-672 - Zhe Wu, Benjamin W. Wah:
Trap Escaping Strategies in Discrete Lagrangian Methods for Solving Hard Satisfiability and Maximum Satisfiability Problems. 673-678
Scheduling
- J. Christopher Beck, Mark S. Fox:
Scheduling Alternative Activities. 680-687 - Jean-Paul Watson, Laura Barbulescu, Adele E. Howe, L. Darrell Whitley:
Algorithm Performance and Problem Structure for Flow-shop Scheduling. 688-695
Search
- Darse Billings, Lourdes Peña Castillo, Jonathan Schaeffer, Duane Szafron:
Using Probabilistic Knowledge and Simulation to Play Poker. 697-703 - Robert C. Holte, István T. Hernádvölgyi:
A Space-Time Tradeoff for Memory-Based Heuristics. 704-709 - Greg A. Keim, Noam M. Shazeer, Michael L. Littman, Sushant Agarwal, Catherine M. Cheves, Joseph Fitzgerald, Jason Grosland, Fan Jiang, Shannon Pollard, Karl Weinmeister:
PROVERB: The Probabilistic Cruciverbalist. 710-717 - Sven Koenig, Boleslaw K. Szymanski:
Value-Update Rules for Real-Time Search. 718-724 - John W. Romein, Aske Plaat, Henri E. Bal, Jonathan Schaeffer:
Transposition Table Driven Work Scheduling in Distributed Search. 725-731
Tractable Reasoning
- Salem Benferhat, Didier Dubois, Odile Papini:
A sequential reversible belief revision method based on polynomials. 733-738 - James P. Delgrande, Arvind Gupta, Tim Van Allen:
Point-Based Approaches to Qualitative Temporal Reasoning. 739-744 - Manolis Koubarakis, Spiros Skiadopoulos:
Querying Temporal Constraint Networks in PTIME. 745-750 - Zbigniew Stachniak:
Polarity Guided Tractable Reasoning. 751-758
Vision
- Carla E. Brodley, Avinash C. Kak, Chi-Ren Shyu, Jennifer G. Dy, Lynn S. Broderick, Alex M. Aisen:
Content-Based Retrieval from Medical Image Databases: A Synergy of Human Interaction, Machine Learning and Computer Vision. 760-767 - Yukiko Nakagawa, Hiroshi G. Okuno, Hiroaki Kitano:
Using Vision to Improve Sound Source Separation. 768-775
Innovative Applications of Artificial Intelligence Papers
Deployed Applications
- Vadim Bulitko, David C. Wilkins:
Automated Instructor Assistant for Ship Damage Control. 778-785 - Andy Hon Wai Chun, Steve Ho Chuen Chan, Francis Ming Fai Tsang, Dennis Wai Ming Yeung:
HKIA SAS: A Constraint-Based Airport Stand Allocation System Developed with Software Components. 786-793 - André Hübner, Mario Lenz, Roman Borch, Michael Posthoff:
Last Minute Travel Application. 794-798 - Eero Hyvönen, Stefano De Pascale:
A New Basis for Spreadsheet Computing: Interval Solver for Microsoft Excel. 799-806 - GeunSik Jo, Kang-Hee Lee, Hwi-Yoon Lee, Sang-Ho Hyun:
Ramp Activity Expert System for Scheduling and Co-ordination at an Airport. 807-812 - Gregg R. Rabideau, Steve A. Chien, Jason Willis, Tobias Mann:
Using Iterative Repair to Automate Planning and Scheduling of Shuttle Payload Operations. 813-820 - Nestor Rychtyckyj:
DLMS: Ten Years of AI for Vehicle Assembly Process Planning. 821-828 - Gil Tidhar, Clinton Heinze, Simon Goss, Graeme Murray, Dino Appla, Ian J. Lloyd:
Using Intelligent Agents in Military Simulation or "Using Agents Intelligently". 829-836
Emerging Applications
- Slim Abdennadher, Hans Schlenker:
Nurse Scheduling using Constraint Logic Programming. 838-843 - Robin D. Burke:
The Wasabi Personal Shopper: A Case-Based Recommender System. 844-849 - Joyce Yue Chai, Alan W. Biermann:
The Use of Word Sense Disambiguation in an Information Extraction System. 850-855 - Forest Fisher, Tara A. Estlin, Darren Mutz, Steve A. Chien:
Using Artificial Intelligence Planning to Generate Antenna Tracking Plans. 856-863 - Robert C. Kohout, Kutluhan Erol:
In-Time Agent-Based Vehicle Routing with a Stochastic Improvement Heuristic. 864-869 - Héctor Muñoz-Avila, David W. Aha, Len Breslow, Dana S. Nau:
HICAP: An Interactive Case-Based Planning Architecture and its Application to Noncombatant Evacuation Operations. 870-875 - Karen L. Myers, Nina B. Zumel, Pablo Garcia:
Automated Capture of Rationale for the Detailed Design Process. 876-883 - M. V. Nagendra Prasad, Joseph F. McCarthy:
A Multi-Agent System for Meting Out Influence in an Intelligent Environment. 884-890 - Manuela M. Veloso, Michael H. Bowling, Sorin Achim, Kwun Han, Peter Stone:
CMUnited-98: A Team of Robotic Soccer Agents. 891-896
AAAI-99 Intelligent Systems Demos
- K. Suzanne Barber, Anuj Goel, David C. Han, Joonoo Kim, Tse-Hsin Liu, Cheryl E. Martin, Ryan McKay:
Sensible Agents: Demonstration of Dynamic Configuration of Agent Organizations for Responsive Planning Operations. 898-899 - Mihai Boicu, Kathryn Wright, Dorin Marcu, Seok Won Lee, Michael Bowman, Gheorghe Tecuci:
The Disciple Integrated Shell and Methodology for Rapid Development of Knowledge-Based Agents. 900-901 - Marek J. Druzdzel:
SMILE: Structural Modeling, Inference, and Learning Engine and GeNIE: A Development Environment for Graphical Decision-Theoretic Models. 902-903