No.709

1988/09/20〜1988/09/22

中田　育男

NAKATA,IKUO

目　次

1. 数学的側面からみた状況理論(ソフトウェア科学・工学の数理的方法)--------------------------------------------------------------------1

　　　　新世代コンピュータ技術開発機構　　　向井 国昭

　

2. A Parallel Algorithm for Inheritance Hierarchies with Constraints----------------------------------------------------------------15

　　　　ICOT Research Center / ICOT Research Center / ICOT Research Center　　　Menju, Satoshi / Itoh, Hidenori / Morita, Yukihiro

　

3. Object-Oriented Approach to Discourse Understanding------------------------------------------------------------------------------33

　　　　Department of Electrical Engineering, Keio University / Department of Electrical Engineering, Keio University / Department of Electrical Engineering, Keio University　　　Numaoka, Chisato / Nagano, Tadashi / Tokoro, Mario

　

4. Negation Technique for Context-Free Grammars-------------------------------------------------------------------------------------48

　　　　University of Tsukuba / Institute of Information Sciences and Electronics, University of Tsukuba　　　YAMASHITA, Yoshiyuki / NAKATA, Ikuo

　

5. Incremental Attribute Evaluation and Parsing Based on ECLR-attributed Grammars(extended abstract)--------------------------------68

　　　　Univ. of Tsukuba, Inst. of Information Sciences　　　Sassa, Masataka

　

6. On the Finite Church-Rosser Property of Nonlinear Term Rewriting Systems(Preliminary report)------------------------------------101

　　　　NTT Software Laboratories / NTT Software Laboratories　　　OGAWA, Mizuhito / ONO, Satoshi

　

7. A Denotational Model of Type Inheritance and Generics---------------------------------------------------------------------------116

　　　　Research Institute for Mathematical Sciences, Kyoto University　　　Tsuiki, Hideki

　

8. Executable and formalized logic programming language based on time interval logic-----------------------------------------------143

　　　　Educational Center for Information Processing, Kyoto University　　　Nide, Naoyuki

　

9. Potentials of General-Purpose Reasoning Assistant System EUODHILOS--------------------------------------------------------------166

　　　　International Institute for Advanced Study of Social Information Science(IIAS-SIS), FUJITSU LIMITED / International Institute for Advanced Study of Social Information Science(IIAS-SIS), FUJITSU LIMITED　　　SAWAMURA, HAJIME / MINAMI, TOSHIRO

　

10. Entailment as a Logical Basis for Deductive Reasoning--------------------------------------------------------------------------199

　　　　Department of Computer Science and Communication Engineering, Kyushu University　　　程 京徳　(CHENG, Jingde)

　

11. A Declarative Semantics of Parallel Logic Programs based on Failure/Deadlock Set-----------------------------------------------221

　　　　Institute of New Generation Computer Technology　　　Murakami, Masaki

　

12. An Approach to Knowledge Representation using Multi-world Logic----------------------------------------------------------------235

　　　　富士通国際情報社会科学研究所　　　織田 充　(Oda, Mitsuru)

　

13. Expert System for Specification Process in Software Development System Pure TELL-----------------------------------------------247

　　　　東京工業大学工学部情報工学科 / 富士通国際情報社会科学研究所 / 富士通国際情報社会科学研究所　　　佐伯 元司 / 蓬莱 尚幸 / 榎本 肇　(Saeki, Motoshi / Horai, Hisayuki / Enomoto, Hajime)