Talks and Poster Presentations (with Proceedings-Entry):
G. Antoniou, T. Eiter, K. Wang:
"Forgetting for Defeasible Logic";
Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR),
- 2012-03-15; in: "Logic for Programming, Artificial Intelligence, and Reasoning. 18th International Conference, LPAR-18, Proceedings",
N. Bjorner, A. Voronkov (ed.);
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.