Changes for page Arg2P

From version 54.1
edited by Andrea Omicini
on 03/11/2021 17:34
Change comment: There is no comment for this version
To version 53.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,8 +2,11 @@
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 +
5 5  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 +
6 6  {{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//).
9 +
7 7  More informations on the project are available on the {{arg2p/}} [[GitLab wiki>>https://pika-lab.gitlab.io/argumentation/arg2p-kt/]].
8 8  {{include reference="Environment"/}}
9 9  

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