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.
Up: 無題
Previous: ソフトウェアとしての成果
www-admin@icot.or.jp