Towards a sheaf semantics for cooperating agents scenarios

被引：0
|
作者：
Sofronie, V.
机构：
来源：
Lecture Notes in Computer Science | 1996年 / 1138卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Constructive sheaf semantics
    Palmgren, E
    MATHEMATICAL LOGIC QUARTERLY, 1997, 43 (03) : 321 - 327
  • [2] A SHEAF SEMANTICS FOR FOOPS EXPRESSIONS
    WOLFRAM, DA
    GOGUEN, JA
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 612 : 81 - 98
  • [3] Modeling cooperating agents scenarios by deductive planning methods and logical fiberings
    Pfalzgraf, J
    Sigmund, UC
    Stokkermans, K
    INTEGRATING SYMBOLIC MATHEMATICAL COMPUTATION AND ARTIFICIAL INTELLIGENCE, 1995, 958 : 167 - 190
  • [4] Towards a ubiquitous semantics of interaction: Phenomenology, scenarios, and traces
    Dix, A
    INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION AND VERIFICATION, 2002, 2545 : 238 - 252
  • [5] Verification of cooperating traffic agents
    Damm, W
    Hungar, H
    Olderog, ER
    INTERNATIONAL JOURNAL OF CONTROL, 2006, 79 (05) : 395 - 421
  • [6] Cooperating agents for Holonic Manufacturing
    Deen, SM
    MULTI-AGENT SYSTEMS AND APPLICATIONS II, 2002, 2322 : 119 - 133
  • [7] A framework for building cooperating agents
    Lanzola, G
    Campagnoli, M
    Falasconi, S
    Stefanelli, M
    ARTIFICIAL INTELLIGENCE IN MEDICINE, 1997, 1211 : 479 - 490
  • [8] A COMMUNICATION ARCHITECTURE FOR COOPERATING AGENTS
    BUSSMANN, S
    MULLER, J
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1993, 12 (01): : 37 - 53
  • [9] Cooperating agents for planning and scheduling
    Frankovic, B
    Dang, TT
    MANUFACTURING, MODELLING, MANAGEMENT AND CONTROL 2001 (MIM 2001), 2001, : 7 - 12
  • [10] Cooperating intelligent software agents
    Kirn, S
    WIRTSCHAFTSINFORMATIK, 2002, 44 (01): : 53 - 63
12345