Abstraction for non-ground answer set programs
From MaRDI portal
Publication:5919432
DOI10.1007/978-3-030-19570-0_38MaRDI QIDQ5919432
Zeynep G. Saribatur, Thomas Eiter, Peter Schüller
Publication date: 18 February 2020
Published in: Logics in Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://zenodo.org/record/5730449
68T27: Logic in artificial intelligence
Related Items
Omission-Based Abstraction for Answer Set Programs, Abstraction for non-ground answer set programs, A framework for step-wise explaining how to solve constraint satisfaction problems