메뉴 건너뛰기




Volumn 5919 LNAI, Issue , 2010, Pages 31-48

A computational semantics for communicating rational agents based on mental models

Author keywords

[No Author keywords available]

Indexed keywords

AGENT PROGRAMMING; COMMUNICATION PRIMITIVES; COMPUTATIONAL SEMANTICS; COORDINATE AGENT; MENTAL MODEL; MOOD OPERATOR; MULTI-AGENT; OPERATIONAL SEMANTICS; RATIONAL AGENTS; SPEECH ACTS;

EID: 78649887211     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14843-9_3     Document Type: Conference Paper
Times cited : (5)

References (25)
  • 2
    • 0004097793 scopus 로고
    • Cambridge University Press, Cambridge
    • Searle, J.: Speech acts. Cambridge University Press, Cambridge (1969)
    • (1969) Speech Acts
    • Searle, J.1
  • 4
    • 4544293667 scopus 로고    scopus 로고
    • Technical Report SC00037J, Foundation for Intelligent Physical Agents, Geneva, Switzerland
    • FIPA: Fipa communicative act library specification. Technical Report SC00037J, Foundation for Intelligent Physical Agents, Geneva, Switzerland (2002)
    • (2002) FIPA: Fipa Communicative Act Library Specification
  • 10
    • 34748813038 scopus 로고    scopus 로고
    • Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language
    • Vieira, R., Moreira, A., Wooldridge, M., Bordini, R.H.: Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. Artificial Intelligence Research 29, 221-267 (2007)
    • (2007) Artificial Intelligence Research , vol.29 , pp. 221-267
    • Vieira, R.1    Moreira, A.2    Wooldridge, M.3    Bordini, R.H.4
  • 12
    • 50949087645 scopus 로고    scopus 로고
    • Simpa: A simple agent-oriented java extension for developing concurrent applications
    • Dastani, M.M., El Fallah Seghrouchni, A., Leite, J., Torroni, P. (eds.) LADS 2007. Springer, Heidelberg
    • Ricci, A., Viroli, M., Piancastelli, G.: simpa: A simple agent-oriented java extension for developing concurrent applications. In: Dastani, M.M., El Fallah Seghrouchni, A., Leite, J., Torroni, P. (eds.) LADS 2007. LNCS (LNAI), vol. 5118, pp. 176-191. Springer, Heidelberg (2008)
    • (2008) LNCS (LNAI) , vol.5118 , pp. 176-191
    • Ricci, A.1    Viroli, M.2    Piancastelli, G.3
  • 13
    • 0032294174 scopus 로고    scopus 로고
    • Agent Communication Languages: Rethinking the Principles
    • Singh, M.: Agent Communication Languages: Rethinking the Principles. IEEE Computer 31(12), 40-47 (1998)
    • (1998) IEEE Computer , vol.31 , Issue.12 , pp. 40-47
    • Singh, M.1
  • 14
    • 0034409881 scopus 로고    scopus 로고
    • Semantic Issues in the Verification of Agent Communication Languages
    • Wooldridge, M.: Semantic Issues in the Verification of Agent Communication Languages. Autonomous Agents and Multi-Agent Systems 3(1), 9-31 (2000)
    • (2000) Autonomous Agents and Multi-Agent Systems , vol.3 , Issue.1 , pp. 9-31
    • Wooldridge, M.1
  • 16
    • 0003197674 scopus 로고    scopus 로고
    • A social semantics for agent communication languages
    • Springer, Heidelberg
    • Singh, M.P.: A social semantics for agent communication languages. In: Issues in Agent Communication, pp. 31-45. Springer, Heidelberg (2000)
    • (2000) Issues in Agent Communication , pp. 31-45
    • Singh, M.P.1
  • 21
    • 34447189347 scopus 로고
    • Against the power of force: Reflections on the meaning of mood
    • Pendlebury, M.: Against the power of force: reflections on the meaning of mood. Mind 95, 361-372 (1986)
    • (1986) Mind , vol.95 , pp. 361-372
    • Pendlebury, M.1
  • 25
    • 34247154931 scopus 로고    scopus 로고
    • A verification framework for agent programming with declarative goals
    • DOI 10.1016/j.jal.2005.12.014, PII S1570868305001011, Logic-Based Agent Verification
    • de Boer, F., Hindriks, K., van der Hoek, W., Meyer, J.J.: A Verification Framework for Agent Programming with Declarative Goals. Journal of Applied Logic 5(2), 277-302 (2007) (Pubitemid 46590847)
    • (2007) Journal of Applied Logic , vol.5 , Issue.2 , pp. 277-302
    • De Boer, F.S.1    Hindriks, K.V.2    Van Der Hoek, W.3    Meyer, J.-J.C.4


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