## Proceedings of the First International Conference on Principles of Knowledge Representation and ReasoningProceedings held May 1989. Topics include temporal logic, hierarchical knowledge bases, default theories, nonmonotonic and analogical reasoning, formal theories of belief revision, and metareasoning. Annotation copyright Book News, Inc. Portland, Or. |

### What people are saying - Write a review

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

### Contents

11 | |

33 | |

55 | |

79 | |

94 | |

114 | |

137 | |

157 | |

324 | |

333 | |

341 | |

349 | |

357 | |

369 | |

381 | |

386 | |

180 | |

189 | |

198 | |

212 | |

223 | |

235 | |

245 | |

256 | |

266 | |

276 | |

289 | |

301 | |

312 | |

400 | |

412 | |

421 | |

432 | |

444 | |

459 | |

467 | |

475 | |

486 | |

499 | |

505 | |

517 | |

### Common terms and phrases

abstract action agent algorithm analogy applied approach argument Artificial Intelligence assume assumptions atoms autoepistemic logic axioms belief belief revision birds Brachman calculus case-based reasoning circumscription clause complete concepts conceptual graphs consider consistent constraints contains corresponding deductive default logic default reasoning default theory defined definition denotes derived disjunctive domain example exists expressions extension fact false finite first-order first-order logic formal formula function given goal graph hierarchy inference interpretation justified KANDOR knowledge representation language Lemma Levesque Lifschitz logic programs lottery paradox mapping metaphor minimal model monotonic negation negation as failure nodes nonmonotonic NP-hard objects operator possible predicate probabilistic problem proof properties propositions query reference Reiter relation restriction result rules satisfies semantics sentences Shoham situation situation calculus solution sorted logic specific structure subset symbol taxonomic temporal Theorem tion true Tweety utility variables