Background
Vardi, Moshe Ya'akov was born on July 4, 1954 in Haifa, Israel. Son of Pinchas and Zipporah (Mandel) Vardi. came to the United States, 1981.
( Reasoning about knowledge--particularly the knowledge o...)
Reasoning about knowledge--particularly the knowledge of agents who reason about the world and each other's knowledge--was once the exclusive province of philosophers and puzzle solvers. More recently, this type of reasoning has been shown to play a key role in a surprising number of contexts, from understanding conversations to the analysis of distributed computer algorithms.Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory. It brings eight years of work by the authors into a cohesive framework for understanding and analyzing reasoning about knowledge that is intuitive, mathematically well founded, useful in practice, and widely applicable. The book is almost completely self-contained and should be accessible to readers in a variety of disciplines, including computer science, artificial intelligence, linguistics, philosophy, cognitive science, and game theory. Each chapter includes exercises and bibliographic notes.
http://www.amazon.com/gp/product/0262562006/?tag=2022091-20
Vardi, Moshe Ya'akov was born on July 4, 1954 in Haifa, Israel. Son of Pinchas and Zipporah (Mandel) Vardi. came to the United States, 1981.
Bachelor of Science in Physics, Computer Science, Bar-Ilan (Israel) University, 1974. Master of Science, Weizmann Institute, Rehovot, Israel, 1980. Doctor of Philosophy, Hebrew University, Jerusalem, 1981.
Teaching assistant department mathematics, Bar-Ilan U., 1972-1973;
programmer, The Weizmann Institute.Sci., Rehovot, 1978-1979;
research assistant Institute Mathematics and Computer Science, Hebrew U., Jerusalem, 1979-1980;
instructor Institute Mathematics and Computer Science, Hebrew U., Jerusalem, 1980-1981;
postdoctoral scholar department computer science, Stanford University, Palo Alto, California, 1981-1983;
research associate Center for Study Language and Information, Stanford University, Palo Alto, California, 1984-1985;
visiting scientist department computer science, International Business Machines Corporation Research Laboratory, San Jose, California, 1983-1984;
member research staff, International Business Machines Corporation Almaden Research Center, San Jose, 1985-1994;
2d-level manager department math and related computer science, International Business Machines Corporation Almaden Research Center, San Jose, 1989-1994;
Noah Harding professor, chair computer science, Rice U., Houston, since 1994. Consultant associate professor department computer science Stanford University, 1988-1991, consultant professor department computer science, 1991-1995. Program chair 6th Association for Computing Machinery Symposium on Prins.
Database Sys., 1987, 2d Conference on Theoretical Aspects Reasoning About Knowledge, 1988. Conference chair 3d Conference on Theoretical Aspects Reasoning About Knowledge, 1990, 11th Association for Computing Machinery (ACM) Symposium on Prins. Database Sys., 1992, 7th Institute of Electrical and Electronics Engineers Symposium on Logic inComputer Science, 1993, others.
Board directors Theoretical Aspects ReasoningAbout Knowledge, Inc., since 1991.
( Reasoning about knowledge--particularly the knowledge o...)
(Will be shipped from US. Brand new copy.)
Member Beth Yeshurum Temple. Member American Association of University Professors (president Rice University chapter 1996-1998).
Married Pamela K. Geyer, December 1986. 1 child, Aaron P. Hertzmann.