A formalization of abstract argumentation in higher-order logic
Steen, Alexander; Fuenmayor, David (2023): „A formalization of abstract argumentation in higher-order logic“. Eynsham: Oxford University Press (OUP) doi: 10.1093/logcom/exac027.
Faculty/Professorship:
AI Systems Engineering 
Author:
 ; 
Title of the Journal:
Journal of Logic and Computation
ISSN:
0955-792X
1465-363X
Publisher Information:
Year of publication:
2023
Issue:
Online First
Pages:
Language:
English
DOI:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Article
URI:
published:
September 27, 2023

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/91044