On logical foundations of the ATMS

Yasushi Fujiwara; Shinichi Honiden

doi:10.1007/BFb0037033

On logical foundations of the ATMS

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Truth Maintenance Systems - ECAI-1990 Workshop, Proceedings
Editors	Michael Reinfrank, Joao Pavao Martins
Publisher	Springer Verlag
Pages	125-135
Number of pages	11
ISBN (Print)	9783540475507
DOIs	https://doi.org/10.1007/BFb0037033
Publication status	Published - 1991
Externally published	Yes
Event	ECAI Workshop on Truth Maintenance Systems, 1990 - Stockholm, Sweden Duration: 1990 Aug 6 → 1990 Aug 6

Publication series

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

Other

Other	ECAI Workshop on Truth Maintenance Systems, 1990
Country/Territory	Sweden
City	Stockholm
Period	90/8/6 → 90/8/6

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/BFb0037033

Cite this

Fujiwara, Y., & Honiden, S. (1991). On logical foundations of the ATMS. In M. Reinfrank, & J. P. Martins (Eds.), 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. ed. / Michael Reinfrank; Joao Pavao Martins. 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 proceeding › Conference contribution

Fujiwara, Y & Honiden, S 1991, On logical foundations of the ATMS. in M Reinfrank & JP Martins (eds), 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

@inproceedings{24fbba840b8b4067a2e09424815ed96c,

title = "On logical foundations of the ATMS",

author = "Yasushi Fujiwara and Shinichi Honiden",

year = "1991",

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",

editor = "Michael Reinfrank and Martins, {Joao Pavao}",

booktitle = "Truth Maintenance Systems - ECAI-1990 Workshop, Proceedings",

note = "ECAI Workshop on Truth Maintenance Systems, 1990 ; Conference date: 06-08-1990 Through 06-08-1990",

}

TY - GEN

T1 - On logical foundations of the ATMS

AU - Fujiwara, Yasushi

AU - Honiden, Shinichi

PY - 1991

Y1 - 1991

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

A2 - Reinfrank, Michael

A2 - Martins, Joao Pavao

PB - Springer Verlag

T2 - ECAI Workshop on Truth Maintenance Systems, 1990

Y2 - 6 August 1990 through 6 August 1990

ER -

On logical foundations of the ATMS

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this