Semantic Based Theory Revision in Nonmonotonic Logic
Publication date
1995
Authors
Witteveen, C.
van der Hoek, W.
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
Keywords
Wiskunde en Informatica (WIIN), Ordered by external client
Citation
Witteveen, C & van der Hoek, W 1995, Semantic Based Theory Revision in Nonmonotonic Logic. vol. 1995-39, UU-CS edn, Utrecht University, Utrecht. < http://www.cs.uu.nl/research/techreps/UU-CS-1995-39.html >