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
外部発表はい
イベント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
CityStockholm
Period90/8/690/8/6

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

引用スタイル