[Q] Quixote の法的推論への応用例を教えて下さい。

[Q1] 何か法的推論への応用例で、 公開できるもの(しているもの)がありましたら、 教えていただけないでしょうか？

以下などを参考にしてみて下さい。因みに、 横田さんの HomePage に 以下全ての ps ファイルがあります。 
Kazumasa Yokota and Hideki Yasukawa,
 ``Towards an Integrated Knowledge-Base Management System
 --- Overview of R\&D on Databases and Knowledge-Bases in the FGCS Project'',
 Proc. Int. Conf. on Fifth Generation Computer Systems (FGCS'92),
 Tokyo, June 1-5, 1992.

横田一正, 
 ``演繹オブジェクト指向データベース Quixote の法的推論への応用'',
 人工知能学会誌, vol.10, no.1, 1995. 

Chie Takahashi and Kazumasa Yokota,
 ``Constructing a Legal Database on Quixote'',
 Proc. the Sixth Australasian Database Conference (ADC'95), 
 Adelaide, Australia, Jan. 30,31, 1995.