jcel: A modular rule-based reasoner

被引：0
|
作者：
Mendez, Julian [1 ]
机构：
[1] Theoretical Computer Science, TU Dresden, Germany
来源：
CEUR Workshop Proceedings | 2012年 / 858卷
关键词：
Compilation and indexing terms; Copyright 2025 Elsevier Inc;
D O I：
1st International Workshop on OWL Reasoner Evaluation 2012, ORE 2012 - In Conjunction with the 6th International Joint Conference on Automated Reasoning, IJCAR 2012
中图分类号：
学科分类号：
摘要：
Formal languages - Data description - Computer circuits - Birds
引用
收藏
相关论文
共 50 条
  • [21] RULE-BASED PROGRAMMING
    MOSKOWITZ, L
    BYTE, 1986, 11 (12): : 217 - &
  • [22] Rule-Based Fiscal Policy: The Case Of Rule-Based Fiscal Policy In Turkey
    Karakurt, Birol
    Akdemir, Tekin
    MALIYE DERGISI, 2010, (158): : 226 - 261
  • [23] Automatic sleep scoring based on modular rule-based resoning units and signal processing units
    Oh, JS
    Park, HJ
    Seo, JW
    Park, KS
    PROCEEDINGS OF THE 23RD ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY, VOLS 1-4: BUILDING NEW BRIDGES AT THE FRONTIERS OF ENGINEERING AND MEDICINE, 2001, 23 : 1699 - 1702
  • [24] Investigation Into A Modular Rule-Based Testing Method For Testing Business Rules In Scheduling Applications
    Wetherall, Jodie
    Woodhead, Steve
    WMSCI 2008: 12TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL I, PROCEEDINGS, 2008, : 204 - 208
  • [25] Evolving modular neural networks using rule-based genetic programming - Extended summary
    Talko, B
    Stern, L
    Kitchen, L
    ADVANCED TOPICS IN ARTIFICIAL INTELLIGENCE, 1999, 1747 : 482 - 483
  • [26] A rule-based lens model
    Yin, Jing
    Rothrock, Ling
    INTERNATIONAL JOURNAL OF INDUSTRIAL ERGONOMICS, 2006, 36 (05) : 499 - 509
  • [27] Validating Rule-based Algorithms
    Laszlo Lengyel
    ACTA POLYTECHNICA HUNGARICA, 2015, 12 (04) : 59 - 75
  • [28] Rule-based ship design
    不详
    NAVAL ARCHITECT, 2007, : 159 - +
  • [29] Evolution of rule-based programs
    Lämmel, R
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 60-1 : 141 - 193
  • [30] Rule-based runtime verification
    Barringer, H
    Goldberg, A
    Havelund, K
    Sen, K
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2004, 2937 : 44 - 57
12345