Model checking Sum and Product

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3809 LNAI, Issue , 2005, Pages 790-795

  Van Ditmarsch, H P ^a   Ruan, J ^a   Verbrugge, L C ^b  

^a UNIVERSITY OF OTAGO   (New Zealand)

^b UNIVERSITY OF GRONINGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL LOGIC; MATHEMATICAL MODELS; PROBLEM SOLVING;

MODAL LOGIC; MODEL CHECKING;

MATHEMATICAL TECHNIQUES;

EID: 33745614653     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11589990_82     Document Type: Conference Paper

References (11)

1. Freudenthal, H.: (formulation of the sum-and-product problem). Nieuw Archief voor Wiskunde 3(17) (1969) 152
2. McCarthy, J.: Formalization of two puzzles involving knowledge. In Lifschitz, V., ed.: Formalizing Common Sense : Papers by John McCarthy. Ablex series in artificial intelligence. Ablex Publishing Corporation, Norwood, N.J. (1990) original manuscript dated 1978-1981.
3. Plaza, J.: Logics of public communications. In Emrich, M., Pfeifer, M., Hadzikadic, M., Ras, Z., eds.: Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems. (1989) 201-216
4. Panti, G.: Solution of a number theoretic problem involving knowledge. International Journal of Foundations of Computer Science 2(4) (1991) 419-424
5. van der Meyden, R.: Mutual belief revision. In Doyle, J., Sandewall, E., Torasso, P., eds.: Proceedings of the 4th international conference on principles of knowledge representation and reasoning (KR), Morgan Kaufmann (1994) 595-606
6. Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge MA (1995)
7. Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. Technical report, Centrum voor Wiskunde en Informatica, Amsterdam (1999) CWI Report SEN-R9922.
8. Gammie, P., van der Meyden, R.: MCK: Model checking the logic of knowledge. In Alur, R., Peled, D., eds.: Proceedings of the 16th International conference on Computer Aided Verification (CAV 2004), Springer (2004) 479-483
9. Raimondi, F., Lomuscio, A.: Verification of multiagent systems via ordered binary decision diagrams: An algorithm and its implementation. In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), IEEE Computer Society (2004) 630-637
10. van Eijck, J.: Dynamic epistemic modelling. Technical report, Centrum voor Wiskunde en Informatica, Amsterdam (2004) CWI Report SEN-E0424.
11. van Ditmarsch, H., van der Hoek, W., van der Meyden, R., Ruan, J.: Model checking russian cards. Electronic Notes in Theoretical Computer Science (2005) To appear; presented at MoChArt 05 (Model Checking in Artificial Intelligence).