Changes for page Arg2P

From version 55.1
edited by Andrea Omicini
on 03/11/2021 17:34
Change comment: There is no comment for this version
To version 54.1
edited by Andrea Omicini
on 03/11/2021 17:34
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -2,7 +2,6 @@
2 2  !!(% style="background-color:$theme.fieldGradientColor; border-style:hidden" %){{arg2p/}} (short for {{argtuprolog/}}) is a logic-based agreement framework enabling defeasible reasoning in intelligent systems
3 3  ))){{/velocity}}
4 4  >{{arg2p/}} in a nutshell
5 -
6 6  The {{arg2p/}} argumentation engine is built on the top of [[{{tuprolog/}}>>Tuprolog.WebHome||target=_blank]] ({{2p/}}) engine. {{arg2p/}} is a lightweight implementation of the ASPIC+-like system for structured argumentation.
7 7  {{arg2p/}} enables defeasible reasoning and argumentation, and deals with priorities over rules. It includes a formal method for dealing with burden of proof (//burden of persuasion//).
8 8  More informations on the project are available on the {{arg2p/}} [[GitLab wiki>>https://pika-lab.gitlab.io/argumentation/arg2p-kt/]].

Contacts

Roberta Calegari email  |  Giovanni Ciatto email  |  Andrea Omicini email  |  Giuseppe Pisano email  |  Giovanni Sartor email

Downloads

GitHub  |  Maven Central  |  NPM

Documentation

GitLab

Online tools

Playground

Sources

GitHub