INTEGRATION OF FUNCTIONS IN THE FIXPOINT SEMANTICS OF RULE-BASED SYSTEMS

被引：0
|
作者：
LAMBRICHTS, E [1 ]
NEES, P [1 ]
PAREDAENS, J [1 ]
PEELMAN, P [1 ]
TANCA, L [1 ]
机构：
[1] POLITECN MILAN, DIPARTIMENTO ELETTRON, I-20133 MILAN, ITALY
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 364卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：301 / 316
页数：16
相关论文
共 50 条
  • [1] FORMAL SEMANTICS FOR RULE-BASED SYSTEMS
    MURRELL, S
    PLANT, R
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1995, 29 (03) : 251 - 259
  • [2] Moment Semantics for Reversible Rule-Based Systems
    Danos, Vincent
    Heindel, Tobias
    Honorato-Zimmer, Ricardo
    Stucki, Sandro
    [J]. REVERSIBLE COMPUTATION, RC 2015, 2015, 9138 : 3 - 26
  • [3] ON THE SEMANTICS OF RULE-BASED EXPERT SYSTEMS WITH UNCERTAINTY
    KIFER, M
    LI, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 326 : 102 - 117
  • [4] Integration of rule-based systems and database
    Kaula, R
    [J]. JOURNAL OF COMPUTER INFORMATION SYSTEMS, 2000, 40 (03) : 38 - 43
  • [5] Inheritance in rule-based frame systems: Semantics and inference
    Yang, Guizhen
    Kifer, Michael
    [J]. JOURNAL ON DATA SEMANTICS VII, 2006, 4244 : 79 - 135
  • [6] RULE-BASED INTEGRATION OF AUTONOMOUS MULTIAGENT SYSTEMS
    SZCZERBICKI, E
    [J]. INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 1993, 24 (11) : 2117 - 2134
  • [7] Fixpoint semantics for rule-base anomalies
    Zhang, D
    [J]. ICCI 2005: Fourth IEEE International Conference on Cognitive Informatics - Proceedings, 2005, : 10 - 17
  • [8] Rule-based COTS integration
    Boonsiri, S
    Seacord, RC
    Mundie, DA
    [J]. JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY, 2003, 35 (03): : 197 - 204
  • [9] FO(FD): Extending classical logic with rule-based fixpoint definitions
    Hou, Ping
    De Cat, Broes
    Denecker, Marc
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2010, 10 : 581 - 596
  • [10] Rule-Based Operational Semantics for an Imperative Language
    Kirchner, Florent
    Sinot, Francois-Regis
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 174 (01) : 35 - 47
12345