Lib.rs

› 关键词 #artificial-intelligence #theorem #proving #theorem-prover #solver #logic

#推理

  1. chronologic

    时间约束推理（调度...）

    v0.7.3 900 #time #time-management #date-time #constraint #reasoning #constraints #data-structures

  2. fasb

    faceted answer set browser

    v0.1.2 #set #reasoning #repl #browser #navigation #quantitative #system

  3. monotonic_solver

    一个设计为易于与Rust枚举表达式一起使用的单调求解器

    v0.5.0 #theorem-prover #solver #monotonic #theorem #reasoning #artificial-intelligence #proving

  4. rify

    在RIF-like合取规则上运行的RDF推理器。输出某些声明的机器可读证明，可轻松验证。

    v0.7.1 #rdf #rules #bounds #graph #reasoning #proof #entity

  5. propositional

    逻辑

    v0.1.0-alpha.2 #logic #propositional-logic #artificial-intelligence #logical #truth #reasoning #formal

  6. reasonable

    一个具有合理性能的OWL 2 RL推理器

    v0.2.1-alpha9 #owl #rl #reasoner #reasoning #performance #engine #semantic

  7. repr

    正则表达式作为线性逻辑的解释及其实现

    v0.0.10 #regex #non-deterministic #pattern #interpretation #resources #math #reasoning

  8. aspic

    一个ASPIC+论证系统和推理引擎

    v0.1.1 #reasoning #ai #logic #argumentation

  9. rusty_planner

    Rust的人工智能规划与推理库

    v0.1.2 #artificial-intelligence #planning #reasoning #ai #control-systems

  10. petr-pkg

    petr语言的包管理器

    v0.1.0 110 #petr #language #lock-file #reasoning

  11. reachability_solver

    针对有向边的线性可达性求解器

    v0.2.0 #求解器 #线性求解器 #定理 #证明 #可达性 #推理 #定理证明器

    12. 尝试使用DuckDuckGo搜索。

  12. linear_solver

    一个设计用来与Rust枚举表达式易于使用的线性求解器

    v0.2.2 #求解器 #定理证明器 #线性 #证明 #定理 #推理