## Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge: March 7-9, 1988, Asilomar, California |

### What people are saying - Write a review

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

### Contents

SESSION | 12 |

A New Model for Inductive Inference | 13 |

Doxastic Paradoxes without SelfReference | 29 |

Copyright | |

24 other sections not shown

### Common terms and phrases

action agent algorithm Artificial Intelligence assume assumption atomic atomic commitment axiom backward induction belief revision boss common knowledge concept consider convergence database defined definition denote Distributed Computing distributed systems doxastic doxastic logic epistemic entrenchment event expected payoff explicit belief fact finite first-order logic FOPCE formal formula Game Theory given Halpern implicit incentive constraints induction inference inference procedure information set integrity constraint intentional interpretation Intuitively KFOPCE knowledge base knowledge representation knowledge set knows Kripke structure language Lemma logic of knowledge mediation plan modal logic model revision modulo multilinear nash equilibrium nonblocking notion only-believing ordinal paper paradoxes parameters play player pointers possible predicate probability space problem processors proof proposition rational reasoning about knowledge recovery result rule saleswoman satisfies semantics sentence sequence situation solution speech act stable statements strategy structure Suppose Theorem theory true valid