[Back]


Talks and Poster Presentations (without Proceedings-Entry):

M. Simkus:
"Reasoning in Logic Programs with Function Symbols and Negation under the Stable Model Semantics";
Talk: Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien (invited); 2010-03-11 - 2010-03-14.


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