Cautious backtracking and well-founded semantics in truth maintenance systems
Publication date
1991
Authors
Jonker, C.M.
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
Keywords
Wiskunde en Informatica (WIIN), Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen, Ordered by external client
Citation
Jonker, C M 1991, Cautious backtracking and well-founded semantics in truth maintenance systems. vol. 91-26, RUU-CS edn, Unknown Publisher, Utrecht. < http://www.cs.uu.nl/research/techreps/RUU-CS-91-26.html >