메뉴 건너뛰기




Volumn 6057 LNAI, Issue , 2010, Pages 60-78

A model for integrating dialogue and the execution of joint plans

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX PROCESSES; TEAM MEMBERS;

EID: 78650470952     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-12805-9_4     Document Type: Conference Paper
Times cited : (7)

References (23)
  • 1
    • 0346942368 scopus 로고    scopus 로고
    • Decision-theoretic planning: Structural assumptions and computational leverage
    • Boutilier, C., Dean, T., Hanks, S.: Decision-theoretic planning: Structural assumptions and computational leverage. Journal of Artificial Intelligence Research 11, 1-94 (1999).
    • (1999) Journal of Artificial Intelligence Research , vol.11 , pp. 1-94
    • Boutilier, C.1    Dean, T.2    Hanks, S.3
  • 3
    • 0026913667 scopus 로고
    • Symbolic boolean manipulation with ordered binary-decision diagrams
    • Bryant, R.E.: Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Comput. Surv. 24(3), 293-318 (1992).
    • (1992) ACM Comput. Surv. , vol.24 , Issue.3 , pp. 293-318
    • Bryant, R.E.1
  • 8
    • 0038517219 scopus 로고    scopus 로고
    • Weak, strong, and strong cyclic planning via symbolic model checking
    • Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, strong, and strong cyclic planning via symbolic model checking. Artificial Intelligence 147(1-2), 35-84 (2003).
    • (2003) Artificial Intelligence , vol.147 , Issue.1-2 , pp. 35-84
    • Cimatti, A.1    Pistore, M.2    Roveri, M.3    Traverso, P.4
  • 9
    • 0025403233 scopus 로고
    • Intention is choice with commitment
    • Cohen, P., Levesque, H.: Intention is choice with commitment. Artficial Intelligence 42, 213- 261 (1990).
    • (1990) Artficial Intelligence , vol.42 , pp. 213-261
    • Cohen, P.1    Levesque, H.2
  • 12
    • 0343710419 scopus 로고
    • The implicit set paradigm: A new approach to finite state system verification
    • Coudert, O., Madre, J.C.: The implicit set paradigm: a new approach to finite state system verification. Formal Methods in System Design 6(2), 133-145 (1995).
    • (1995) Formal Methods in System Design , vol.6 , Issue.2 , pp. 133-145
    • Coudert, O.1    Madre, J.C.2
  • 14
    • 0000438051 scopus 로고    scopus 로고
    • The evolution of sharedplans
    • Rao, A.Wooldridge, M. (eds.), Kluwer, Dordrecht
    • Grosz, B., Kraus, S.: The evolution of sharedplans. In: Rao, A., Wooldridge, M. (eds.) Foundations and Theories of Rational Agency. Kluwer, Dordrecht (2003).
    • (2003) Foundations and Theories of Rational Agency
    • Grosz, B.1    Kraus, S.2
  • 16
    • 37149050223 scopus 로고    scopus 로고
    • State-set branching: Leveraging bdds for heuristic search
    • Jensen, R.M., Veloso, M.M., Bryant, R.E.: State-set branching: Leveraging bdds for heuristic search. Artificial Intelligence 172(2-3), 103-139 (2008).
    • (2008) Artificial Intelligence , vol.172 , Issue.2-3 , pp. 103-139
    • Jensen, R.M.1    Veloso, M.M.2    Bryant, R.E.3
  • 17
    • 0041905624 scopus 로고    scopus 로고
    • Argumentation-based dialogues for agent coordination
    • Parsons, S., McBurney, P.: Argumentation-based dialogues for agent coordination. Group Decision and Negotiation 12(5) (2003).
    • (2003) Group Decision and Negotiation , vol.12 , Issue.5
    • Parsons, S.1    McBurney, P.2
  • 19
    • 84961371345 scopus 로고    scopus 로고
    • A framework for argumentation-based negotiations
    • Rao, A. Singh, M.P.Wooldridge, M.J. (eds.), LNCS, vol. 1365, Springer, Heidelberg
    • Sierra, C., Jennings, N.R., Noriega, P., Parsons, S.: A framework for argumentation-based negotiations. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol. 1365, pp. 177-192. Springer, Heidelberg (1998).
    • (1998) ATAL 1997 , pp. 177-192
    • Sierra, C.1    Jennings, N.R.2    Noriega, P.3    Parsons, S.4


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