Constraint-directed improvisation for complex domains -- A new model of hard binary constraint Satisfaction Problems -- Reasoning with multi-point events -- Selecting the right heuristic algorithm: Runtime performance predictors -- Reasoning about unknown, counterfactual, and nondeterministic actions in first-order logic -- The frame problem and Bayesian network action representations -- Automatic generation of a complex dialogue history -- A chart generator for Shake and Bake machine translation -- Extending the role of user feedback in plan recognition and response generation for advice-giving systems: An initial report -- Corpus-based learning of generalized parse tree rules for translation -- ParseTalk about functional anaphora -- Knowledge-based approaches to query expansion in information retrieval -- Inferring what a user is not interested in -- Developing an expert system technology for industrial process control: An experience report -- Planning and learning in a natural resource information system -- A hierarchical model of agent based on skill, rules, and knowledge -- Semantics of multiply sectioned Bayesian networks for cooperative multi-agent distributed interpretation -- LPMEME: A statistical method for inductive logic programming -- Efficient induction of recursive prolog definitions -- Constructive induction: A preprocessor -- Reinforcement learning for real-world control applications -- A two-level approach to learning in nonstationary environments -- Learning classifications from multiple sources of unsupervised data -- Paraconsistent circumscription -- Efficient algorithms for qualitative reasoning about imprecise space -- A general purpose reasoner for abstraction -- Reference constraints and individual level inheritance -- Decision tree learning system with switching evaluator -- Parity: The problem that won't go away -- A polynomial-time predicate-logic hypothetical reasoning by Networked Bubble Propagation method -- Enhancing maximum satisfiability algorithms with pure literal strategies -- Searching with pattern databases -- Negoplan: A system for logic-based decision modelling -- Attribute selection strategies for attribute-oriented generalization -- Automating model acquisition by fault knowledge re-use: Introducing the Diagnostic Remodeler algorithm -- Planning algorithms and planning problems.