메뉴 건너뛰기




Volumn 3808 LNCS, Issue , 2005, Pages 512-523

Intentions and strategies in game-like scenarios

Author keywords

Common sense reasoning; Multi agent systems; Strategic reasoning

Indexed keywords

ARTIFICIAL INTELLIGENCE; BEHAVIORAL RESEARCH; FORMAL LOGIC; STRATEGIC PLANNING;

EID: 33744806068     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11595014_51     Document Type: Conference Paper
Times cited : (22)

References (21)
  • 2
    • 0010276940 scopus 로고    scopus 로고
    • A logic for suspicious players
    • A. Baltag. A logic for suspicious players. Bulletin of Economic Research, 54(1):1-46, 2002.
    • (2002) Bulletin of Economic Research , vol.54 , Issue.1 , pp. 1-46
    • Baltag, A.1
  • 3
    • 0031074857 scopus 로고    scopus 로고
    • Fast planning through graph analysis
    • A. L. Blum and M. L. Furst. Fast planning through graph analysis. Artificial Intelligence, 90:281-300, 1997.
    • (1997) Artificial Intelligence , vol.90 , pp. 281-300
    • Blum, A.L.1    Furst, M.L.2
  • 4
    • 22944485927 scopus 로고    scopus 로고
    • Modal logic and game theory: Two alternative approaches
    • G. Bonanno. Modal logic and game theory: Two alternative approaches. Risk Decision and Policy, 7:309-324, 2002.
    • (2002) Risk Decision and Policy , vol.7 , pp. 309-324
    • Bonanno, G.1
  • 5
    • 33744823027 scopus 로고    scopus 로고
    • A characterization of von Neumann games in terms of memory
    • G. Bonanno. A characterization of von Neumann games in terms of memory. Synthese, 139(2):237-256, 2004.
    • (2004) Synthese , vol.139 , Issue.2 , pp. 237-256
    • Bonanno, G.1
  • 8
    • 0001449325 scopus 로고
    • Temporal and modal logic
    • J. van Leeuwen, editor. Elsevier Science Publishers
    • E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995-1072. Elsevier Science Publishers, 1990.
    • (1990) Handbook of Theoretical Computer Science , vol.B , pp. 995-1072
    • Emerson, E.A.1
  • 9
    • 84943225005 scopus 로고    scopus 로고
    • Planning as model checking
    • F. Giunchiglia and P. Traverso. Planning as model checking. In ECP, pages 1-20, 1999.
    • (1999) ECP , pp. 1-20
    • Giunchiglia, F.1    Traverso, P.2
  • 13
    • 0026925206 scopus 로고
    • The uses of plans
    • M. Pollack. The uses of plans. Artificial Intelligence, 57(1):43-68, 1992.
    • (1992) Artificial Intelligence , vol.57 , Issue.1 , pp. 43-68
    • Pollack, M.1
  • 14
    • 0002572155 scopus 로고
    • Modeling rational agents within a BDI-architecture
    • A.S. Rao and M.P. Georgeff. Modeling rational agents within a BDI-architecture. In Proceedings of KR-91, pages 473-484, 1991.
    • (1991) Proceedings of KR-91 , pp. 473-484
    • Rao, A.S.1    Georgeff, M.P.2
  • 15
    • 84945190264 scopus 로고    scopus 로고
    • Knowledge, belief and counterfactual reasoning in games
    • R. Stalnaker. Knowledge, belief and counterfactual reasoning in games. Economics and Philosophy, 12:133-163, 1996.
    • (1996) Economics and Philosophy , vol.12 , pp. 133-163
    • Stalnaker, R.1
  • 16
    • 0042886491 scopus 로고    scopus 로고
    • Games in dynamic epistemic logic
    • Proceedings of LOFT-4
    • J. van Benthem. Games in dynamic epistemic logic. Bulletin of Economic Research, 53(4):219-248, 2001. Proceedings of LOFT-4.
    • (2001) Bulletin of Economic Research , vol.53 , Issue.4 , pp. 219-248
    • Van Benthem, J.1
  • 18
    • 23844501997 scopus 로고    scopus 로고
    • Social laws in alternating time: Effectiveness, feasibility and synthesis
    • W. van der Hoek, M. Roberts, and M. Wooldridge. Social laws in alternating time: Effectiveness, feasibility and synthesis. Synthese, 2005.
    • (2005) Synthese
    • Van Der Hoek, W.1    Roberts, M.2    Wooldridge, M.3


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