메뉴 건너뛰기




Volumn 2132, Issue , 2001, Pages 16-30

A truly concurrent model for interacting agents

Author keywords

[No Author keywords available]

Indexed keywords

DATA PRIVACY; INTELLIGENT AGENTS; NETWORK SECURITY; SEMANTICS;

EID: 84875086751     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44637-0_2     Document Type: Conference Paper
Times cited : (5)

References (10)
  • 1
    • 0007093917 scopus 로고
    • Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
    • Springer
    • J. W. de Bakker, W.-P. de Roever and G. Rozenberg (eds.), Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, Springer, 1989.
    • (1989) LNCS , vol.354
    • de Bakker, J.W.1    de Roever, W.-P.2    Rozenberg, G.3
  • 5
    • 0024929683 scopus 로고
    • Step Semantics for ‘True’ Concurrency with Recursion
    • J.-J. Ch. Meyer and E. P. de Vink, “Step Semantics for ‘True’ Concurrency with Recursion”, Distributed Computing 3 (1989), pp. 130–145.
    • (1989) Distributed Computing , vol.3 , pp. 130-145
    • Meyer, J.-J.C.1    de Vink, E.P.2
  • 6
    • 0011725182 scopus 로고    scopus 로고
    • Control Architectures for Autonomous and Interacting Agents: A Survey
    • (L. Cavedon, A. Rao, W. Wobcke, eds.), LNCS 1209, Springer
    • J. Müller, “Control Architectures for Autonomous and Interacting Agents: A Survey”, in Intelligent Agent Systems: Theoretical and Practical Issues, (L. Cavedon, A. Rao, W. Wobcke, eds.), LNCS 1209, Springer, 1996, pp. 1–26.
    • (1996) Intelligent Agent Systems: Theoretical and Practical Issues , pp. 1-26
    • Müller, J.1
  • 7
    • 8444249030 scopus 로고
    • AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language
    • (W. van der Velde and J. W. Perram, eds.), LNAI 1038, Springer
    • A. S. Rao, “AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language”, in Agents Breaking Away, (W. van der Velde and J. W. Perram, eds.), LNAI 1038, Springer, 1995, pp. 341–354.
    • (1995) Agents Breaking Away , pp. 341-354
    • Rao, A.S.1
  • 8
    • 40849110895 scopus 로고
    • Non-monotonic Temporal Reasoning
    • Epistemic and Temporal Reasoning, (D. M. Gabbay, C. J. Hogger, J. A. Robinson, eds.), Clarendon Press, Oxford
    • E. Sandewall and Y. Shoham, “Non-monotonic Temporal Reasoning”, in Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4 on Epistemic and Temporal Reasoning, (D. M. Gabbay, C. J. Hogger, J. A. Robinson, eds.), Clarendon Press, Oxford, 1995.
    • (1995) Handbook of Logic in Artificial Intelligence and Logic Programming , vol.4
    • Sandewall, E.1    Shoham, Y.2
  • 9
    • 0027560432 scopus 로고
    • Agent-Oriented Programming
    • Y. Shoham, “Agent-Oriented Programming”, Artificial Intelligence 60 (1993), pp. 51–92.
    • (1993) Artificial Intelligence , vol.60 , pp. 51-92
    • Shoham, Y.1


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