Terminological Reasoning with Constraint Networks and an Application to Plan Recognition

Robert A. Weida, Diane J. Litman. Terminological Reasoning with Constraint Networks and an Application to Plan Recognition. In KR. pages 282-293, 1992.

Abstract

Abstract is missing.