 |
|
What people are saying - Write a reviewWe haven't found any reviews in the usual places. Contents
18 other sections not shown Common terms and phrasesaction agent Alec Alice approach Artificial Intelligence assume assumption axiom axiomatization belief revision classical clause common knowledge complete Computer Science consider context define definition denote Distributed Computing distributed systems epistemic logic equivalence example explicit belief fact finite first-order logic follows formal function Halpern Hintikka identical implicit knowledge inconsistent indiscernable inference initial configuration input interpretation introspective Intuitively Jaakko Hintikka knowledge and belief knowledge base knowledge worlds knows Kripke language Lemma Liar Paradox logic of knowledge modal logic modal operators modus ponens notion objects paper Paradox pegs play player possible worlds predicate primitive proposition problem processors proof properties quantifiers reasoning about knowledge recursion relation relevance logic relevant representation restricted result round satisfies self-reference semantics sentences SRI International structure syntactic syntactical predicate temporal logic Theorem theory true truth value Turing machines valid References from web pagesProceedings of the 4th conference on Theoretical aspects of ... TARK Algorithmic Knowledge - Halpern, Moses, Vardi (researchindex) Reasoning about knowledge Reasoning about knowledge Blackwell Publishing Ltd Oxford, UK COIN Computational ... JSTOR: Reasoning About Knowledge: An Overview. Publications of Joseph Y. Halpern References logical omniscience of reactive systems Knowledge and probability in distributed systems: Abstract Bibliographic information
|
