Characterising relativised strong equivalence with projection for non-ground answer-set programs

DOI10.1007/978-3-030-19570-0_36OpenAlexW2943936533MaRDI QIDQ2296744

Tobias Geibinger, Hans Tompits

Publication date: 18 February 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-19570-0_36

zbMATH Keywords

answer-set programmingprogram equivalencemodel-theoretic characterisations

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (2)

Modular Answer Set Programming as a Formal Specification Language ⋮ Abstraction for non-ground answer set programs

This page was built for publication: Characterising relativised strong equivalence with projection for non-ground answer-set programs