Sebastian Rudolph, Michael Schneider. Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies. In Simon Andrews, Simon Polovina, Richard Hill, Babak Akhgar, editors, Conceptual Structures for Discovering Knowledge - 19th International Conference on Conceptual Structures, ICCS 2011, Derby, UK, July 25-29, 2011. Proceedings. Volume 6828 of Lecture Notes in Computer Science, pages 19-34, Springer, 2011. [doi]
Abstract is missing.