scientific article; zbMATH DE number 4147555

MaRDI QIDQ3477997zbMATH OpenFDO

Authors Halina Przymusinska, Teodor C. Przymusinski

Publication date 1990

zbMATH Keywords

model semanticsstratified logic programs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• The expressive power of stratified logic programs
• scientific article; zbMATH DE number 1738693
• The defining power of stratified and hierarchical logic programs
• Logic programming with default, weak and strict negations
• Well-founded semantics and stratification for ordered logic programs
• Logic Programming with Strong Negation and Inexact Predicates
• Weak Logics with Strict Implication
• Weakly algebraizable logics
• Partial deduction for structured logic programming
• scientific article; zbMATH DE number 3855074

Cited in

(11)

• The expressive power of stratified logic programs with value invention
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
• Generalized metrics and uniquely determined logic programs.
• Induction = I-axiomatization + first-order consistency.
• Well-founded and stationary models of logic programs
• scientific article; zbMATH DE number 4147557 (Why is no real title available?)
• An abstract machine for fixed-order dynamically stratified programs
• On the coincidence of semantics for uniquely determined programs
• The limits of fixed-order computation
• Generalized well-founded semantics for logic programs
• Weakly expressive models for Hoare logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3477997)