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
Country/TerritorySweden
CityStockholm
Period90/8/690/8/6

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this