On Logical Foundations of the ATMS.
Yasushi Fujiwara, Shinichi Honiden
VenueAECAI
Year1990
ProceedingsTruth Maintenance Systems (ECAI Workshop)
DBLP recordconf/ecai/FujiwaraH90 ↗
Browse the full ECAI paper archive.
Yasushi Fujiwara, Shinichi Honiden
Browse the full ECAI paper archive.