Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2110.09174
Cited By
A Formalisation of Abstract Argumentation in Higher-Order Logic
18 October 2021
A. Steen
D. Fuenmayor
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"A Formalisation of Abstract Argumentation in Higher-Order Logic"
1 / 1 papers shown
Title
An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
Antoine Martina
Alexander Steen
AI4CE
18
0
0
08 Dec 2023
1
