Theoretical Aspects of Reasoning About K
β Joseph Y. Halpern
π Library
π
1986
π Elsevier Inc, Morgan Kaufmann Pub
π English
β¦ LIBER β¦
π
Theoretical Aspects of Reasoning About Knowledge. Proceedings of the Fifth Conference (TARK 1994)
- Publisher
- Elsevier Inc
- Year
- 1994
- Tongue
- English
- Leaves
- 343
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ Table of Contents
Content:
Front Matter, Page i
Copyright, Page ii
Preface, Page v, Ronald Fagin
Knowledge, Action, and Ability in the Situation Calculus: Extended Abstract, Pages 1-4, Hector Levesque
On the Logic of Iterated Belief Revision, Pages 5-23, Adnan Darwiche, Judea Pearl
Backwards Forward Induction, Pages 24-43, Gian Aldo Antonelli, Cristina Bicchieri
A Knowledge-Based Framework for Belief Change Part I: Foundations, Pages 44-64, Nir Friedman, Joseph Y. Halpern
Information acquisition from multi-agent resources, Pages 65-79, Zhisheng Huang, Peter van Emde Boas
Consistent Belief Reasoning in the Presence of Inconsistency, Pages 80-94, Jinxin Lin
INFINITARY EPISTEMIC LOGIC, Pages 95-107, Aviad Heifetz
An Epistemic Logic of Situations (Extended Abstract), Pages 109-121, Paul F. Syverson
ACTUAL TRUTH, POSSIBLE KNOWLEDGE, Pages 122-137, Wlodek Rabinowicz, Krister Segerberg
Infinitely Many Resolutions of Hempel's Paradox, Pages 138-149, Kevin B. Korb
Rationality in the Centipede, Pages 150-159, Ken Binmore
Revising Knowledge: A Hierarchical Approach, Pages 160-174, Stephen Morris
Case-Based Decision Theory and Knowledge Representation: An Outline, Pages 175-181, Itzhak Gilboa, David Schmeidler
An Axiomatic Approach to the Logical Omniscience Problem, Pages 182-196, Barton L. Lipman
Autoepistemic Logic and Introspective Circumscription, Pages 197-207, Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz
Knowledge as a Tool in Motion Planning under Uncertainty, Pages 208-224, Ronen I. Brafman, Jean-Claude Latombe, Yoram Moses, Yoav Shoham
Common Knowledge and Update in Finite Environments. I (Extended Abstract), Pages 225-242, Ron van der Meyden
An Epistemic Proof System for Parallel Processes: (extended abstract), Pages 243-254, M. van Hulst, J.-J.Ch. Meyer
Algorithmic Knowledge, Pages 255-266, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
Knowledge and the ordering of events in distributed systems Extended Abstract, Pages 267-283, Paul J. Krasucki, R. Ramanujam
Inductive Learning, Knowledge Asymmetries and Convention, Pages 284-304, Peter Vanderschraaf
Coherent Belief Revision in Games, Pages 305-320, Debra J. Holt
Belief Revision in a Changing World, Pages 321-340, Robert Koons, Nicholas Asher
AUTHOR INDEX, Page ibc1
π SIMILAR VOLUMES
Rough Sets: Theoretical Aspects of Reaso
β ZdzisΕaw Pawlak (auth.)
π Library
π
1991
π Springer Netherlands
π English
<p>To-date computers are supposed to store and exploit knowledge. At least that is one of the aims of research fields such as Artificial Intelligence and Information Systems. However, the problem is to understand what knowledge means, to find ways of representing knowledge, and to specify automated
Knowledge-Based Software Engineering: Pr
β Joint Conference on Knowledge-Based Software Engineering 2002 malibor, Tatjana W
π Library
π
2002
π IOS Press
π English
The book captures the latest developments in the areas of knowledge engineering and software engineering. Particular emphasis is placed upon applying knowledge-based methods to software engineering problems. The Conference, from which the papers are coming, originated in order to provide a forum in
Principles of Knowledge Representation a
π Library
π
1994
π Elsevier Inc
π English
Principles of Knowledge Representation and Reasoning
Knowledge and Systems Engineering: Proce
β Riichiro Mizoguchi (auth.), Van Nam Huynh, Thierry Denoeux, Dang Hung Tran, Anh
π Library
π
2014
π Springer International Publishing
π English
<p><p>The field of Knowledge and Systems Engineering (KSE) has experienced rapid development and inspired many applications in the world of information technology during the last decade. The KSE conference aims at providing an open international forum for presentation, discussion and exchange of the
Knowledge and Systems Engineering: Proce
β Ladislav Hluch (auth.), Van Nam Huynh, Thierry Denoeux, Dang Hung Tran, Anh Cuon
π Library
π
2014
π Springer International Publishing
π English
<p><p>The field of Knowledge and Systems Engineering (KSE) has experienced rapid development and inspired many applications in the world of information technology during the last decade. The KSE conference aims at providing an open international forum for presentation, discussion and exchange of the