Open answer set programming with guarded programs

DOI10.1145/1380572.1380575zbMath1367.68034arXivcs/0603025OpenAlexW2004758195MaRDI 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

zbMATH Keywords

answer set programmingfixed-point logicopen domains

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

Reasoning with Forest Logic Programs Using Fully Enriched Automata ⋮ Synonymous theories and knowledge representations in answer set programming ⋮ Quantified Equilibrium Logic and Foundations for Answer Set Programs

This page was built for publication: Open answer set programming with guarded programs