Ken Satoh. Formalizing Retrieval Goal Change by Prioritized Abduction. In Gunter Grieser, Yuzuru Tanaka, editors, Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets, International Workshop, Dagstuhl Castle, Germany, March 1-5, 2004, Revised Selected Papers. Volume 3359 of Lecture Notes in Computer Science, pages 215-232, Springer, 2004. [doi]