On logical foundations of the ATMS

Yasushi Fujiwara, Shinichi Honiden

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)
Original languageEnglish
Title of host publicationTruth Maintenance Systems - ECAI-1990 Workshop, Proceedings
PublisherSpringer-Verlag
Pages125-135
Number of pages11
ISBN (Print)9783540475507
DOIs
Publication statusPublished - 1991 Jan 1
Externally publishedYes
EventECAI Workshop on Truth Maintenance Systems, 1990 - Stockholm, Sweden
Duration: 1990 Aug 61990 Aug 6

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume515 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherECAI Workshop on Truth Maintenance Systems, 1990
CountrySweden
CityStockholm
Period90/8/690/8/6

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Fujiwara, Y., & Honiden, S. (1991). On logical foundations of the ATMS. In 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); Vol. 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); Vol. 515 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fujiwara, Y & Honiden, S 1991, On logical foundations of the ATMS. in Truth Maintenance Systems - ECAI-1990 Workshop, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 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. In 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 -