Logic Reasoning Systems AI Agents
There are 3 logic reasoning systems agents tracked. The highest-rated is erohkohl/mlsolver at 26/100 with 66 stars.
Get all 3 projects as JSON
curl "https://pt-edge.onrender.com/api/v1/datasets/quality?domain=agents&subcategory=logic-reasoning-systems&limit=20"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
| # | Agent | Score | Tier |
|---|---|---|---|
| 1 |
erohkohl/mlsolver
Modelling of multi-agent-system as Kripke structure and implementation of... |
|
Experimental |
| 2 |
binghe/OSCAR
The OSCAR Project: the general-purpose defeasible reasoner and architecture... |
|
Experimental |
| 3 |
CarsonScott/Automated-Logical-Systems
Distributed constraint satisfaction with recursive message-passing agents |
|
Experimental |