16. AAAI / 11. IAAI 1999: Orlando, Florida, USA
Jim Hendler, Devika Subramanian (Eds.): 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
- James E. Hanson, Jeffrey O. Kephart: Combatting Maelstroms in Networks of Communicating Agents. 17-23
- David Jensen, Michael Atighetchi, Régis Vincent, Victor R. Lesser: Learning Quantitative Knowledge for Multiagent Coordination. 24-31
- Fergus Nolan, Jarek Wilkiewicz, Dipankar Dasgupta, Stan Franklin: Evolutionary Economic Agents. 38-43
- Michael 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
- 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
- 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
- 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
- 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
- Jean-Michel Richer, Jean-Jacques Chabrier: Sacre: a Constraint Satisfaction Problem Based Theorem Prover. 306-311
Learning
- Mary Elaine Califf, Raymond J. Mooney: Relational Learning of Pattern-Match Rules for Information Extraction. 328-334
- 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
- Michael Lindenbaum, Shaul Markovitch, Dmitry Rusakov: Selective Sampling for Nearest Neighbor Classifiers. 366-371
- Tim Oates, David 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
Model-Based Reasoning
- Michael Anderson: Towards Diagram Processing: A Diagrammatic Information System. 394-401
- 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 M. 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 McKeown, Judith Klavans, Vasileios Hatzivassiloglou, Regina Barzilay, Eleazar Eskin: Towards Multidocument Summarization by Reformulation: Progress and Prospects. 453-460
- 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
- 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
- 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
- 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
- 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 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
Satisfiability
- 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
- 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
- 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
- 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
- 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
- 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
- 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 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
- 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
- Richard A. Frost: A Natural-Language Speech Interface Constructed Entirely as a Set of Executable Specifications. 908-909
- Fernando Gomez, Carlos Segami: A System for the Semantic Interpretation of Unrestricted Domains using WordNet. 910-911
- Benjamin N. Grosof: DIPLOMAT: Compiling Prioritized Default Rules into Ordinary Logic Programs, for E-Commerce Applications. 912-913
- Charles B. McVey, David P. Clements, Barton C. Massey, Andrew J. Parkes: Worldwide Aeronautical Route Planner. 916-917
- Sanguk Noh, Piotr J. Gmytrasiewicz: Demonstration of Rational Communicative Behavior in Coordinated Defense. 920-921
- Tuomas Sandholm: eMediator: a Next Generation Electronic Commerce Server. 923-924
- Barbara Starr, Vinay K. Chaudhri, Boris Katz, Benjamin M. Good, Jérôme Thoméré: HIKE (HPKB Integrated Knowledge Environment) - A Query Interface and Integrated Knowledge Environment for HPKB. 927-928
- Michael van Lent, John E. Laird, Josh Buckman, Joe Hartford, Steve Houchard, Kurt Steinkraus, Russ Tedrake: Intelligent Agents in Computer Games. 929-930
Robot Competition and Exhibition
- Ercan U. Acar, Morgan Simmons, Michael Rosenblatt, Maayan Roth, Mary Berna, Yonatan Mittlefehldt, Howie Choset: Sensor Based Coverage of Unknown Environments for Land Mine Detection. 932-933
- William Adams, Dennis Perzanowski, Alan C. Schultz: A Natural Interface and Unified Skills for a Mobile Robot. 934-935
- Frank Blecha, Tim Beese, Damon Kuntz, Jonathan Cameron, David Sexton, David A. Gustafson: Kansas State Robotics. 936
- Daniel P. Stormont: Web-Based Mobile Robot Simulator. 937-938
1999 SIGART/AAAI Doctoral Consortium
- Eyal Amir: Elaboration Tolerance of Logical Theories. 940
- Valentina Bayer: Approximation Algorithms for Solving Cost Observable Markov Decision Processes. 941
- Virgínia V. B. Biris Brilhante: Using Formal Meta-Data Descriptions for Automated Ecological Modeling. 942
- Marcin Chady: Modelling Higher Cognitive Functions with Hebbian Cell Assemblies. 943
- Nancy Chang: Learning form-meaning mappings for language. 944
- Eman El-Sheikh: Development of a Methodology and Software Shell for the Automatic Generation of Intelligent Tutoring Systems from Existing Generic Task-based Expert Systems. 945
- Daishi Harada: Towards Bounded Optimal Meta-Level Control: A Case Study. 946
- Gal A. Kaminka: Execution Monitoring and Diagnosis in Multi-Agent Environments. 947
- Maria Lapata: Corpus-Based Induction of Lexical Representation and Meaning. 948
- Cen Li: Data Driven Profiling of Dynamic System Behavior using Hidden Markov Model based Combined Unsupervised and Supervised Classification. 949
- Stephen M. Majercik: Planning Under Uncertainty via Stochastic Statisfiability. 950
- Dragos D. Margineantu: Applying Supervised Learning to Real-World Problems. 951
- Shimei Pan: Modeling Prosody Automatically in Concept-to-Speech Generation. 952
- Hanna Pasula: A Bayesian approach to object identification. 953
- Hana Rudová: Over-Constrained Systems. 954
- Tran Cao Son: Reasoning about Sensing Actions and Reactivity. 955
Student Abstracts
- Steve P. Chadwick: Automatic Sample-by-sample Model Selection Between Two Off-the-shelf Classifiers. 958
- Ravindra N. Chittimoori, Jesus A. Gonzalez, Lawrence B. Holder: Structural Knowledge Discovery in Chemical and Spatio-Temporal Databases. 959
- Jacob Eisenstein: Learning Design Guidelines by Theory Refinement. 960
- Shaun Gittens, Richard Goodwin, Jayant Kalagnanam, Sesh Murthy: Using Neural Networks in Agent Teams to Speed Up Solution Discovery for Hard Multi-Criteria Problems. 961
- Anuj Goel, K. Suzanne Barber: OBDD-Based Planning with Real-Valued Variables in Non-Deterministic Environments. 962
- David C. Han, Tse-Hsin Liu, K. Suzanne Barber: A Framework for Problem Solving Activities in Multi-Agent Systems. 964
- Sonia M. Leach, Lawrence Hunter, David Landsman: Comparison of Clustering Metrics and Unsupervised Learning Algorithms on Genome-Wide Gene Expression Level Data. 966
- Seok Won Lee, Gheorghe Tecuci: Knowledge Base Revision through Exception-driven Discovery and Learning. 967
- Matthew V. Mahoney: Text Compression as a Test for Artificial Intelligence. 970
- Amol Dattatraya Mali: Externalizing Internal State. 971
- Amol Dattatraya Mali: Hybrid Propositional Encodings of Planning. 972
- Subramani Mani, Gregory F. Cooper: Causal Discovery from Population-Based Infant Birth and Death Records. 973
- Milyn C. Moy: Interacting with a Pet Robot using Hand Gestures. 974
- Ion Muslea, Steven Minton, Craig A. Knoblock: Active Learning for Hierarchical Wrapper Induction. 975
- Karl Pfleger: Learning of Compositional Hierarchies By Data-Driven Chunking. 977
- Joseph Phillips: A representation reducing approach to scientific discovery. 978
- Andreas L. Prodromidis, Salvatore J. Stolfo: Minimal Cost Complexity Pruning of Meta-Classifiers. 979
- Grace W. Rumantir: Comparison of Second-order Polynomial Model Selection Methods: an Experimental Survey. 980
- Bryan Singer, Manuela M. Veloso: Learning State Features from Policies to Bias Exploration in Reinforcement Learning. 981
- Biplav Srivastava: Investigating the Effect of Relevance and Reachability Constraints on SAT Encodings of Planning. 982
- Sheila Tejada, Craig A. Knoblock, Steven Minton: Learning to Handle Inconsistency for Multi-Source Integration. 983
- Muhammad Afzal Upal: Learning rewrite rules to improve plan quality. 984
Invited Talk
- Susan L. Epstein: Game Playing: The Next Moves. 987-993
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team