[Back]


Talks and Poster Presentations (with Proceedings-Entry):

M. Fink, R. Pichler, H. Tompits, S. Woltran:
"Complexity of Rule Redundancy in Non-Ground Answer-Set Programming over Finite Domains";
Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Tempe, Arizona, USA; 2007-05-14 - 2007-05-17; in: "Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007)", C. Baral, G. Brewka, J. Schlipf (ed.); Springer, LNAI 4483 (2007), ISBN: 978-3-540-72199-4; 123 - 135.


Created from the Publication Database of the Vienna University of Technology.