Abstract is missing.
- Complexity of K-Tree Structured Constraint Satisfaction ProblemsEugene C. Freuder. 4-9
- Tree Decomposition with Applications to Constraint ProcessingItay Meiri, Judea Pearl, Rina Dechter. 10-16
- Solving Large-Scale Constraint-Satisfaction and Scheduling Problems Using a Heuristic Repair MethodSteven Minton, Mark D. Johnston, Andrew B. Philips, Philip Laird. 17-24
- Dynamic Constraint Satisfaction ProblemsSanjay Mittal, Brian Falkenhainer. 25-32
- An Algebraic Approach to Conflict Resolution in PlanningQiang Yang. 40-45
- Some Applications of Graph Bandwidth to Constraint Satisfaction ProblemsRamin Zabih. 46-51
- An Organizational Approach to Adaptive Production SystemsToru Ishida, Makoto Yokoo, Les Gasser. 52-58
- The Design of a Marker Passing Architecture for Knowledge ProcessingWing Lee, Dan I. Moldovan. 59-64
- A Parallel Asynchronous Distributed Production SystemJames G. Schmolze, Suraj Goel. 65-71
- Distributed Truth MaintenanceDavid Murray Bridgeland, Michael N. Huhns. 72-77
- DARES: A Distributed Automated REasoning SystemSusan E. Conry, D. J. MacIntosh, R. A. Meyer. 78-85
- A Hierarchical Protocol for Coordinating Mulitagent BehaviorsEdmund H. Durfee, Thomas A. Montgomery. 86-93
- On Acting TogetherHector J. Levesque, Philip R. Cohen, José H. T. Nunes. 94-99
- Negotiation and Conflict Resolution in Non-Cooperative DomainsGilad Zlotkin, Jeffrey S. Rosenschein. 100-105
- Probabilistic Semantics for Cost Based AbductionEugene Charniak, Solomon Eyal Shimony. 106-111
- Two Views of Belief: Belief as Generalized Probability and Belief as EvidenceJoseph Y. Halpern, Ronald Fagin. 112-119
- The Belief Calculus and Uncertain ReasoningYen-Teh Hsia. 120-125
- Symbolic Probabilistic Inference in Belief NetworksRoss D. Shachter, Bruce D Ambrosio, Brendan Del Favero. 126-131
- An Approach to Reasoning About Continuous Change for Applications in PlanningThomas Dean, Greg Siegle. 132-137
- Incremental, Approximate PlanningCharles Elkan. 145-150
- Admissible Criteria for Loop Control in PlanningRoy Feldman, Paul Morris. 151-157
- Practical Temporal ProjectionSteve Hanks. 158-163
- Synthesis of Reactive Plans for Multi-Path EnvironmentsFroduald Kabanza. 164-169
- Mapping and Retrieval During Plan Reuse: A Validation Structure Based ApproachSubbarao Kambhampati. 170-175
- A Theory of Plan ModificationSubbarao Kambhampati. 176-182
- The STRIPS Assumption for Planning Under UncertaintyMichael P. Wellman. 198-203
- ABTWEAK: Abstracting a Nonlinear, Least Commitment PlannerQiang Yang, Josh D. Tenenberg. 204-209
- Search Lessons Learned from Crossword PuzzlesMatthew L. Ginsberg, Michael Frank, Michael P. Halpin, Mark C. Torrance. 210-215
- Iterative BroadeningMatthew L. Ginsberg, William D. Harvey. 216-220
- Path-Focused Duplication: A Search Procedure for General MatingsSunil Issar. 221-226
- Consistent Linear Speedups to a First Solution in Parallel State-Space SearchVikram A. Saletore, Laxmikant V. Kalé. 227-233
- Mechanizing Inductive ReasoningEmmanuel Kounalis, Michaël Rusinowitch. 240-245
- Skolem Functions and Equality in Automated DeductionWilliam McCune. 246-251
- Automatically Generating Universal Attachments Through CompilationKaren L. Myers. 252-257
- Solving Term InequalitiesGerald E. Peterson. 258-263
- Exploiting Locality in a TMSJohan de Kleer. 264-271
- Computing Stable Models by Using the ATMSKave Eshghi. 272-277
- Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance SystemUlrich Junker, Kurt Konolige. 278-283
- Maintaining Consistency in a Stratified Production System ProgramLouiqa Raschid. 284-289
- Integrating Planning and Acting in a Case-Based FrameworkKristian J. Hammond, Timothy M. Converse. 292-297
- A Method of Calculating the Measure of Salience in Understanding MetaphorsMakoto Iwayama, Takenobu Tokunaga, Hozumi Tanaka. 298-303
- Distributed Cases for Case-Based Reasoning: Facilitating Use of Multiple CasesMichael Redmond. 304-309
- Validated Retrieval in Case-Based ReasoningEvangelos Simoudis, James Miller. 310-315
- Model-Based Diagnosis of Planning FailuresLawrence Birnbaum, Gregg Collins, Michael Freed, Bruce Krulwich. 318-323
- Characterizing DiagnosesJohan de Kleer, Alan K. Mackworth, Raymond Reiter. 324-330
- Physical Impossibility Instead of Fault ModelsGerhard Friedrich, Georg Gottlob, Wolfgang Nejdl. 331-336
- On the Role of Coherence in Abductive ExplanationHwee Tou Ng, Raymond J. Mooney. 337-342
- Abductive and Default Reasoning: A Computational CoreBart Selman, Hector J. Levesque. 343-348
- Interaction-Based Invention: Designing Novel Devices from First PrinciplesBrian C. Williams. 349-356
- Efficient Diagnosis of Multiple Disorders Based on a Symptom Clustering ApproachThomas D. Wu. 357-364
- QPC: A Compiler from Physical Models into Qualitative Differential EquationsJames M. Crawford, Adam Farquhar, Benjamin Kuipers. 365-372
- Dynamic Acioss-Time Measurement InterpretationDennis DeCoste. 373-379
- Self-Explanatory Simulations: An Integration of Qualitative and Quantitative KnowledgeKenneth D. Forbus, Brian Falkenhainer. 380-387
- Obtaining Quantitative Predictions from Monotone RelationshipsJoseph L. Hellerstein. 388-394
- Shifting Ontological Perspectives in Reasoning About Physical SystemsZheng-Yang Liu, Arthur M. Farley. 395-400
- Qualitative Reasoning with Microscopic TheoriesShankar A. Rajamoney, Sang Hoe Koo. 401-406
- Approximation ReformulationsDaniel S. Weld. 407-412
- Finding the Average Rates of Change in Repetitive BehaviorAlexander S. Yeh. 413-418
- Towards a System Architecture Supporting Contextualized LearningGerhard Fischer, Andreas C. Lemke, Raymond McCall. 420-425
- Backward Model Tracing: An Explanation-Based Approach for Reconstructing Student ReasoningDanilo Fum, Paolo Giangrandi, Carlo Tasso. 426-433
- A Blackboard-based Dynamic Instructional PlannerWilliam R. Murray. 434-441
- Coordinating Text and Graphics in Explanation GenerationSteven Feiner, Kathleen McKeown. 442-449
- Avoiding Unwanted Conversational Implicatures in Text and GraphicsJoseph Marks, Ehud Reiter. 450-456
- Pointing: A Way Toward Explanation DialogueJohanna D. Moore, William R. Swartout. 457-464
- A Cooperative Problem Solving System for User Interface DesignAndreas C. Lemke, Gerhard Fischer. 479-484
- Models of Plans to Support Communication: An Initial ReportKaren E. Lochbaum, Barbara J. Grosz, Candace L. Sidner. 485-490
- A Collaborative Interface for Editing Large Knowledge BasesLoren G. Terveen, David A. Wroblewski. 491-496
- An Experiment in Direct Knowledge AcquisitionPeter W. Mullarkey. 498-504
- Parametric Engineering Design Using Constraint-Based ReasoningNiall Murtagh, Masamichi Shimura. 505-510
- Establishing the Coherence of an Evplanation to Improve Refinement of an Incomplete Knowledge BaseYoung-Tack Park, David C. Wilkins. 511-516
- A Design Based Approach to Constructing Computational Solutions to Diagnostic ProblemsD. Volovik, Imran A. Zualkernan, Paul E. Johnson, C. E. Matthews. 517-522
- Causal Theories for Nonmonotonic ReasoningHector Geffner. 524-530
- A Formal Theory of Multiple Agent Nonmonotonic ReasoningLeora Morgenstern. 538-544
- A Circumscriptive Theory for Causal and Evidential SupportEunok Paek. 545-549
- The Complexity of Closed World Reasoning and CircumscriptionMarco Cadoli, Maurizio Lenzerini. 550-555
- On the Expressiveness of Networks with Hidden VariablesRina Dechter. 556-562
- An Optimally Efficient Limited Inference SystemLokendra Shastri, Venkat Ajjanagadde. 563-570
- It s Not My Default: The Complexity of Membership Problems in Restricted Propositional Default LogicsJonathan Stillman. 571-578
- Connectionism, Rule Following, and Symbolic ManipulationRobert F. Hadley. 579-586
- A Structured Connectionist Unification AlgorithmSteffen Hölldobler. 587-593
- Conditional Logics of Normality as Modal SystemsCraig Boutilier. 594-599
- Nonmonotonicity and the Scope of Reasoning: Preliminary ReportDavid W. Etherington, Sarit Kraus, Donald Perlis. 600-607
- The Representation of Defaults in CycRamanathan V. Guha. 608-614
- Terminological Cycles in KL-ONE-based Knowledge Representation LanguagesFranz Baader. 621-626
- On the Complexity of Monotonic Inheritance with RolesRamiro A. de T. Guerreiro, Andrea S. Hemerly, Yoav Shoham. 627-632
- Boolean Extensions of Inheritance NetworksJohn F. Horty, Richmond H. Thomason. 633-639
- Temporal Terminological LogicAlbrecht Schmiedel. 640-645
- A Maximum Entropy Approach to Nonmonotonic ReasoningMoisés Goldszmidt, Paul H. Morris, Judea Pearl. 646-652
- A Hybrid Framework for Representing Uncertain KnowledgeAlessandro Saffiotti. 653-658
- A Probabilistic Interpretation for Lazy Nonmonotonic ReasoningKen Satoh. 659-664
- Probabilities that Imply CertaintiesHaim Schweitzer. 665-670
- Very Fast Decision Table Execution of Propositional Expert SystemsRobert M. Colomb, Charles Y. C. Chung. 671-676
- The Intelligent Database Interface: Integrating AI and Database SystemsDonald P. McKay, Timothy W. Finin, Anthony B. O Hare. 677-684
- On the Performance of Lazy Matching in Production SystemsDaniel P. Miranker, David A. Brant, Bernie J. Lofaso, David Gadbois. 685-692
- A Frameworkfor Investigating Production System Formulations with Polynomially Bounded MatchMilind Tambe, Paul S. Rosenbloom. 693-700
- A Principled Approach to Reasoning About the Specificity ofRulesJohn Yen. 701-707
- Solving Geometric Constraint SystemsGlenn A. Kramer. 708-714
- A Qualitative Model for SpaceAmitabha Mukerjee, Gene Joe. 721-727
- Reasoning about Qualitative Temporal InformationPeter van Beek. 728-734
- Myths and Legends in Learning Classification RulesWray L. Buntine. 736-742
- Learning from Textbook Knowledge: A Case StudyWilliam W. Cohen. 743-748
- Generalization with Taxonomic InformationAlan M. Frisch, C. David Page Jr.. 755-761
- Constructor: A System for the Induction of Probabilistic ModelsRobert M. Fung, Stuart L. Crawford. 762-769
- Learning Causal Trees from Dependence InformationDan Geiger, Azaria Paz, Judea Pearl. 770-776
- Theory Reduction, Theory Revision, and RetranslationAllen Ginsberg. 777-782
- A Hybrid Connectionist, Symbolic Learning SystemLawrence O. Hall, Steve G. Romaniuk. 783-788
- Empirical Studies on the Speed of Convergence of Neural Network Training Using Genetic AlgorithmsHiroaki Kitano. 789-795
- Learning to Coordinate BehaviorsPattie Maes, Rodney A. Brooks. 796-802
- Adding Domain Knowledge to SBL Through Feature ConstructionChristopher J. Matheus. 803-808
- Inductive Learning in Probabilistic DomainYoichiro Nakakuki, Yoshiyuki Koseki, Midori Tanaka. 809-814
- Changing the Rules: A Comprehensive Approach to Theory RefinementDirk Ourston, Raymond J. Mooney. 815-820
- Complementary Discrimination Learning: A Duality Between Generalization and DiscriminationWei-Min Shen. 834-839
- Inductive Learning in a Mixed Paradigm SettingDavid B. Skalak, Edwina L. Rissland. 840-847
- Incremental Non-Backtracking Focusing: A Polynomially Bounded Generalization Algorithm for Version SpacesBenjamin D. Smith, Paul S. Rosenbloom. 848-853
- Two Case Studies in Cost-Sensitive Concept AcquisitionMing Tan, Jeffrey C. Schlimmer. 854-860
- Refinement ofApproximate Domain Theories by Knowledge-Based Neural NetworksGeoffrey G. Towell, Jude W. Shavlik, Michiel O. Noordewier. 861-866
- On Analytical and Similarity-Based ClassificationMarc B. Vilain, Phyllis Koton, Melissa P. Chase. 867-874
- Effective Generalization of Relational DescriptionsLarry Watanabe, Larry A. Rendell. 875-881
- Explaining Temporal Differences to Create Useful Concepts for Evaluating StatesRichard C. Yee, Sharad Saxena, Paul E. Utgoff, Andrew G. Barto. 882-888
- Automated Discovery in a Chemistry LaboratoryJan M. Zytkow, Jieming Zhu, Abul Hussam. 889-894
- Adaptive Search by Explanation-Based Learning of Heuristic CensorsNeeraj Bhatnagar, Jack Mostow. 895-901
- Learning Search Control for Constraint-Based SchedulingMegan Eskey, Monte Zweben. 908-915
- Why PRODIGY/EBL WorksOren Etzioni. 916-922
- Learning Abstraction Hierarchies for Problem SolvingCraig A. Knoblock. 923-928
- Operationality Criteria for Recursive PredicatesStanley Letovsky. 936-941
- The Utility of EBL in Recursive Domain TheoriesDevika Subramanian, Ronen Feldman. 942-949
- Structure of Perspectivity: A Case of Japanese Reflexive Pronoun zibun Yasuhiro Katagiri. 958-963
- PRAGMA - A Flexible Bidirectional Dialogue SystemJohn Levine. 964-969
- Logical Task Modelling for Man-Machine DialogueM. David Sadek. 970-975
- Integrating Natural Language Processing and Knowledge Based ProcessingRebecca J. Passonneau, Carl Weir, Timothy W. Finin, Martha Stone Palmer. 976-983
- Parsing a Natural Language Using Mutual Information StatisticsDavid M. Magerman, Mitchell P. Marcus. 984-989
- Towards Incremental Disambiguation with a Generalized Discrimination NetworkManabu Okumura, Hozumi Tanaka. 990-995
- Truly Parallel Understanding of TextYeong-Ho Yu, Robert F. Simmons. 996-1001
- Coping with Uncertainty in a Control System for Navigation and ExplorationThomas Dean, Kenneth Basye, Robert Chekaluk, Seungseok Hyun, Moises Lejter, Margaret Randazza. 1010-1015
- Learning General Completable Reactive PlansMelinda T. Gervasio. 1016-1021
- Indexical Knowledge in Robot PlansYves Lespérance, Hector J. Levesque. 1030-1037
- Symmetiy Constraint Inference in Assembly Planning: Automatic Assembly Configuration SpecificationYanxi Liu, Robin J. Popplestone. 1038-1044
- Becoming Increasingly ReactiveTom M. Mitchell. 1051-1058
- Constraints for the Early Detection of Discontinuity from MotionMichael J. Black, P. Anandan. 1060-1066
- Generalized Shape AutocorrelationAndrea Califano, Rakesh Mohan. 1067-1073
- Computing Exact Aspect Graphs of Curved Objects: Parametric SurfacesJean Ponce, David J. Kriegman. 1074-1079
- The Future of Knowledge RepresentationRonald J. Brachman. 1082-1092
- Rationality and its Roles in Reasoning (Extended Abstract)Jon Doyle. 1093-1100
- Probably Approximately Correct LearningDavid Haussler. 1101-1108
- Truth MaintenanceDavid A. McAllester. 1109-1116
- Massivley Parallel AIDavid L. Waltz. 1117-1122
- AI and Software Engineering: Will the Twain Ever Meet?Robert Balzer. 1123-1125
- Looking for the AI in Software Engineering: An Applications PerspectiveMark S. Fox. 1128-1129
- The Techies vs. the Non-techies: Today s Two CulturesElliot Soloway. 1134
- Panel: User Modeling and User InterfacesSusan T. Dumais. 1135-1136
- User Modeling and User Interfaces: A Case for Domain Models, Task Models, and TailorabilityJames D. Hollan. 1137
- User Models and User InterfacesKathleen McKeown. 1138-1139
- What s in a User?Karen Sparck Jones. 1140-1141