scientific article; zbMATH DE number 67820

zbMATH Open0751.68017MaRDI QIDQ4013772FDOQ4013772

Authors: Chilukuri K. Mohan 

Publication date: 27 September 1992

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cited In (6)

• Negation with logical variables in conditional rewriting
• Semantics for positive/negative conditional rewrite systems
• Title not available (Why is that?)
• A compact fixpoint semantics for term rewriting systems
• Semantics for conditional literals via the SM operator
• Title not available (Why is that?)

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)