Changes for page Arg2P

From version 22.1
edited by Andrea Omicini
on 12/03/2021 22:13
Change comment: There is no comment for this version
To version 19.1
edited by Andrea Omicini
on 12/03/2021 14:43
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -1,13 +1,2 @@
1 1  {{include document="MacroSheet"/}}
2 -
3 -{{summary}}{{arg2p/}} is an argumentation engine built on the top of {{tuprolog/}} ({{2p/}}) engine. {{arg2p/}} is a lightweight implementation of the ASPIC+-like system for structured argumentation.{{/summary}}
4 -
5 -== {{arg2p/}} in a nutshell ==
6 -
7 -In {{arg2p/}} arguments are produced from a set of defeasible rules, and attack relationships between arguments are captured by argumentation graphs. The arguments of such graphs are labelled by following a labelling semantics. This simple framework will suffice to illustrate our upcoming investigation into persuasive burdens within an argumentation setting.
8 -
9 -In addition, we use defeasible rule schemata to account for deontic reasoning, towards doctrine reification, as presented in Riveret et al., 2019.
10 -
11 -Moreover, the model has been extended following the burden of proof model presented in [[Calegari and Sartor, 2020>>Publications/BurdenofproofIclp2020]].
12 -
13 -More information about the format of the knowledge base and rules can be found on the basic syntax.
2 +{{arg2p/}} is an argumentation engine built on the top of {{tuprolog/}} ({{2p/}}) engine. {{arg2p/}} is a lightweight implementation of the ASPIC+-like system for structured argumentation.
Arg2P-logo.jpg
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.AndreaOmicini
Size
... ... @@ -1,0 +1,1 @@
1 +64.8 KB
Content

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