Model Checking Knowledge and Time-Reference-Cited by-同舟云学术

Model Checking Knowledge and Time

Published:2002 Issue: Volume: Page:95-111
ISSN:0302-9743
Container-title:Model Checking Software
language:
Short-container-title:

Author:

van der Hoek Wiebe,Wooldridge Michael

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46017-9_9

Reference25 articles.

1. LNAI;M. Benerecetti,1999

2. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press: Cambridge, MA, 2000.

3. C. Dixon, M. Fisher, and M. Wooldridge. Resolution for temporal logics of knowledge. Journal of Logic and Computation, 8(3):345–372, 1998.

4. E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science Volume B: Formal Models and Semantics, pages 996–1072. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, 1990.

5. K. Engelhardt, R. van der Meyden, and Y. Moses. Knowledge and the logic of local propositions. In Proceedings of the 1998 Conference on Theoretical Aspects of Reasoning about Knowledge (TARK98), pages 29–41, Evanston, IL, July 1998.

Cited by 44 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Interpreting Knowledge-based Programs;Programming Languages and Systems;2023

2. Second-Order Hyperproperties;Computer Aided Verification;2023

3. Towards Verification of Dialogue Protocols: A Mathematical Model;Artificial Intelligence and Soft Computing;2016

4. Dialogue Systems: Modeling and Prediction of their Dynamics;Proceedings of the Second International Afro-European Conference for Industrial Advancement AECIA 2015;2016

5. Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic;Distributed Computing and Artificial Intelligence;2013