scientific article; zbMATH DE number 67820

MaRDI QIDQ4013772zbMATH OpenFDO

Authors Chilukuri K. Mohan

Publication date 27 September 1992

zbMATH Keywords

conditional rewriting systems with negationfixpoint semantics of three-valued logic programs

Mathematics Subject Classification ID

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

Recommendations

• Semantics for positive/negative conditional rewrite systems
• Negation with logical variables in conditional rewriting
• scientific article; zbMATH DE number 4090852
• scientific article; zbMATH DE number 4090846
• scientific article; zbMATH DE number 4060702

Cited in

(6)

• Semantics for conditional literals via the SM operator
• scientific article; zbMATH DE number 4092746 (Why is no real title available?)
• scientific article; zbMATH DE number 1508936 (Why is no real title available?)
• Negation with logical variables in conditional rewriting
• Semantics for positive/negative conditional rewrite systems
• A compact fixpoint semantics for term rewriting systems

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