Cover of: Theoretical aspects of reasoning about knowledge | Read Online
Share

Theoretical aspects of reasoning about knowledge proceedings of the fifth conference (TARK 1994) : March 13-16, 1994, Pacific Grove, California

  • 176 Want to read
  • ·
  • 11 Currently reading

Published by Morgan Kaufmann in San Francisco, CA .
Written in English

Subjects:

  • Knowledge, Theory of -- Congresses.,
  • Artificial intelligence -- Congresses.,
  • Logic, Symbolic and mathematical -- Congresses.

Book details:

About the Edition

Interest in the area of Theoretical Aspects of Reasoning About Knowledge has increased significantly since the first conference was held in 1986 in the Asilomar Conference Center in Pacific Grove, California. Since then, the conference has become a regular biennial event. The results of scientists in the field of reasoning about knowledge have contributed to research in a variety of areas including artificial intelligence, economics, linguistics, philosophy and theoretical computer science. This volume chronicles the fifth conference, held in 1994, which included presentations by an interdisciplinary collection of leading researchers in the field. The 23 extended abstracts published here include 21 contributed papers and 2 invited papers, and represent state-of-the-art research. This volume is a valuable reference to the active interdisciplinary field of reasoning about knowledge, suitable for researchers, students and teachers.

Edition Notes

Includes bibliographical references and index.

Other titlesReasoning about knowledge.
Statementedited by Ronald Fagin.
ContributionsFagin, Ronald., Conference on Theoretical Aspects of Reasoning about Knowledge (5th : 1994 : Pacific Grove, Calif.)
The Physical Object
Pagination[v], 340 p. :
Number of Pages340
ID Numbers
Open LibraryOL18070508M
ISBN 10155860331X

Download Theoretical aspects of reasoning about knowledge

PDF EPUB FB2 MOBI RTF

@article{osti_, title = {Theoretical aspects of reasoning about knowledge}, author = {Halpern, J.Y.}, abstractNote = {This book contains papers presented at a .   The conference provided a forum for discussing the theoretical aspects of reasoning about knowledge and tackled topics ranging from the logic of iterated belief revision and backwards forward induction to information acquisition from multi-agent resources, infinitely epistemic logic, and coherent belief revision in Edition: 1.   Theoretical Aspects of Reasoning About Knowledge: Proceedings of the Conference focuses on the principles, methodologies, approaches, and concepts involved in reasoning about knowledge. The selection first provides an overview of reasoning about knowledge, varieties of self-reference, and pegs and Edition: 1. Buy Theoretical Aspects of Reasoning About Knowledge: Proceedings of the Conference: Read Books Reviews -

Get this from a library! Theoretical aspects of reasoning about knowledge: proceedings of the fourth conference (TARK ): March , , Monterey, Calif.. [Yôrām Moše; Conference on Theoretical Aspects of Reasoning about Knowledge (4, , Monterey, Calif.);]. 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 is just the opposite: organized (e.g. laying bare dependencies, or classifications), but expressed by means of a poorer language, i.e. pervaded by imprecision or even vagueness, and assuming a level of granularity. One may say that knowledge is summarized and organized data - at least the kind of knowledge that computers can by: This thesis studies qualitative and semi-quantitative nonmonotonic reasoning. It examines and compares inference relations set up on knowledge bases of trivalent DeFinetti conditionals regarding their formal properties, computational complexity and expressive power for psychological findings.

Get this from a library! Theoretical aspects of reasoning about knowledge: proceedings of the fourth conference (TARK ). [Yoram Moses;].   Book Review: Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Conference Alan Garnham The Quarterly Journal of Experimental Psychology Section A Author: Alan Garnham.   The mission of the bi-annual TARK conferences is to bring together researchers from a wide variety of fields - including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Logic, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Abstracts Theoretical Aspects of Reasoning About Knowledge: Proceedings of the Conference. Joseph Y. Halpern (editor) This is the proceedings of the first TARK conference, with papers by (among others) Aumann, Hintikka, Fagin, Moses, and Vardi.