3rd Workshop on Trends and Applications of Answer Set Programming

Book title Buchtitel

Results 1-3 of 3 (Search time: 0.002 seconds).

RIS EndNote Bibtex Send via email

	Authors / Editors	Title	Type	Issue Date
1	Eiter, Thomas ; Saribatur, Zeynep Gözen ; Schüller, Peter	Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract)	Konferenzbeitrag Inproceedings	2019
2	Shen, Yi-Dong ; Eiter, Thomas	Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract)	Konferenzbeitrag Inproceedings	2019
3	Eiter, Thomas ; Ogris, Paul ; Schekotihin, Konstantin	Distributed Stream Reasoning with LARS and ASP	Konferenzbeitrag Inproceedings	2019