scientific article; zbMATH DE number 1341462
From MaRDI portal
Publication:4263001
zbMATH Open0933.03024MaRDI QIDQ4263001
Author name not available (Why is that?)
Publication date: 29 March 2000
Title of this publication is not available (Why is that?)
nonmonotonic logicdefault logicnormal default theoriesdomain closure assumptionunique name assumptionmeaning of a free variable in an open default
Related Items (2)
Extensions for open default theories via the domain closure assumption ⋮ Extensions for open default theories via the domain closure assumption
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4263001)
