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 条
  • [41] THE PROBLEMS WITH RULE-BASED RATIONING
    HALL, MA
    JOURNAL OF MEDICINE AND PHILOSOPHY, 1994, 19 (04): : 315 - 332
  • [42] A Rule-based Smart Thermostat
    Bao, Nhan
    Chung, Sun-Tae
    2018 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND INTELLIGENT SYSTEMS (CIIS 2018), 2018, : 20 - 25
  • [43] Comparing rule-based policies
    Bonatti, P. A.
    Mogavero, F.
    2008 IEEE WORKSHOP ON POLICIES FOR DISTRIBUTED SYSTEMS AND NETWORKS, PROCEEDINGS, 2008, : 11 - 18
  • [44] Reasoner = Logical Calculus + Rule Engine
    David Carral
    Irina Dragoste
    Markus Krötzsch
    KI - Künstliche Intelligenz, 2020, 34 : 453 - 463
  • [45] Rule-based Genetic Programming
    Weise, Thomas
    Zapf, Michael
    Geihs, Kurt
    2007 2ND BIO-INSPIRED MODELS OF NETWORKS, INFORMATION AND COMPUTING SYSTEMS (BIONETICS), 2007, : 7 - 14
  • [46] A RULE-BASED COMMUNICATIONS PROGRAM
    BOLLAY, D
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1992, 5 (03): : 77 - 78
  • [47] Rule-based Bayesian regression
    Themistoklis Botsas
    Lachlan R. Mason
    Indranil Pan
    Statistics and Computing, 2022, 32
  • [48] Rule-based Graph Repair
    Sandmann, Christian
    Habel, Annegret
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (309): : 87 - 104
  • [49] Rule-Based Service Modeling
    Gebhart, Michael
    Abeck, Sebastian
    2009 FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING ADVANCES (ICSEA 2009), 2009, : 271 - 276
  • [50] Rule-based programming with pLog
    Marin, M
    Ida, T
    SEVENTH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, PROCEEDINGS, 2005, : 31 - 38
12345