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 条
  • [31] QUALITATIVE, RULE-BASED MODELING
    STARFIELD, AM
    BIOSCIENCE, 1990, 40 (08) : 601 - 604
  • [32] RULE-BASED SIMULATION METAMODELS
    PIERREVAL, H
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 1992, 61 (1-2) : 6 - 17
  • [33] Rule-Based Programming with Diaplan
    Drewes, Frank
    Hoffmann, Berthold
    Klein, Raimund
    Minas, Mark
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 127 (01) : 15 - 26
  • [34] The Science of Rule-based Classifiers
    Christopher, Jabez
    2019 9TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING, DATA SCIENCE & ENGINEERING (CONFLUENCE 2019), 2019, : 299 - 303
  • [35] Rule-based reactor control
    不详
    CONTROL ENGINEERING, 2005, 52 (07) : IP1 - +
  • [36] Visualization of Rule-Based Programming
    Yu, Wenshan
    Verma, Rakesh M.
    APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 1258 - 1259
  • [37] RULE-BASED DELEGATION FOR PROTOTYPES
    ALMARODE, J
    SIGPLAN NOTICES, 1989, 24 (10): : 363 - 370
  • [38] Rule-based epidemic models
    Waites, W.
    Cavaliere, M.
    Manheim, D.
    Panovska-Griffiths, J.
    Danos, V.
    JOURNAL OF THEORETICAL BIOLOGY, 2021, 530
  • [39] Identifying Rule-Based Rationality
    Halevy, Yoram
    Mayraz, Guy
    REVIEW OF ECONOMICS AND STATISTICS, 2024, 106 (05) : 1369 - 1380
  • [40] A RULE-BASED ANALYTIC INTERFACE
    MERCIER, R
    IEEE SPECTRUM, 1993, 30 (06) : 54 - 55
12345