On logical foundations of the ATMS

Yasushi Fujiwara, Shinichi Honiden

研究成果: Conference contribution

1 引用 (Scopus)
元の言語English
ホスト出版物のタイトルTruth Maintenance Systems - ECAI-1990 Workshop, Proceedings
出版者Springer-Verlag
ページ125-135
ページ数11
ISBN(印刷物)9783540475507
DOI
出版物ステータスPublished - 1991 1 1
外部発表Yes
イベントECAI Workshop on Truth Maintenance Systems, 1990 - Stockholm, Sweden
継続期間: 1990 8 61990 8 6

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
515 LNAI
ISSN(印刷物)0302-9743
ISSN(電子版)1611-3349

Other

OtherECAI Workshop on Truth Maintenance Systems, 1990
Sweden
Stockholm
期間90/8/690/8/6

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

これを引用

Fujiwara, Y., & Honiden, S. (1991). On logical foundations of the ATMS. : Truth Maintenance Systems - ECAI-1990 Workshop, Proceedings (pp. 125-135). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 515 LNAI). Springer-Verlag. https://doi.org/10.1007/BFb0037033