15. AAAI / 10. IAAI 1998:
Madison,
Wisconsin,
USA
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference,
AAAI 98,
IAAI 98,
July 26-30,
1998,
Madison,
Wisconsin,
USA. AAAI Press / The MIT Press,
1998,
ISBN 0-262-51098-7
AAAI-98 Technical Papers
AAAI-98 Outstanding Papers
Agents
Agent Interaction
Formal Models of Agents' Commitments
Motivation and Emotion
Parallel AI / Agents and Representation
Social Agents
AI and Education
Automated Reasoning
Belief Revision and Inconsistency
Design and Diagnosis
Graphical Probabilistic Models
Model Construction and Analysis
Modeling the Web
Qualitative Modeling
Qualitative Reasoning Techniques
Temporal Reasoning
Theorem Proving
Tractable Inference
Constraint Satisfaction and Search
Analysis of Search
Constraint Satisfaction Problems
- Fahiem Bacchus, Peter van Beek:
On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems.
310-318 BibTeX
- Christian Bliek:
Generalizing Partial Order and Dynamic Backtracking.
319-325 BibTeX
- Berthe Y. Choueiry, Guevara Noubir:
On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems.
326-333 BibTeX
- Matthew L. Ginsberg, Andrew J. Parkes, Amitabha Roy:
Supermodels and Robustness.
334-339 BibTeX
- David Joslin, David P. Clements:
"Squeaky Wheel" Optimization.
340-346 BibTeX
- Javier Larrosa, Pedro Meseguer, Thomas Schiex, Gérard Verfaillie:
Reversible DAC and Other Improvements for Solving Max-CSP.
347-352 BibTeX
- Lionel Lobjois, Michel Lemaître:
Branch and Bound Algorithm Selection by Performance Prediction.
353-358 BibTeX
- Jean-Francois Puget:
A Fast Algorithm for the Bound Consistency of alldiff Constraints.
359-366 BibTeX
- John Thornton, Abdul Sattar:
Using Arc Weights to Improve Iterative Repair.
367-372 BibTeX
- Joachim P. Walser, Ramesh Iyer, Narayan Venkatasubramanyan:
An Integer Local Search Method with Application to Capacitated Production Planning.
373-379 BibTeX
- Jason H. Y. Wong, Ho-Fung Leung:
Extending GENET to Solve Fuzzy Constraint Satisfaction Problems.
380-385 BibTeX
Constraint Satisfaction Problems - Local Search
Constraint Satisfaction Problems - Understanding Intractability
Heuristic Search
Random Approaches to Search
Search and Limited Resources
Search Control in Theorem Proving
Uncertainty Search and Optimization
Evolvable Hardware
Game Playing
Information Extraction
Integrated AI Systems
Intelligent Environments
Planning and Problem Solving
Knowledge Representation
Concepts and Context
Fuzzy Logic
Knowledge Base Design
Representation of Action
Robotics
Time and Representation
Learning
Genetic Algorithm Applications
Inductive Learning
Learning about People
Learning from Sequences
Reinforcement Learning
Natural Language
Grammar and Language
Learning in Natural Language
Natural Language Generation
Natural Language Generation - Argumentation
Nonmonotonic Reasoning
Planning
Frameworks for Plan Generation
Graph Plan
Plan Efficiency
Plan Execution
Plan Recognition
Planning as Satisfiability
Robotics
Human-Robot Interaction
Robot Navigation
Sound Understanding
Innovative Applications of Artificial Intelligence Papers
Deployed Applications
- Rama Akkiraju, Pinar Keskinocak, Sesh Murthy, Frederick Y. Wu:
Multi Machine Scheduling: An Agent-Based Approach.
1013-1019 BibTeX
- Gail Anderson, Andrew Casson-du Mont, Ann Macintosh, Robert Rae, Barry Gleeson:
Producing BT's Yellow Pages with Formation.
1020-1026 BibTeX
- Forest Fisher, Steve A. Chien, Edisanter Lo, Ronald Greeley:
Using Artificial Intelligence Planning to Automate SAR Image Processing for Scientific Data Analysis.
1027-1031 BibTeX
- Richard Helfman, Edmund H. Baur, John Dumer, Tim Hanratty, Holly Ingham:
Turbine Engine Diagnostics (TED): An Expert Diagnostic System for the M1 Abrams Turbine Engine.
1032-1038 BibTeX
- Ingemar A. E. Hulthage, Iain Stobie:
Countrywide Automated Property Evaluation System - CAPES.
1039-1046 BibTeX
- Randolph M. Jones, John E. Laird, Paul E. Nielsen:
Automated Intelligent Pilots for Combat Flight Simulation.
1047-1054 BibTeX
- J. Dale Kirkland, Ted E. Senator, James J. Hayden, Tomasz Dybala, Henry G. Goldberg, Ping Shyr:
The NASD Regulation Advanced Detection System (ADS).
1055-1062 BibTeX
- Alexander Kott, Victor Saks, Albert Mercer:
A New Technique Enables Dynamic Replanning and Rescheduling of Aeromedical Evacuation.
1063-1070 BibTeX
- Richard H. Lathrop, Nicholas R. Steffen, Miriam P. Raphael, Sophia Deeds-Rubin, Michael J. Pazzani, Paul J. Cimoch, Darryl M. See, Jeremiah G. Tilles:
Knowledge-Based Avoidance of Drug-Resistant HIV Mutants.
1071-1078 BibTeX
- Stephen J. J. Smith, Dana S. Nau, Thomas A. Throop:
Success in Spades: Using AI Planning Techniques to Win the World Championship of Computer Bridge.
1079-1086 BibTeX
- Gary M. Weiss, Johannes P. Ros, Anoop Singhal:
ANSWER: Network Monitoring Using Object-Oriented Rules.
1087-1093 BibTeX
Emerging Applications
- Yigal Arens, Weixiong Zhang, Yongwon Lee, Jon Dukes-Schlossberg, Marc Zev:
Warfighter's Information Packager.
1095-1100 BibTeX
- William H. Bares, Joël P. Grégoire, James C. Lester:
Realtime Constraint-Based Cinematography for Complex Interactive 3D Worlds.
1101-1106 BibTeX
- John C. Determan, Greg K. Becker:
Expert System Technology for Nondestructive Waste Assay.
1107-1112 BibTeX
- Eugene Grois, William H. Hsu, Mikhail Voloshin, David C. Wilkins:
Bayesian Network Models for Generation of Crisis Management Training Scenarios.
1113-1120 BibTeX
- Jacek Jarmulak, Eugene J. H. Kerckhoffs, Peter Paul van't Veen:
Hybrid Knowledge Based System for Automatic Classificaton of B-scan Images from Ultrasonic Rail Inspection.
1121-1126 BibTeX
- Dana S. Nau, Stephen J. J. Smith, Kutluhan Erol:
Control Strategies in HTN Planning: Theory Versus Practice.
1127-1133 BibTeX
- James R. Nolan:
A Prototype Application of Fuzzy Logic and Expert Systems in Education Assessment.
1134-1139 BibTeX
- Debra Schreckenghost, Daniel Ryan, Carroll Thronesbery, R. Peter Bonasso, Daniel Poirot:
Intelligent Control of Life Support Systems for Space Habitats.
1140-1145 BibTeX
- Andrew Stranieri, John Zeleznikow:
Split Up: The Use of an Argument Based Knowledge Representation to Meet Expectations of Different Users for Discretionary Decision Making.
1146-1151 BibTeX
- Akira Tsurushima, Kenji Urushima, Daigo Sakata, Hiroyuki Date, Masatomo Nakata, Yoshinobu Adachi, Kazuhisa Takahashi:
An Expert System for Alarm System Planning.
1152-1159 BibTeX
- Wlodek Zadrozny, Catherine G. Wolf, Nanda Kambhatla, Yiming Ye:
Conversation Machines for Transaction Processing.
1160-1166 BibTeX
SIGART / AAAI Doctoral Consortium Abstracts
Student Abstracts
- Joseph Beck:
Learning to Teach with a Reinforcement Learning Agent.
1185 BibTeX
- Brendan Burns:
Genetic Search for Accurate Feature Sets.
1186 BibTeX
- Jesús Cerquides, Ramon López de Mántaras:
A First Analysis of Qualitative Influences and Synergies.
1187 BibTeX
- Jesús Cerquides, Ramon López de Mántaras:
A New Approach to Rule Interest Measures.
1188 BibTeX
- Brian D. Davison:
Classification Using an Online Genetic Algorithm.
1189 BibTeX
- Mark Devaney:
Plan Recognition in Complex Spatial Domains.
1190 BibTeX
- Koji Fujimoto, Nobuo Inui, Yoshiyuki Kotani:
Nested Joint Probability Model for Morphological Analysis and its Grid Pruning.
1191 BibTeX
- Supriyo Ghose:
Generalized A* for Cyclic AND/OR Graphs.
1192 BibTeX
- Tse-Hsin Liu, K. Suzanne Barber:
Selection of Conflict Resolution Strategies in Dynamically Organized Sensible Agent-Based Systems.
1193 BibTeX
- Amol Dattatraya Mali:
Refinement-Based Planning as Satisfiability.
1194 BibTeX
- Ryan McKay, K. Suzanne Barber:
Goal and Responsibility Allocation in Sensible Agent-Based Systems.
1195 BibTeX
- Lisa N. Michaud:
Tutorial Response Generation in a Writing Tool for Deaf Learners of English.
1196 BibTeX
- Ted Pedersen:
Dependent Bigram Identification.
1197 BibTeX
- Ted Pedersen:
Raw Corpus Word Sense Disambiguation.
1198 BibTeX
- Ken Samuel:
Discourse Learning: Dialogue Act Tagging with Transformation-Based Learning.
1199 BibTeX
- Tobias Scheffer, Thorsten Joachims:
Estimating the Expected Error of Empirical Minimizers for Model Selection.
1200 BibTeX
- Gordon T. Shippey, J. William Murdock, Ashwin Ram:
Pluto: Managing Multistrategy Learning through Planning.
1201 BibTeX
- William D. Smart, Leslie Pack Kaelbling:
A Framework for Reinforcement Learning on Real Robots.
1202 BibTeX
- Sheila Tejada, Craig A. Knoblock, Steven Minton:
Handling Inconsistency for Multi-Source Integration.
1203 BibTeX
- Rodrigo M. M. Ventura, Carlos A. Pinto-Ferreira:
Emotion-based Agents.
1204 BibTeX
- Karl Weinmeister:
DL-$elect: A Decision-List-Based Data-Mining System.
1205 BibTeX
- Robert E. Wray III, John E. Laird:
Ensuring Reasoning Consistency in Hierarchical Architectures.
1206 BibTeX
- Kathryn Wright, Mihai Boicu, Seok Won Lee, Gheorghe Tecuci:
Building Agents from Shared Ontologies Through Apprenticeship Multistrategy Learning.
1207 BibTeX
- Holly A. Yanco:
Development of Outdoor Navigation for a Robotic Wheelchair System.
1208 BibTeX
Invited Talk
Copyright © Sat May 16 22:55:30 2009
by Michael Ley (ley@uni-trier.de)