scientific article
From MaRDI portal
Publication:3198881
zbMath0713.68055MaRDI QIDQ3198881
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Defaults as restrictions on classical Hilbert-style proofs ⋮ An assumption-based truth maintenance system dealing with non-ground justifications ⋮ Cumulative default logic: In defense of nonmonotonic inference rules
This page was built for publication:
