Talks and Poster Presentations (without Proceedings-Entry):
T. Eiter, Z. G. Saribatur, P. Schüller:
"Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract)";
Talk: TAASP - Workshop on Trends and Applications of Answer Set Programming,
Potsdam, Germany;
2019-11-18
- 2019-11-19.
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.