tuprolog/arg2p
v0.23.0MIT
Structured argumentation with Arg2P: formalize problems as theories, solve them, and explore the results in its solver.
| Version | Commit | First seen |
|---|---|---|
| 0.23.0latest | b968602006a5 |
Structured argumentation with Arg2P: formalize problems as theories, solve them, and explore the results in its solver.
| Version | Commit | First seen |
|---|---|---|
| 0.23.0latest | b968602006a5 |