Terminological Reasoning with Constraint Networks and an Application to Plan Recognition.

Robert A. Weida, Diane J. Litman

Browse the full KR paper archive.