What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
Proceedings of the Eighth National Conference on Artificial ..., Volume 1
No preview available - 1990
Abstract action active agent algorithm analysis apply approach Artificial Intelligence assumptions axioms backtracking behavior Case-Based Reasoning causal clause clustering complete complete graph component Computer Science conflict consider consistent constraint network constraint satisfaction constraint satisfaction problems context corresponding Dechter default defined definition described diagnosis domain edge equations example execution explanation Figure formula given goal graph heuristic Horn clause implemented inference initial input instantiation interactions k-tree Kleer knowledge base labeling literal logic logic programs method minimal NIMF node ontology operator paper parameters paramodulation parsing partial path performance planner possible precondition prediction prediction interval problem solving procedure Proceedings produce properties proposition qualitative reasoning relation represent representation Research rules satisfy semantics sequence simulation situation solution specific step strategy symbol task theorem theory tion tree truth maintenance system tuple University values variables