Moshe Y. Vardi  Home/Search
Context Related
| rice.edu/~vardi/papers...tark96a2.ps.gz Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: rice.edu/~vardi/papers/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Reasoning about multi-agents systems at the knowledge level allows us to abstract away from many concrete details of the systems we are considering. Fagin et al. introduced two notions to facilitate designing and reasoning about systems in terms of knowledge. The first notion is that of knowledge-based programs. Knowledge-based programs are defined as syntactic objects: programs with tests for knowledge. The second notion is that of contexts, which capture the setting in which a program is to... (Update)
Similar documents based on text: More All
0.2: Knowledge-Based Programs - Fagin, Halpern, Moses, Vardi (1995) (Correct)
0.1: KB-PHaSE: A Knowledge-Based Training Tool for a Space.. - Clark, Thompson, Dittmar (1998) (Correct)
0.1: Software Toolkit for Building Embedded and Distributed.. - Soshnikov (2000) (Correct)
Related documents from co-citation: More All
8: Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
7: The complexity of reasoning about knowledge and time - Halpern, Vardi - 1989
6: Knowledge-based programs - Fagin, Halpern et al. - 1995
BibTeX entry: (Update)
M. Vardi. Implementing knowledge-based programs. In Proc. of the Conf. on Theoretical Aspects of Rationality and Knowledge, pages 15--30, 1996. http://citeseer.ist.psu.edu/vardi96implementing.html More
@incollection{ vardi96implementing,
author = "Moshe Y. Vardi",
title = "Implementing Knowledge-Based Programs",
booktitle = "Theoretical Aspects of Rationality and Knowledge: Proceedings of the Sixth Conference ({TARK} 1996)",
publisher = "Morgan Kaufmann",
address = "San Francisco",
editor = "Yoav Shoham",
pages = "15--30",
year = "1996",
url = "citeseer.ist.psu.edu/vardi96implementing.html" }
Citations (may not include all citations):4212 Computers and Intractability: A Guide to the Theory of NP-co.. (context) - Garey, Johnson - 1979
1097 Automatic verification of finitestate concurrent systems usi.. (context) - Clarke, Emerson et al. - 1986
604 Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
264 Knowledge and common knowledge in a distributed environment - Halpern, Moses - 1990
240 A guide to completeness and complexity for modal logics of k.. (context) - Halpern, Moses - 1992
222 The complexity of propositional linear temporal logics (context) - Sistla, Clarke - 1985
139 Reasoning about infinite computations - Vardi, Wolper - 1994
94 Knowledge and common knowledge in a Byzantine environment: c.. (context) - Dwork, Moses - 1990
76 How processes learn (context) - Chandy, Misra - 1986
58 Programming simultaneous actions using common knowledge - Moses, Tuttle - 1988
44 Modelling knowledge and action in distributed systems - Halpern, Fagin - 1989
27 Scenes and other situations (context) - Barwise - 1981
25 Protocol engineering (context) - Liu - 1989
23 A characterization of eventual Byzantine agreement - Halpern, Moses et al. - 1990
22 A little knowledge goes a long way: knowledgebased derivatio.. - Halpern, Zuck - 1992
21 A knowledge-theoretic analysis of atomic commitment protocol.. (context) - Hadzilacos - 1987
16 Using knowledge to optimally achieve coordination in distrib.. - Neiger, Bazzi - 1992
14 and communication in distributed systems: preliminary report (context) - Halpern, Fagin et al. - 1985
14 Network protocols and tools to help produce them (context) - Rudin - 1987
11 Knowledge as a tool in motion planning under uncertainty - Brafman, Latombe et al. - 1994
11 Common knowledge and consistent simultaneous coordination - Neiger, Tuttle - 1993
5 almost common knowledge (context) - Rubinstein, mail et al. - 1989
5 Towards knowledge-level analysis of motion planning - Brafman, Latombe et al. - 1993
5 Implementing distributed knowledge-based protocols (context) - Mazer - 1991
4 The synthesis of communication protocols (context) - Afrati, Papadimitriou et al. - 1988
3 Knowledge-based programming (context) - Fagin, Halpern et al. - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.rice.edu/~vardi/papers/index.html): More
An Operational Semantics for Knowledge Bases - Fagin, Halpern, al. (1994) (Correct)
Nontraditional Applications of Automata Theory - Vardi (1994) (Correct)
Synthesis with Incomplete Information - Kupferman, Vardi (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC