Picture for Paul E. Dunne

Paul E. Dunne

Automata for Infinite Argumentation Structures

Add code
Oct 11, 2018
Figure 1 for Automata for Infinite Argumentation Structures
Figure 2 for Automata for Infinite Argumentation Structures
Figure 3 for Automata for Infinite Argumentation Structures
Figure 4 for Automata for Infinite Argumentation Structures
Viaarxiv icon

Computing Preferred Extensions in Abstract Argumentation: a SAT-based Approach

Add code
Oct 23, 2013
Figure 1 for Computing Preferred Extensions in Abstract Argumentation: a SAT-based Approach
Figure 2 for Computing Preferred Extensions in Abstract Argumentation: a SAT-based Approach
Figure 3 for Computing Preferred Extensions in Abstract Argumentation: a SAT-based Approach
Figure 4 for Computing Preferred Extensions in Abstract Argumentation: a SAT-based Approach
Viaarxiv icon

On Concise Encodings of Preferred Extensions

Add code
Jul 08, 2002
Viaarxiv icon