Description Logic Publications
Premkumar T. Devanbu and Diane J. Litman.
Taxonomic Plan Reasoning.
Artificial Intelligence , 84:1-35, 1996.
Robert A. Weida and Diane J. Litman.
Subsumption and Recognition of Heterogeneous Constraint Networks.
In Proceedings of the Tenth IEEE Conference on Artificial Intelligence for Applications (CAIA-94), pp. 381-388, San Antonio, TX, March, 1994.
Robert A. Weida and Diane J. Litman.
Terminological Reasoning with Constraint Networks and an Application to Plan Recognition.
In Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR-92), pp. 282-293, Cambridge, MA, October, 1992.
September 1998
Back to home page.