Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann. Model Based Deduction for Database Schema Reasoning. In Susanne Biundo, Thom W. Frühwirth, Günther Palm, editors, KI 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings. Volume 3238 of Lecture Notes in Computer Science, pages 168-182, Springer, 2004. [doi]
Abstract is missing.