Uniform Interpolation of -Ontologies Using Fixpoints

Patrick Koopmann, Renate A. Schmidt. Uniform Interpolation of -Ontologies Using Fixpoints. In Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt, editors, Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. Volume 8152 of Lecture Notes in Computer Science, pages 87-102, Springer, 2013. [doi]

Authors

Patrick Koopmann

This author has not been identified. Look up 'Patrick Koopmann' in Google

Renate A. Schmidt

This author has not been identified. Look up 'Renate A. Schmidt' in Google