Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/ruleml2011-europe/paper/60> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- 60 creator andreas-hamfelt.
- 60 creator giacomo-aceto.
- 60 creator jenny-eriksson-lundstroem.
- 60 type InProceedings.
- 60 label "A dynamic metalogic argumentation framework implementation".
- 60 sameAs 60.
- 60 abstract "One of the main challenges that faces the AI-community is to express close approximations of human reasoning as computational formalizations of argument. In this paper we present a full implementation and accompanying software for defeasible adversarial argumentation. The work is based on the metalogic framework of defeasible adversarial argumentation games of [9]. The software we developed consists of: a meta-interpreter, a declarative implementation of the argumentation game model and a graphical interface developed in Java that shows the results of the game execution and the construction of the argumentation derivation tree.".
- 60 hasAuthorList authorList.
- 60 isPartOf proceedings.
- 60 keyword "Argumentation games".
- 60 keyword "Defeasible argumentation software".
- 60 keyword "Defeasible rules".
- 60 keyword "Game trees".
- 60 keyword "Metalogic programming".
- 60 title "A dynamic metalogic argumentation framework implementation".