Action and knowledge in alternating-time temporal logic

Synthese

Volumn 149, Issue 2, 2006, Pages 375-407

  Ågotnes, Thomas ^a  

^a UNIVERSITY OF BERGEN   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33646471391     PISSN: 00397857     EISSN: 15730964     Source Type: Journal    
DOI: 10.1007/s11229-005-3875-8     Document Type: Conference Paper

References (22)

1. Ågotnes, T.: 2004, 'A Note on Syntactic Characterization of Incomplete Information in ATEL", in Proceedings of the First Workshop on Knowledge and Games (KAG 2004), Liverpool, UK.
2. Alur, R., T.A. Henzinger, and O. Kupferman: 1997, Alternating-time Temporal Logic', in Proceedings of the 38th Annual Symposium on Foundations of Computer Science, Miami Beach, FL, pp. 100-109.
3. Alur, R., T.A. Henzinger, and O. Kupferman: 1999, Alternating-time Temporal Logic', in Compositionality: The Significant Difference, Lecture Notes in Computer Science, 1536, Springer-Verlag, Berlin, pp. 23-60.
4. Alur, R., T.A, Henzinger, and O. Kupferman: 2002, 'Alternating-time Temporal Logic', Journal of the ACM 49, 672-713.
5. Alur, R., T.A. Henzinger, F. Y. C. Mang, S. Qadeer, S. K. Rajamani, and S. Tasiran: 1998, 'MOCHA: Modularity in Model Checking', in Computer Aided Verification, pp. 521-525.
6. Fagin, R., J.Y. Halpern, Y. Moses, and M. Y. Vardi: 1995, Reasoning About Knowledge, The MIT Press. Cambridge. MA.
7. Goranko, V. and G. van Drimmelen: 2003, 'Decidability and Complete Axiomatization of the Alternating-time Temporal Logic', Submitted.
8. Halpern, J.Y. and R. Fagin: 1989, 'Modelling Knowledge and Action in Distributed Systems", Distributed Computing 3(4), 159-177.
9. Harel, D.: 1984, "Dynamic Logic', in D. Gabbay and F. Guenthner (eds.) Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic. Vol. 165 of Synthese Library. D. Reidel Publishing Co., Dordrecht, pp. 497-604.
10. Henriksen, J.G. and P.S. Thiagarajan: 1999, "Dynamic Linear Time Temporal Logic', Annals of Pure and Applied Logic 96, 187-207.
11. Hughes, G.E. and M.J. Cresswell: 1996, A New Introduction to Modal Logic. Routledge. London and New York.
12. Jamroga, W.: 2003, "Some Remarks on Alternating Temporal Epistemic Logic', in FAMAS03 - Formal Approaches to Multi-Agent Systems, Proceedings. Warsaw, Poland, pp. 133-140.
13. Jamroga, W. and W. van der Hoek: 2004, 'Agents that Know How to Play', Fundamenta Informaticae 63, 185-219.
14. McMillan, K.: 1993, Symbolic Model Checking. Kluwer Academic Publishers, Norwell, MA.
15. Meyer, J.-J.C. and W. van der Hoek: 1995, Epistemic Logic for AI and Computer Science. Cambridge University Press. Cambridge. UK.
16. Moore, R.C.: 1984, "A Formal Theory of Knowledge and Action", in Formal Theories of the Commonsense World. Ablex Publishing Corp. Norwood, NJ.
17. Morgenstern, L.: 1986, "A First Order Theory of Planning, Knowledge, and Action", in J. Y. Halpern (ed.) Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference, Los Altos, CA, pp. 99-114, Morgan Kaufmann Publishers, Inc.
18. Morgenstern, L.: 1987, "Knowledge Preconditions for Actions and Plans', in Proceedings of the National Conference on Artificial Intelligence. Seattle, WA, pp. 867-874.
19. (Also published in Readings in Distributed Artificial Intelligence. Alan H. Bond and Les Gasser (eds.), pp. 151-158. Morgan Kaufmann. 1988).
20. van der Hoek, W. M. Roberts, and M.Wooldridge: 2004, 'Social Laws in Alternating Time: Effectiveness, Feasibility, and Synthesis", Technical Report ULCS-04-017, Computer Science Department, University of Liverpool.
21. van der Hoek, W. and M. Wooldridge: 2002, "Tractable Multiagent Planning for Epistemic Goals', in Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAAMAS-02), Bologna, Italy.
22. van der Hoek, W. and M. Wooldridge: 2003, "Cooperation, Knowledge and Time: Alternating-time Temporal Epistemic Logic and its Applications', Studia Logica 75, 125-157.