Plan-Based Terminological Reasoning.

Premkumar T. Devanbu, Diane J. Litman

Browse the full KR paper archive.