Record link: 
http://hdl.handle.net/20.500.12708/192766
-
Title: 
Explaining Answer-Set Programs with Abstract Constraint Atoms (Extended Abstract)
en
Citation: 
Eiter, T., & Geibinger, T. (2023). Explaining Answer-Set Programs with Abstract Constraint Atoms (Extended Abstract). In Proceedings of the 2nd Workshop on Challenges and Adequacy Conditions for Logics in the New Age of Artificial Intelligence (ACLAI 2023) (pp. 1–6).
-
Publication Type: 
Inproceedings - Abstract Book Contribution
en
Language: 
English
-
Authors: 
Eiter, Thomas 
Geibinger, Tobias 
-
Organisational Unit: 
E192-03 - Forschungsbereich Knowledge Based Systems 
-
Published in: 
Proceedings of the 2nd Workshop on Challenges and Adequacy Conditions for Logics in the New Age of Artificial Intelligence (ACLAI 2023) 
-
Date (published): 
Nov-2023
-
Event name: 
2nd Workshop on Challenges and Adequacy Conditions for Logics in the New Age of Artificial Intelligence (ACLAI 2023) 
en
Event date: 
2-Nov-2023 - 5-Nov-2023
-
Event place: 
Málaga, Spain
-
Number of Pages: 
6
-
Peer reviewed: 
Yes
-
Keywords: 
Answer-set Programming; Explainable AI; Aggregates
en
Link (external): 
https://lianda23.uma.es/resources/ACLAI23_Eiter_Geibinger.pdf
-
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)

87
checked on Jan 26, 2024

Download(s)

1
checked on Jan 26, 2024

Google ScholarTM

Check