Record link: 
http://hdl.handle.net/20.500.12708/230348
-
Title: 
Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again
en
Citation: 
Dvořák, W., Saribatur, Z. G., & Woltran, S. (2026). Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again. In Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning (pp. 289–293). IJCAI Organization. https://doi.org/10.24963/kr.2026/27
-
Publisher DOI: 
10.24963/kr.2026/27
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Dvořák, Wolfgang 
Saribatur, Zeynep G. 
Woltran, Stefan 
-
Organisational Unit: 
E192-02 - Forschungsbereich Databases and Artificial Intelligence 
E056-13 - Fachbereich LogiCS 
E056-23 - Fachbereich Innovative Combinations and Applications of AI and ML (iCAIML) 
E056-27 - Fachbereich Digital Humanism 
-
Published in: 
Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning 
-
ISBN: 
978-1-956792-18-8
-
Date (published): 
2026
-
Event name: 
23rd International Conference on Principles of Knowledge Representation and Reasoning (KR 2026) 
en
Event date: 
20-Jul-2026 - 23-Jul-2026
-
Event place: 
Lisbon, Portugal
-
Number of Pages: 
5
-
Publisher: 
IJCAI Organization
-
Peer reviewed: 
Yes
-
Keywords: 
Strong equivalence; Uniform Equivalence; Answer Set Programming; guess-and-check programs
en
Project title: 
Abstraktion für verständliches Schließen in der KI: T 1315-N (FWF - Österr. Wissenschaftsfonds) 
Learning Abstractions for Generalized Reasoning in AI: ICT25-044 (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds) 
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)

8
checked on Aug 27, 2026

Google ScholarTM

Check