next up previous
Up: 無題 Previous: ソフトウェアとしての成果

参考文献

1
J. Barwise, The Situation in Logic, CSLI Lecture Notes No. 17、University of Chicago Press、1989.

2
K. Devline, Logic and Information I: Situation Theory, Cambridge University Press、1991.

3
H. Nakashima、H. Suzuki、P-K. Hlvorsen、S. Peters, ``Towards a Computational Interpretation of Situation Theory'', The International Conference on Fifth Generation Computer Systems 、pp. 489-498、1988.

4
J. F. Allen, ``Towards a general theory of action and time,'' Artificial Intelligence、23:pp.123-154、1984.

5
Y. Shoham, ``Reasoning about change,'' The MIT Press、1988.

6
W. Chen、M.Kifer、and D. S. Warren, ``Logical Foundations for Object-Oriented and Frame-Based Languages'', Technical Report 90/14(revised)、June、1990.

7
Ait-Kaci and R. Nasr, ``LOGIN: A Logic Programming Language with Built-In Inheritance'', Journal of Logic Programming、pp.185-215、1986.

8
Yokota、K. and Yasukawa、H., ``Towards an Integrated Knowledge Base Management System'', Proc. Int. Conf. on FGCS、ICOT、Tokyo、pp.89-112、1992.

9
K. Nitta and S. Tojo and et al, ``Knowledge Representation of New Helic II'', Workshop on Legal Application of Logic Programming,ICLP '94, 1994.

10
K. Nitta and Y. Ohtake and S. Maeda and M. Ono and H. Ohsaki and K. Sakane, ``HELIC-II: A Legal Reasoning System on the Parallel Inference Machine'', FGCS '92、pp.1115-1124、1992.

11
東条敏、STEPHEN WONG、新田克巳、横田一正, ``状況理論による法的推論の形式化'', 情報処理 vol.36,No.1、1996.

12
東条敏, ``プロセス、状態、イベントの区別から導かれる事象間の時間関係の生成'', 人工知能学会誌 vol.10,No.6、1995.

13
Robert KOWALSKI and Marek SERGOT, ``A Logic-based Calculus of Events'', New Generation Computing、4、pp.67-95、1986.

14
東条敏、津田宏、安川秀樹、横田一正、森田幸伯, ``言語情報処理の枠組としてのQuixote'', 人工知能学会誌、vol.9,No.6、1994.

15
原口誠、``第五世代コンピュータプロジェクトの成果と残された課題 5. 法的推 論''、 情報処理 vol.37、No.5、1996.


next up previous
Up: 無題 Previous: ソフトウェアとしての成果



www-admin@icot.or.jp