Validation of first-order rule-based systems

被引:0
|
作者
IRISA, Rennes, France [1 ]
机构
来源
Comput Intell | / 4卷 / 523-540期
关键词
D O I
暂无
中图分类号
学科分类号
摘要
28
引用
收藏
相关论文
共 50 条
  • [31] Logical foundations of rule-based systems
    Perfilieva, I
    FUZZY SETS AND SYSTEMS, 2006, 157 (05) : 615 - 621
  • [32] Lumpability Abstractions of Rule-based Systems
    Feret, Jerome
    Henzinger, Thomas
    Koeppl, Heinz
    Petrov, Tatjana
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (40): : 142 - 161
  • [33] MODELING CONTROL IN RULE-BASED SYSTEMS
    VESTLI, M
    NORDBO, I
    SOLVBERG, A
    IEEE SOFTWARE, 1994, 11 (02) : 77 - 81
  • [34] Reliability testing of rule-based systems
    AT&T Network Computing Services, Div
    IEEE Software, 5 (76-82):
  • [35] Revealing the structure of rule-based systems
    Grossner, C
    Gokulchander, P
    Radhakrishnan, T
    Preece, AD
    INTERNATIONAL JOURNAL OF EXPERT SYSTEMS, 1996, 9 (02): : 255 - 278
  • [36] An actor model for rule-based systems
    Boufriche-Boufaïda, Z
    EXPERT SYSTEMS, 1999, 16 (01) : 11 - 18
  • [37] Noninteractive fuzzy rule-based systems
    Lotfi, A
    Howarth, M
    INFORMATION SCIENCES, 1997, 99 (3-4) : 219 - 234
  • [38] PRINCIPLES OF RULE-BASED EXPERT SYSTEMS
    BUCHANAN, BG
    DUDA, RO
    ADVANCES IN COMPUTERS, 1983, 22 : 163 - 216
  • [39] Rule-Based Distributed and Agent Systems
    Badica, Costin
    Braubach, Lars
    Paschke, Adrian
    RULE-BASED REASONING, PROGRAMMING, AND APPLICATIONS, 2011, 6826 : 3 - +
  • [40] Integration of rule-based systems and database
    Kaula, R
    JOURNAL OF COMPUTER INFORMATION SYSTEMS, 2000, 40 (03) : 38 - 43