Abstraction for non-ground answer set programs

DOI10.1007/978-3-030-19570-0_38OpenAlexW2944250761MaRDI 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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (3)

A framework for step-wise explaining how to solve constraint satisfaction problems ⋮ Omission-Based Abstraction for Answer Set Programs ⋮ Abstraction for non-ground answer set programs

This page was built for publication: Abstraction for non-ground answer set programs