메뉴 건너뛰기




Volumn 11, Issue 1, 2009, Pages

Tableau-based decision procedures for logics of strategic ability in multiagent systems

Author keywords

Alternating time temporal logic; Decision procedures; Logics for multiagent systems; Tableaux

Indexed keywords

ALTERNATING TIME TEMPORAL LOGIC; AVERAGE CASE; DECISION PROCEDURE; UPPER BOUND;

EID: 72649106869     PISSN: 15293785     EISSN: 1557945X     Source Type: Journal    
DOI: 10.1145/1614431.1614434     Document Type: Article
Times cited : (33)

References (33)
  • 5
    • 0042908709 scopus 로고    scopus 로고
    • Alternating-Time temporal logic
    • ALUR, R.,HENZINGER, T. A., ANDKUPERMAN,O. 2002. Alternating-Time temporal logic. J. ACM 49, 5, 672-713.
    • (2002) J. ACM , vol.49 , Issue.5 , pp. 672-713
    • Alur, R.1    Henzinger, T.A.2    Andkuperman, O.3
  • 7
    • 40949090581 scopus 로고    scopus 로고
    • Modal μ-calculi
    • P. Blackburn, Ed. Elsevier
    • BRADFIELD, J. AND STIRLING, C. 2007. Modal μ-calculi. In Handbook of Modal Logic, P. Blackburn, Ed. Elsevier, 721-756.
    • (2007) Handbook of Modal Logic , pp. 721-756
    • Bradfield, J.1    Stirling, C.2
  • 8
    • 0001449325 scopus 로고
    • Temporal and modal logics
    • J. van Leeuwen, Ed. MIT Press
    • EMERSON, E. A. 1990. Temporal and modal logics. In Handbook of Theoretical Computer Science, J. van Leeuwen, Ed. Vol.B. MIT Press, 995-1072.
    • (1990) Handbook of Theoretical Computer Science , vol.B , pp. 995-1072
    • Emerson, E.A.1
  • 9
    • 0022012464 scopus 로고
    • Decision procedures and expressiveness in the temporal logic of branching time
    • EMERSON, E. A. AND HALPERN, J. 1985. Decision procedures and expressiveness in the temporal logic of branching time. J. Comput. Syst. Sci. 30, 1, 1-24.
    • (1985) J. Comput. Syst. Sci. , vol.30 , Issue.1 , pp. 1-24
    • Emerson, E.A.1    Halpern, J.2
  • 12
    • 40849098760 scopus 로고    scopus 로고
    • Modal proof theory
    • P. Blackburn, J. van Bentem, and F. Wolter, Eds. Elsevier
    • FITTING, M. C. 2007. Modal proof theory. In Handbook of Modal Logic, P. Blackburn, J. van Bentem, and F. Wolter, Eds. Elsevier, 85-138.
    • (2007) Handbook of Modal Logic , pp. 85-138
    • Fitting, M.C.1
  • 14
    • 21144453887 scopus 로고    scopus 로고
    • Comparing semantics of logics for multi-agent systems
    • GORANKO, V. AND JAMROGA, W. 2004. Comparing semantics of logics for multi-agent systems. Synthese 139, 2, 241-280.
    • (2004) Synthese , vol.139 , Issue.2 , pp. 241-280
    • Goranko, V.1    Jamroga, W.2
  • 15
    • 67650458240 scopus 로고    scopus 로고
    • Tableau-Based procedure for deciding satisfiability in the full coalitional multi agent epistemic logic
    • S. Artemov and A. Nerode, Eds. Lecture Notes in Computer Science, Springer-Verlag
    • GORANKO, V. AND SHKATOV, D. 2009. Tableau-Based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic. In Proceedings of Symposium on Logical Foundations of Computer Science (LFCS 2009), S. Artemov and A. Nerode, Eds. Lecture Notes in Computer Science, vol.5407. Springer-Verlag, 197-213.
    • (2009) Proceedings of Symposium on Logical Foundations of Computer Science (LFCS 2009) , vol.5407 , pp. 197-213
    • Goranko, V.1    Shkatov, D.2
  • 16
    • 58049186127 scopus 로고    scopus 로고
    • Tableau-Based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge
    • A. Cerone and S. Gunter, Eds. IEEE Computer Society Press, Corrected version
    • GORANKO, V. AND SHKATOV, D. 2008. Tableau-Based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge. In Proceedings of the 6th IEEE International Conference on Sofware Engineering and Formal Methods (SEFM'08), A. Cerone and S. Gunter, Eds. IEEE Computer Society Press, 237-246. Corrected version http://arxiv.org/abs/0808. 4133.
    • (2008) Proceedings of the 6th IEEE International Conference on Sofware Engineering and Formal Methods (SEFM'08) , pp. 237-246
    • Goranko, V.1    Shkatov, D.2
  • 17
    • 33244455654 scopus 로고    scopus 로고
    • Complete axiomatization and decidablity of alternatingtime temporal logic
    • GORANKO, V. AND VANDRIMMELEN,G. 2006. Complete axiomatization and decidablity of alternatingtime temporal logic. Theoretical Comput. Sci. 353, 93-117.
    • (2006) Theoretical Comput. Sci. , vol.353 , pp. 93-117
    • Goranko, V.1    Van Drimmelen, G.2
  • 18
    • 0001919918 scopus 로고
    • Tableau methods for modal and temporal logics
    • M. D'Agostino, D. Gabbay, and R. Hänhle, Eds. Kluwer
    • GOŔE,R. 1988. Tableau methods for modal and temporal logics. In Handbook of Tableau Methods, M. D'Agostino, D. Gabbay, and R. Hänhle, Eds. Kluwer.
    • (1988) Handbook of Tableau Methods
    • Goŕ, E.R.1
  • 20
    • 33746235636 scopus 로고
    • The challenge of open systems
    • D. Partridge and Y. Wilks, Eds. Cambridge University Press
    • HEWITT, C. 1990. The challenge of open systems. In The Foundations of Artificial Intelligence-A Sourcebook, D. Partridge and Y. Wilks, Eds. Cambridge University Press, 383-395.
    • (1990) The Foundations of Artificial Intelligence-A Sourcebook , pp. 383-395
    • Hewitt, C.1
  • 22
    • 0042407900 scopus 로고    scopus 로고
    • Ph.D. thesis. ILLC Dissertation Series 2001-2010, University of Amsterdam
    • PAULY, M. 2001a. Logic for social software. Ph.D. thesis. ILLC Dissertation Series 2001-2010, University of Amsterdam.
    • (2001) Logic for Social Software
    • Pauly, M.1
  • 23
    • 0010247020 scopus 로고    scopus 로고
    • A logical framework for coalitional effectivity in dynamic procedures
    • PAULY, M. 2001b. A logical framework for coalitional effectivity in dynamic procedures. Bull. Econom. Res. 53, 4, 305-324.
    • (2001) Bull. Econom. Res. , vol.53 , Issue.4 , pp. 305-324
    • Pauly, M.1
  • 24
    • 0036466117 scopus 로고    scopus 로고
    • A modal logic for coalitional power in games
    • PAULY, M. 2002. A modal logic for coalitional power in games. J. Logic Comput. 12, 1, 149-166.
    • (2002) J. Logic Comput. , vol.12 , Issue.1 , pp. 149-166
    • Pauly, M.1
  • 25
    • 34247603693 scopus 로고    scopus 로고
    • Game logic-An overview
    • PAULY, M. AND PARIKH, R. 2003. Game logic-An overview. Studia Logica 75, 2, 165-182.
    • (2003) Studia Logica , vol.75 , Issue.2 , pp. 165-182
    • Pauly, M.1    Parikh, R.2
  • 30
  • 31
    • 0004231565 scopus 로고    scopus 로고
    • WEISS, G., ED. MIT Press
    • WEISS, G., ED. 1999. Multiagent Systems. MIT Press.
    • (1999) Multiagent Systems
  • 32
    • 0000427127 scopus 로고
    • The tableau method for temporal logic: An overview
    • WOLPER, P. 1985. The tableau method for temporal logic: An overview. Logique et Analyse 28, 110- 111, 119-136.
    • (1985) Logique et Analyse , vol.28 , Issue.110-111 , pp. 119-136
    • Wolper, P.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.