Advances in Artifical Intelligence: 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI '96 Toronto, Ontario, Canada, May 21–24, 1996 Proceedings

Constraint-directed improvisation for complex domains....Pages 1-13
A new model of hard binary constraint Satisfaction Problems....Pages 14-25
Reasoning with multi-point events....Pages 26-40
Selecting the right heuristic algorithm: Runtime performance predictors....Pages 41-53
Reasoning about unknown, counterfactual, and nondeterministic actions in first-order logic....Pages 54-68
The frame problem and Bayesian network action representations....Pages 69-83
Automatic generation of a complex dialogue history....Pages 84-96
A chart generator for Shake and Bake machine translation....Pages 97-108
Extending the role of user feedback in plan recognition and response generation for advice-giving systems: An initial report....Pages 109-120
Corpus-based learning of generalized parse tree rules for translation....Pages 121-132
ParseTalk about functional anaphora....Pages 133-145
Knowledge-based approaches to query expansion in information retrieval....Pages 146-158
Inferring what a user is not interested in....Pages 159-171
Developing an expert system technology for industrial process control: An experience report....Pages 172-186
Planning and learning in a natural resource information system....Pages 187-199
A hierarchical model of agent based on skill, rules, and knowledge....Pages 200-212
Semantics of multiply sectioned Bayesian networks for cooperative multi-agent distributed interpretation....Pages 213-226
LPMEME: A statistical method for inductive logic programming....Pages 227-239
Efficient induction of recursive prolog definitions....Pages 240-248
Constructive induction: A preprocessor....Pages 249-256
Reinforcement learning for real-world control applications....Pages 257-270
A two-level approach to learning in nonstationary environments....Pages 271-283
Learning classifications from multiple sources of unsupervised data....Pages 284-295
Paraconsistent circumscription....Pages 296-308
Efficient algorithms for qualitative reasoning about imprecise space....Pages 309-322
A general purpose reasoner for abstraction....Pages 323-335
Reference constraints and individual level inheritance....Pages 336-348
Decision tree learning system with switching evaluator....Pages 349-361
Parity: The problem that won\'t go away....Pages 362-374
A polynomial-time predicate-logic hypothetical reasoning by Networked Bubble Propagation method....Pages 375-387
Enhancing maximum satisfiability algorithms with pure literal strategies....Pages 388-401
Searching with pattern databases....Pages 402-416
Negoplan: A system for logic-based decision modelling....Pages 417-428
Attribute selection strategies for attribute-oriented generalization....Pages 429-441
Automating model acquisition by fault knowledge re-use: Introducing the Diagnostic Remodeler algorithm....Pages 442-456
Planning algorithms and planning problems....Pages 457-457