scientific article
From MaRDI portal
Publication:3939274
zbMath0481.68091MaRDI QIDQ3939274
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99)
Related Items (5)
Semantics-based nonmonotonic inference ⋮ Partial up an down logic ⋮ Nonmonotonicity and answer set inference ⋮ An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic ⋮ A tableaux calculus for default intuitionistic logic
This page was built for publication:
