scientific article; zbMATH DE number 3999251

zbMath0616.68004MaRDI QIDQ4725709

Grigori Mints

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

inference rulesatomic formulaexecutable predicatesnegation-as-failure operation NOTnegative Horn clausepredicates of predicates

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (5)

First-order theories for pure Prolog programs with negation ⋮ Loop checking and the well-founded semantics ⋮ A transformation of propositional Prolog programs into classical logic ⋮ Mints type deductive calculi for logic programming ⋮ Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics

This page was built for publication: