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