scientific article; zbMATH DE number 1453074

MaRDI QIDQ4955347zbMATH OpenFDO

Authors Pascal Hitzler, Anthony Karel Seda

Publication date 25 May 2000

zbMATH Keywords

unique supported model classes

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 2077072
• On the coincidence of semantics for uniquely determined programs
• A simple fixed point characterization of three-valued stable model semantics
• Stable classes and operator pairs for disjunctive programs

Cited in

(8)

• Generalized metrics and uniquely determined logic programs.
• Logic programs and connectionist networks
• Oscillating behavior of logic programs
• scientific article; zbMATH DE number 2077072 (Why is no real title available?)
• On the coincidence of semantics for uniquely determined programs
• Properties of general semantic operators determined by logic-based systems
• Acceptable propositional normal logic programs checking procedure implementation
• Logic Programs under Three-Valued Łukasiewicz Semantics

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