Lib.rs

› 关键词 #framework #af #ai #logic #reasoning #solver #ipafair #api-bindings

## 参数论证

  1. aspic

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

    v0.1.1 #reasoning #ai #logic #argumentation

  2. crustabri

    一个参数论证框架库和求解器

    v1.1.1 #solver #framework #argumentation #af #frameworks

  3. crustabri_ipafair

    基于 Crustabri 求解器的 IPAFAIR 兼容库

    v1.0.0 #framework #dynamics #ipafair #af #argumentation #api-bindings #frameworks

    4. 尝试使用 DuckDuckGo 搜索。

  4. ipafair-sys

    Rust 对 IPAFAIR API 的绑定

    v1.0.0 #framework #ipafair #argumentation #af