메뉴 건너뛰기




Volumn 1871, Issue , 2001, Pages 278-293

APT agents: Agents that are adaptive, predictable, and timely

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

EID: 84936853175     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45484-5_22     Document Type: Conference Paper
Times cited : (3)

References (18)
  • 1
    • 0002651837 scopus 로고
    • An overview of evolutionary algorithms for parameter optimization
    • Bäck, T. & Schwefel H.-P. (1993). An overview of evolutionary algorithms for parameter optimization. Evolutionary Computation, 1(1).
    • (1993) Evolutionary Computation , vol.1 , Issue.1
    • Bäck, T.1    Schwefel, H.-P.2
  • 2
    • 84955605382 scopus 로고
    • Efficient local model checking for fragments of the modal mu-calculus
    • Bhat, G. & Cleaveland, R. (1986). Efficient local model checking for fragments of the modal mu-calculus. Lecture Notes in Computer Science, 1055.
    • (1986) Lecture Notes in Computer Science , pp. 1055
    • Bhat, G.1    Cleaveland, R.2
  • 3
    • 84955583416 scopus 로고
    • On a decision method in restricted second-order arithmetic Methodology and Philosophy of Science
    • Büchi, J. (1962). On a decision method in restricted second-order arithmetic Methodology and Philosophy of Science, Proc. Stanford Int’l Congress.
    • (1962) Proc. Stanford Int’l Congress
    • Büchi, J.1
  • 4
    • 84955610157 scopus 로고
    • Liveness and fairness properties in multi-agent systems
    • Burkhard, H. (1993). Liveness and fairness properties in multi-agent systems. IJCAI’93.
    • (1993) IJCAI’93
    • Burkhard, H.1
  • 5
    • 0005455788 scopus 로고    scopus 로고
    • Formal methods: State of the art and future directions
    • Clarke, E. & Wing, J. (1997). Formal methods: State of the art and future directions. Computing Surveys.
    • (1997) Computing Surveys
    • Clarke, E.1    Wing, J.2
  • 7
    • 0000963981 scopus 로고    scopus 로고
    • On the relationship between duration of an encounter and the evolution of cooperation in the iteratedPrisoner’s Dilemma
    • Fogel, D. (1996). On the relationship between duration of an encounter and the evolution of cooperation in the iteratedPrisoner’s Dilemma. Evolutionary Computation, 3(3).
    • (1996) Evolutionary Computation , vol.3 , Issue.3
    • Fogel, D.1
  • 10
    • 84955564205 scopus 로고    scopus 로고
    • Well-behaved Borgs, Bolos, and Berserkers
    • Gordon, D. (1998). Well-behaved Borgs, Bolos, and Berserkers. ICML’98.
    • (1998) ICML’98
    • Gordon, D.1
  • 11
    • 0002125465 scopus 로고
    • Synchronizing multiagent plans using temporal logic specifications
    • Kabanza, F. (1995). Synchronizing multiagent plans using temporal logic specifications. ICMAS’95.
    • (1995) ICMAS’95
    • Kabanza, F.1
  • 12
    • 84955615719 scopus 로고    scopus 로고
    • Adaptive supervisory control of multi-agent systems
    • Kiriakos, K. & Gordon, D. (2000). Adaptive supervisory control of multi-agent systems. FAABS’00.
    • (2000) FAABS’00
    • Kiriakos, K.1    Gordon, D.2
  • 13
    • 84955593894 scopus 로고    scopus 로고
    • On explicit plan languages for coordinating multiagent plan execution
    • Lee, J. & Durfee, E. (1997). On explicit plan languages for coordinating multiagent plan execution. ATAL’97.
    • (1997) ATAL’97
    • Lee, J.1    Durfee, E.2
  • 15
    • 0029244437 scopus 로고
    • Social laws for artificial agent societies: Off-line design
    • Shoham, Y. & Tennenholtz, M. (1992). Social laws for artificial agent societies: Off-line design. Artificial Intelligence, 73.
    • (1992) Artificial Intelligence , pp. 73
    • Shoham, Y.1    Tennenholtz, M.2
  • 16
    • 0347978866 scopus 로고
    • Incremental model checking in the modal mucalculus
    • Sokolsky, O. & Smolka, S. (1994). Incremental model checking in the modal mucalculus. CAV’94.
    • (1994) CAV’94
    • Sokolsky, O.1    Smolka, S.2
  • 17
    • 84856233522 scopus 로고    scopus 로고
    • Evolving finite-state machine strategies for protecting resources
    • Spears, W. & Gordon, D. (2000). Evolving finite-state machine strategies for protecting resources. ISMIS’00.
    • (2000) ISMIS’00
    • Spears, W.1    Gordon, D.2
  • 18
    • 84955594185 scopus 로고    scopus 로고
    • Using artificial physics to control agents
    • Spears, W. & Gordon, D. (1999). Using artificial physics to control agents. ICIIS’99.
    • (1999) ICIIS’99
    • Spears, W.1    Gordon, D.2


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