scientific article
From MaRDI portal
Publication:2723420
zbMath0963.68182MaRDI QIDQ2723420
Publication date: 5 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (13)
Semantically-guided goal-sensitive reasoning: model representation ⋮ Generalizing DPLL and satisfiability for equalities ⋮ The model evolution calculus as a first-order DPLL method ⋮ Comparing instance generation methods for automated reasoning ⋮ Hyperresolution for guarded formulae ⋮ Model evolution with equality -- revised and implemented ⋮ Semantically-guided goal-sensitive reasoning: inference system and completeness ⋮ Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning ⋮ The Relative Power of Semantics and Unification ⋮ First-Order Resolution Methods for Modal Logics ⋮ A sound and complete model-generation procedure for consistent and confidentiality-preserving databases ⋮ Constructing infinite models represented by tree automata ⋮ A relevance restriction strategy for automated deduction
This page was built for publication:
