Algorithms and efficient encodings for argumentation frameworks and arithmetic problems
In this thesis we focus on the design and implementation of a particular framework of Possibilistic Defeasible Logic Programming (RP-DeLP). This framework is based on a general notion of collective (non-binary) conflict among arguments allowing to ensure direct and indirect consistency properties w...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Doctoral Thesis |
| Language: | English |
| Published: |
Universitat de Lleida
2014
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10803/284474 |