Closed world assumptions having precedence in predicates
- 作者Hirofumi Katsuno
- 卷第8卷
- 期第3期
- 印刷ISSN0288-3635
- 电子ISSN1882-7055
- 文件大小1235.47KB
- 发表时间1990-10
- DOI10.1007/bf03037516
- 页码185-209
同作者推荐
The direction the FGCS Project will takeKazuhiro Fuchi · 1983
Toward a new age of computingKazuhiro Fuchi · 1986
A new beginningKazuhiro Fuchi · 1988
Fifth Generation Computers : Some Theoretical IssuesKAZUHIRO FUCHI · 1984
Launching the new eraFuchi, Kazuhiro; Kowalski, Robert; Furukawa, Koichi; Ueda, Kazunori; Kahn, Ken; Chikayama, Takashi; Tick, Evan · Communications of the ACM · 1993
The role of logic programming in the Fifth Generation Computer ProjectKazuhiro Fuchi; Koichi Furukawa · 1987
Primary Percutaneous Transluminal Coronary Angioplasty Performed for Acute Myocardial Infarction in a Patient With Idiopathic Thrombocytopenic PurpuraFuchi, Toshikazu; Kondo, Takao; Sase, Kazuhiro; Takahashi, Mamoru · Japanese Circulation Journal · 1999