Contributions to Proceedings:
T. Eiter, Z. G. Saribatur, P. Schüller:
"Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract)";
in: "3rd Workshop on Trends and Applications of Answer Set Programming",
3rd Workshop on Trends and Applications of Answer Set Programming (TAASP 2019),
2019,
2 pages.
Electronic version of the publication:
http://www.kr.tuwien.ac.at/events/taasp19/papers/TAASP_2019_paper_8.pdf
Created from the Publication Database of the Vienna University of Technology.