## Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference on ..., KR'91, Cambridge, MA, April 22-25, 1991, Volume 2James F. Allen, Richard Earl Fikes, Erik Sandewall |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Planning as Temporal Reasoning | 3 |

Temporal Reasoning and Narrative Conventions | 15 |

Reflections about Reflection | 22 |

Copyright | |

36 other sections not shown

### Other editions - View all

### Common terms and phrases

action agent algorithm applied approach arguments Artificial Intelligence assume assumptions axioms belief revision causal clauses complete concept condition consider consistent constraint system contains corresponding database deduction default logic default theory defeasible reasoning defined definition denote derivable diagnosis disjunctive domain epistemic equivalent example expression extension finite first-order first-order logic formal formula function Gardenfors given goal graph Horn clauses inconsistent inference rules interpretation Intuitively Kleer knowledge base knowledge representation language Lemma literals logic program Makinson mapping minimal modal logic modal operators monotonic negation negation as failure nodes notion object operator partial order partial program polynomial postulates predicate prioritization probabilistic probability problem procedure proof properties propositional prove qualitative query reasoning refer relation represent restrictions result satisfies semantics sentences sequence situation sorted atoms specific stable model structure subset subsumption symbols temporal temporal logic Theorem tion true update values variables