scientific article

zbMath0699.68109MaRDI QIDQ3477997

Halina Przymusinska, Teodor C. Przymusinski

Publication date: 1990

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

zbMATH Keywords

stratified logic programsmodel semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation, Well-founded and stationary models of logic programs, Generalized metrics and uniquely determined logic programs., An abstract machine for fixed-order dynamically stratified programs, On the Coincidence of Semantics for Uniquely Determined Programs, The limits of fixed-order computation, Induction = I-axiomatization + first-order consistency.