Changes for page Arg2P

From version 65.1
edited by Andrea Omicini
on 22/07/2022 20:36
Change comment: There is no comment for this version
To version 58.1
edited by Andrea Omicini
on 03/11/2021 18:01
Change comment: There is no comment for this version

Summary

Details

Page properties
Title
... ... @@ -1,0 +1,1 @@
1 +Arg2P Home
Content
... ... @@ -1,7 +1,6 @@
1 -= {{arg2p/}} =
2 -
3 -{{include reference="Punchline" excludeFirstHeading="true"/}}
4 -
1 +{{velocity}}(((
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 +))){{/velocity}}
5 5  >{{arg2p/}} in a nutshell
6 6  
7 7  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.
... ... @@ -9,5 +9,6 @@
9 9  {{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//).
10 10  
11 11  More informations on the project are available on the {{arg2p/}} [[GitLab wiki>>https://pika-lab.gitlab.io/argumentation/arg2p-kt/]].
11 +{{include reference="Environment"/}}
12 12  
13 -{{include reference="Environment" excludeFirstHeading="true"/}}
13 +

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