Open answer set programming with guarded programs
From MaRDI portal
Publication:5277815
DOI10.1145/1380572.1380575zbMath1367.68034arXivcs/0603025MaRDI QIDQ5277815
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
Publication date: 12 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/cs/0603025
68N17: Logic programming
Related Items
Quantified Equilibrium Logic and Foundations for Answer Set Programs, Synonymous theories and knowledge representations in answer set programming, Reasoning with Forest Logic Programs Using Fully Enriched Automata