scientific article; zbMATH DE number 2077072

MaRDI QIDQ4470447zbMATH OpenFDO

Authors Pascal Hitzler, Anthony Karel Seda

Publication date 1 July 2004

zbMATH Keywords

denotational semanticslogic programmingsupported-model semantics

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• On the coincidence of semantics for uniquely determined programs
• scientific article; zbMATH DE number 1453074
• Layer Supported Models of Logic Programs
• scientific article; zbMATH DE number 741348
• Stable classes and operator pairs for disjunctive programs

Cited in

(5)

• Hyperequivalence of logic programs with respect to supported models
• Generalized metrics and uniquely determined logic programs.
• Topological investigations of the operators of the well-founded, and alternating fixed-point semantics of normal logic programs
• On the coincidence of semantics for uniquely determined programs
• scientific article; zbMATH DE number 1453074 (Why is no real title available?)

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 Q4470447)