scientific article
From MaRDI portal
Publication:3880319
zbMath0438.68050MaRDI QIDQ3880319
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Completeness results for inequality provers ⋮ Hierarchical deduction ⋮ Semantic forgetting in answer set programming ⋮ MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics ⋮ When you must forget: Beyond strong persistence when forgetting in answer set programming ⋮ On the limits of forgetting in answer set programming ⋮ Cyclic connections ⋮ A logic-algebraic tool for reasoning with knowledge-based systems ⋮ Str∔ve and integers ⋮ Ordered chaining for total orderings ⋮ On syntactic forgetting under uniform equivalence ⋮ A model of three-way decisions for knowledge harnessing ⋮ SET-VAR
