Validation of first-order rule-based systems

被引：0
|
作者：
IRISA, Rennes, France [1 ]
机构：
来源：
Comput Intell | / 4卷 / 523-540期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
28
引用
收藏
相关论文
共 50 条
  • [1] Validation of first-order rule-based systems
    Cordier, MO
    Loiseau, S
    [J]. COMPUTATIONAL INTELLIGENCE, 1996, 12 (04) : 523 - 540
  • [2] Destructive Rule-Based Properties and First-Order Logic
    Duris, David
    [J]. SOFSEM 2010: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2010, 5901 : 334 - 345
  • [3] A framework for validation of rule-based systems
    Knauf, R
    Gonzalez, AJ
    Abel, T
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2002, 32 (03): : 281 - 295
  • [4] Towards validation and refinement of rule-based systems
    Knauf, R
    Philippow, I
    Gonzalez, AJ
    [J]. JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 2000, 12 (04) : 421 - 431
  • [5] Structure-based validation of rule-based systems
    Preece, AD
    Grossner, C
    Chander, PG
    Radhakrishnan, T
    [J]. DATA & KNOWLEDGE ENGINEERING, 1998, 26 (02) : 161 - 189
  • [6] Structure-based validation of rule-based systems
    Preece, A.D.
    Grossner, C.
    Chander, P.G.
    Radhakrishnan, T.
    [J]. Data and Knowledge Engineering, 1998, 26 (02): : 161 - 189
  • [7] Margin-based first-order rule learning
    Ulrich Rückert
    Stefan Kramer
    [J]. Machine Learning, 2008, 70 : 189 - 206
  • [8] Margin-based first-order rule learning
    Rueckert, Ulrich
    Kramer, Stefan
    [J]. MACHINE LEARNING, 2008, 70 (2-3) : 189 - 206
  • [9] An extension rule based first-order theorem prover
    Wu, Xia
    Sun, Jigui
    Hou, Kun
    [J]. KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2006, 4092 : 514 - 524
  • [10] Margin-based first-order rule learning
    Rueckert, Ulrich
    Kramer, Stefan
    [J]. INDUCTIVE LOGIC PROGRAMMING, 2007, 4455 : 46 - +
12345