Record link: 
http://hdl.handle.net/20.500.12708/223665
-
Title: 
Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again
en
Citation: 
Dvorak, W., Saribatur Yaman, Z. G., & Woltran, S. (2025). Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again. In Proceedings of the 8th Workshop on Trends and Applications of Answer Set Programming. Workshop on Trends and Applications of Answer Set Programming (TAASP 2025), Vienna, Austria. http://hdl.handle.net/20.500.12708/223665
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Dvorak, Wolfgang 
Saribatur Yaman, Zeynep Gözen 
Woltran, Stefan 
-
Organisational Unit: 
E192-02 - Forschungsbereich Databases and Artificial Intelligence 
E180 - Fakultät für Informatik 
E056-13 - Fachbereich LogiCS 
E056-23 - Fachbereich Innovative Combinations and Applications of AI and ML (iCAIML) 
-
Published in: 
Proceedings of the 8th Workshop on Trends and Applications of Answer Set Programming 
-
Date (published): 
2025
-
Event name: 
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: 
5
-
Peer reviewed: 
Yes
-
Keywords: 
Answer Set Programming; Strong equivalence; Uniform Equivalence
en
Project title: 
Abstraktion für verständliches Schließen in der KI: T 1315-N (FWF - Österr. Wissenschaftsfonds) 
Bilateral Artificial Intelligence: COE 12 (FWF - Österr. Wissenschaftsfonds) 
-
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)

10
checked on Jan 7, 2026

Download(s)

2
checked on Jan 7, 2026

Google ScholarTM

Check