Theoretical Aspects of Reasoning About Knowledge
Latest Publications

TOTAL DOCUMENTS

27

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Elsevier

9781483214535

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

AUTHOR INDEX

Theoretical Aspects of Reasoning About Knowledge ◽

10.1016/b978-1-4832-1453-5.50027-1 ◽

1994 ◽

pp. ibc1

Download Full-text

Belief Revision in a Changing World

Theoretical Aspects of Reasoning About Knowledge ◽

10.1016/b978-1-4832-1453-5.50026-x ◽

1994 ◽

pp. 321-340 ◽

Author(s):

Robert Koons ◽

Nicholas Asher

Keyword(s):

Belief Revision ◽

Download Full-text

Knowledge and the ordering of events in distributed systems Extended Abstract

Theoretical Aspects of Reasoning About Knowledge ◽

10.1016/b978-1-4832-1453-5.50023-4 ◽

1994 ◽

pp. 267-283 ◽

Author(s):

Paul J. Krasucki ◽

R. Ramanujam

Keyword(s):

Distributed Systems

Download Full-text

Copyright

Theoretical Aspects of Reasoning About Knowledge ◽

10.1016/b978-1-4832-1453-5.50002-7 ◽

1994 ◽

pp. ii

Download Full-text

Backwards Forward Induction

Theoretical Aspects of Reasoning About Knowledge ◽

10.1016/b978-1-4832-1453-5.50006-4 ◽

1994 ◽

pp. 24-43

Author(s):

Gian Aldo Antonelli ◽

Cristina Bicchieri

Keyword(s):

Forward Induction

Download Full-text

Algorithmic Knowledge

Theoretical Aspects of Reasoning About Knowledge ◽

10.1016/b978-1-4832-1453-5.50022-2 ◽

1994 ◽

pp. 255-266 ◽

Author(s):

Joseph Y. Halpern ◽

Yoram Moses ◽

Moshe Y. Vardi

Download Full-text

An Epistemic Proof System for Parallel Processes**A full version appeared as Technical Report No. 93-17.

Theoretical Aspects of Reasoning About Knowledge ◽

10.1016/b978-1-4832-1453-5.50021-0 ◽

1994 ◽

pp. 243-254 ◽

Author(s):

M. van Hulst ◽

J.-J.Ch. Meyer

Keyword(s):

Proof System ◽

Full Version ◽

Parallel Processes ◽

Technical Report

Download Full-text

Case-Based Decision Theory and Knowledge Representation

Theoretical Aspects of Reasoning About Knowledge ◽

10.1016/b978-1-4832-1453-5.50016-7 ◽

1994 ◽

pp. 175-181 ◽

Author(s):

Itzhak Gilboa ◽

David Schmeidler

Keyword(s):

Knowledge Representation ◽

Decision Theory ◽

Download Full-text

ACTUAL TRUTH, POSSIBLE KNOWLEDGE

Theoretical Aspects of Reasoning About Knowledge ◽

10.1016/b978-1-4832-1453-5.50012-x ◽

1994 ◽

pp. 122-137 ◽

Author(s):

Wlodek Rabinowicz ◽

Krister Segerberg

Keyword(s):

Download Full-text

INFINITARY EPISTEMIC LOGIC

Theoretical Aspects of Reasoning About Knowledge ◽

10.1016/b978-1-4832-1453-5.50010-6 ◽

1994 ◽

pp. 95-107 ◽

Author(s):

Aviad Heifetz

Keyword(s):

Epistemic Logic

Download Full-text