Combining knowledge bases consisting of first-order theories (0)

by C Baral, S Kraus, J Minker, V S Subrahmanian
Venue:Computational Intelligence