Exploring Relations between Answer Set Programs

DOI10.1007/978-3-642-20832-4_7zbMath1326.68057OpenAlexW195675064MaRDI QIDQ3001915

Chiaki Sakama, Katsumi Inoue

Publication date: 19 May 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-20832-4_7

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Static and dynamic orderings on Dungean argumentation frameworks -- an overview

This page was built for publication: Exploring Relations between Answer Set Programs