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

On logical foundations of the ATMS. / Fujiwara, Yasushi; Honiden, Shinichi.

Truth Maintenance Systems - ECAI-1990 Workshop, Proceedings. Springer-Verlag, 1991. p. 125-135 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻 515 LNAI).

研究成果: Conference contribution

Fujiwara, Y & Honiden, S 1991, On logical foundations of the ATMS. : Truth Maintenance Systems - ECAI-1990 Workshop, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 巻. 515 LNAI, Springer-Verlag, pp. 125-135, ECAI Workshop on Truth Maintenance Systems, 1990, Stockholm, Sweden, 90/8/6. https://doi.org/10.1007/BFb0037033
Fujiwara Y, Honiden S. On logical foundations of the ATMS. : Truth Maintenance Systems - ECAI-1990 Workshop, Proceedings. Springer-Verlag. 1991. p. 125-135. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/BFb0037033
Fujiwara, Yasushi ; Honiden, Shinichi. / On logical foundations of the ATMS. Truth Maintenance Systems - ECAI-1990 Workshop, Proceedings. Springer-Verlag, 1991. pp. 125-135 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{24fbba840b8b4067a2e09424815ed96c,
title = "On logical foundations of the ATMS",
author = "Yasushi Fujiwara and Shinichi Honiden",
year = "1991",
month = "1",
day = "1",
doi = "10.1007/BFb0037033",
language = "English",
isbn = "9783540475507",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "125--135",
booktitle = "Truth Maintenance Systems - ECAI-1990 Workshop, Proceedings",

}

TY - GEN

T1 - On logical foundations of the ATMS

AU - Fujiwara, Yasushi

AU - Honiden, Shinichi

PY - 1991/1/1

Y1 - 1991/1/1

UR - http://www.scopus.com/inward/record.url?scp=85029474364&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85029474364&partnerID=8YFLogxK

U2 - 10.1007/BFb0037033

DO - 10.1007/BFb0037033

M3 - Conference contribution

AN - SCOPUS:85029474364

SN - 9783540475507

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 125

EP - 135

BT - Truth Maintenance Systems - ECAI-1990 Workshop, Proceedings

PB - Springer-Verlag

ER -