Characterizations of classes of programs by three-valued operators

DOI10.1007/3-540-46767-X_26MaRDI QIDQ4955347zbMATH OpenFDO

Authors Pascal Hitzler, Anthony Karel Seda

Publication date 25 May 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://corescholar.libraries.wright.edu/cse/81

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: Characterizations of classes of programs by three-valued operators

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