Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Record link:
http://hdl.handle.net/20.500.12708/137238
-
Title:
Beyond Uniform Equivalence between Answer-set Programs
en
Citation:
Oetsch, J., Seidl, M., Tompits, H., & Woltran, S. (2021). Beyond Uniform Equivalence between Answer-set Programs.
ACM Transactions on Computational Logic
,
22
(1), 1–46. https://doi.org/10.1145/3422361
-
Publisher DOI:
10.1145/3422361
-
Publication Type:
Artikel - Original Research Article
de
Article - Original Research Article
en
Language:
English
-
Authors:
Oetsch, Johannes
Seidl, Martina
Tompits, Hans
Woltran, Stefan
-
Organisational Unit:
E192-03 - Forschungsbereich Knowledge Based Systems
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
Journal:
ACM Transactions on Computational Logic
-
ISSN:
1529-3785
-
Date (published):
2021
-
Number of Pages:
46
-
Peer reviewed:
Yes
-
Keywords:
Theoretical Computer Science; General Computer Science; Computational Mathematics; Logic
-
Research Areas:
Logic and Computation: 100%
-
Science Branch:
Informatik
-
Appears in Collections:
Article
Show full item record
Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.
Page view(s)
32
checked on Jun 2, 2023
Google Scholar
TM
Check