Record link: 
http://hdl.handle.net/20.500.12708/223668
-
Title: 
An Argumentation Calculus for Equilibrium Logic
en
Citation: 
Geibinger, T., & Eiter, T. (2025). An Argumentation Calculus for Equilibrium Logic. In Proceedings of the 8th Workshop on Trends and Applications of Answer Set Programming (TAASP 2025). 8th Workshop on Trends and Applications of Answer Set Programming (TAASP 2025), Vienna, Austria. http://hdl.handle.net/20.500.12708/223668
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Geibinger, Tobias 
Eiter, Thomas 
-
Organisational Unit: 
E192-03 - Forschungsbereich Knowledge Based Systems 
E056-13 - Fachbereich LogiCS 
E056-17 - Fachbereich Trustworthy Autonomous Cyber-Physical Systems 
-
Published in: 
Proceedings of the 8th Workshop on Trends and Applications of Answer Set Programming (TAASP 2025) 
-
Date (published): 
Nov-2025
-
Event name: 
8th Workshop on Trends and Applications of Answer Set Programming (TAASP 2025) 
en
Event date: 
24-Nov-2025 - 25-Nov-2025
-
Event place: 
Vienna, Austria
-
Number of Pages: 
13
-
Peer reviewed: 
Yes
-
Keywords: 
Answer Set Programming; Argumentation; Proof Systems
en
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

21
checked on Jan 7, 2026

Download(s)

8
checked on Jan 7, 2026

Google ScholarTM

Check