On the logic of cooperation and propositional control

Artificial Intelligence

Volumn 164, Issue 1-2, 2005, Pages 81-119

  Van Der Hoek, Wiebe ^a   Wooldridge, Michael ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

Cooperation logic; Logics for control; Multi agent systems

Indexed keywords

CONTROL SYSTEM ANALYSIS; MULTI AGENT SYSTEMS; PROBLEM SOLVING; SET THEORY; TRANSFER FUNCTIONS;

COOPERATION LOGICS; LOGICS OF CONTROLS; PROPOSITIONAL CONTROLS; PROPOSITIONAL VARIABLES;

FORMAL LOGIC;

EID: 16244390561     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2005.01.003     Document Type: Article

References (47)

1. J. Abdou, and H. Keiding Effectivity Functions in Social Choice Theory 1991 Kluwer Academic Dordrecht
2. J.F. Allen J. Hendler A. Tate Readings in Planning 1990 Morgan Kaufmann San Mateo, CA
3. R. Alur, L. de Alfaro, T.A. Henzinger, S.C. Krishnan, F.Y.C. Mang, S. Qadeer, S.K. Rajamani, S. Taşiran, mocha user manual, University of Berkeley Report, 2000
4. R. Alur, and T.A. Henzinger Reactive modules Formal Methods in System Design 15 11 1999 7 48
5. R. Alur, T.A. Henzinger, and O. Kupferman Alternating-time temporal logic J. ACM 49 5 2002 672 713
6. R. Alur, T.A. Henzinger, F.Y.C. Mang, S. Qadeer, S.K. Rajamani, and S. Taşiran Mocha: Modularity in model checking CAV 1998: Tenth International Conference on Computer-Aided Verification Lecture Notes in Comput. Sci. vol. 1427 1998 Springer Berlin 521 525
7. N. Belnap Backwards and forwards in the modal logic of agency Philos. Phenomenolog. Res. LI 54 1991 777 807
8. N. Belnap, and M. Perloff Seeing to it that: a canonical form for agentives Theoria 54 1988 175 199
9. P. Blackburn, M. de Rijke, and Y. Venema Modal Logic 2001 Cambridge University Press Cambridge
10. M.A. Brown On the logic of ability J. Philos. Logic 17 1988 1 26
11. B. Chellas Modal Logic: An Introduction 1980 Cambridge University Press Cambridge
12. E.M. Clarke, O. Grumberg, and D.A. Peled Model Checking 2000 MIT Press Cambridge, MA
13. F.M. Donini, P. Liberatore, F. Massacci, and M. Schaerf Solving QBF with SMV Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), Toulouse, France 2002 578 589
14. G. van Drimmelen Satisfiability in alternating-time temporal logic Proceedings of the Eighteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2003), Ottawa, Canada 2003 208 217
15. E.A. Emerson Temporal and modal logic J. van Leeuwen Handbook of Theoretical Computer Science Volume B: Formal Models and Semantics 1990 Elsevier Science Amsterdam 996 1072
16. E.A. Emerson, and J. Srinivasan Branching time logic J.W. de Bakker W.-P. de Roever G. Rozenberg REX School-Workshop on Linear Time, Branching Time and Parial Order Logics and Models for Concurrency Lecture Notes in Comput. Sci. vol. 354 1988 Springer Berlin 123 172
17. R.E. Fikes, and N. Nilsson STRIPS: a new approach to the application of theorem proving to problem solving Artificial Intelligence 2 1971 189 208
18. R. Goldblatt Logics of Time and Computation CSLI Lecture Notes vol. 7 1987 Center for the Study of Language and Information Ventura Hall, Stanford, CA Distributed by Chicago University Press
19. V. Goranko Coalition games and alternating temporal logics J. van Benthem Proceeding of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge (TARK VIII), Siena, Italy 2001 259 272
20. J.Y. Halpern, and M.Y. Vardi Model checking versus theorem proving: A manifesto V. Lifschitz AI and Mathematical Theory of Computation - Papers in Honor of John McCarthy 1991 Academic Press London 151 176
21. D. Harel, D. Kozen, and J. Tiuryn Dynamic Logic 2000 MIT Press Cambridge, MA
22. P. Harrenstein, Logic in conflict, PhD thesis, Utrecht University, 2004
23. W. van der Hoek, and M. Wooldridge Tractable multiagent planning for epistemic goals Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Bologna, Italy 2002 1167 1174
24. W. van der Hoek, and M. Wooldridge Model checking cooperation, knowledge, and time - a case study Res. Econom. 57 3 2003
25. W. van der Hoek, and M. Wooldridge Time, knowledge, and cooperation: alternating-time temporal epistemic logic and its applications Studia Logica 2003
26. J.F. Horty, and N. Belnap The deliberative STIT: a study of action, omission, ability, and obligation J. Philos. Logic 24 6 1995 583 644
27. G.E. Hughes, and M.J. Cresswell Introduction to Modal Logic 1968 Methuen and Co.
28. V. Lifschitz On the semantics of STRIPS M.P. Georgeff A.L. Lansky Reasoning About Actions & Plans - Proceedings of the 1986 Workshop 1986 Morgan Kaufmann San Mateo, CA 1 10
29. R.C. Moore Reasoning about knowledge and action Proceedings of the Fifth International Joint Conference on Artificial Intelligence (IJCAI-77), Cambridge, MA 1977
30. R.C. Moore A formal theory of knowledge and action J.F. Allen J. Hendler A. Tate Readings in Planning 1990 Morgan Kaufmann San Mateo, CA 480 519
31. L. Morgenstern A first-order theory of planning, knowledge, and action J.Y. Halpern Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge 1986 Morgan Kaufmann San Mateo, CA 99 114
32. L. Morgenstern Knowledge preconditions for actions and plans Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), Milan, Italy 1987 867 874
33. M.J. Osborne, and A. Rubinstein A Course in Game Theory 1994 MIT Press Cambridge, MA
34. J.-J.Ch. Meyer, P. Harrenstein, W. van der Hoek, and C. Witteveen Boolean games J. van Benthem Proceeding of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge (TARK VIII), Siena, Italy 2001 287 294
35. C.H. Papadimitriou Computational Complexity 1994 Addison-Wesley Reading, MA
36. M. Pauly, Logic for social software, PhD thesis, University of Amsterdam, 2001. ILLC Dissertation Series 2001-10
37. M. Pauly A logical framework for coalitional effectivity in dynamic procedures Bull. Econom. Res. 53 4 2002 305 324
38. M. Pauly A modal logic for coalitional power in games J. Logic Comput. 12 1 2002 149 166
39. M. Pauly, and M. Wooldridge Logic for mechanism design - a manifesto Proceedings of the 2003 Workshop on Game Theory and Decision Theory in Agent Systems (GTDT-2003), Melbourne, Australia 2003
40. M. Ryan, and P.-Y. Schobbens Agents and roles: refinement in alternating-time temporal logic J.-J.Ch. Meyer M. Tambe Intelligent Agents VIII: Proceedings of the Eighth International Workshop on Agent Theories, Architectures, and Languages, ATAL-2001 Lecture Notes in Artificial Intelligence vol. 2333 2002 100 114
41. P. Schnoebelen The complexity of temporal logic model checking P. Balbiani N.-Y. Suzuki F. Wolter M. Zakharyascev Advanced in Modal Logic vol. 4 2003 King's College Publications London 393 436
42. K. Segerberg Bringing it about J. Philos. Logic 18 1989 327 347
43. K. Segerberg Getting started: beginnings in the logic of action Studia Logica 51 3/4 1992 347 378
44. M.Y. Vardi Branching vs. linear time: final showdown T. Margaria W. Yi Proceedings of the 2001 Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001 Lecture Notes of Comput. Sci. vol. 2031 2001 Springer Berlin 1 22
45. M. Wooldridge Reasoning about Rational Agents 2000 MIT Press Cambridge, MA
46. M. Wooldridge, and N.R. Jennings Intelligent agents: theory and practice Knowledge Engrg. Rev. 10 2 1995 115 152
47. M. Wooldridge, and N.R. Jennings The cooperative problem solving process J. Logic Comput. 9 4 1999 563 592