Model Based Deduction for Database Schema Reasoning.

Peter Baumgartner, Ulrich Furbach, Margret Gro-Hardt, Thomas Kleemann

Browse the full KI paper archive.