PTTP+GLiDeS: Guiding Linear Deductions with Semantics

Marianne Brown, Geoff Sutcliffe. PTTP+GLiDeS: Guiding Linear Deductions with Semantics. In Norman Y. Foo, editor, Advanced Topics in Artificial Intelligence, 12th Australian Joint Conference on Artificial Intelligence, AI 99, Sydney, Australia, December 6-10, 1999, Proceedings. Volume 1747 of Lecture Notes in Computer Science, pages 244-254, Springer, 1999.

Abstract

Abstract is missing.