IJCAI-89: Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, August 20-25, 1989, Detroit, Michigan, USA, Volume 2N. S. Sridharan |
Contents
Sometimes Updates Are Circumscription | 859 |
A Formal Account of SelfKnowledge and Action | 868 |
Constraint Satisfaction with Delayed Evaluation | 875 |
Copyright | |
67 other sections not shown
Common terms and phrases
Abstract action agent algebra algorithm applied approach Artificial Intelligence assume assumption ATMS autoepistemic autoepistemic logic axioms Bayesian network behavior belief belief revision candidate causal model complete components Computer Computer Science configuration conflict consider consistent constraints corresponding default default logic defined definition denote described diagnosis domain dynamic example expert systems extension fault Figure formal formula function given goal graph heuristic hypotheses inference influence diagram inheritance input interpretation interval kinematic Kleer knowledge labels logic mechanism method minimal modal logic node nogood nonmonotonic NP-hard observations operators output P₁ paper parameters partial ordering path possible predicate probabilistic probability problem procedure propagation properties propositions qualification problem reasoning relation representation represented result robot rule semantics simulation situation solution solving space specific strategy structure subgoals subset task temporal Theorem theory tion Touretzky truth maintenance system variables