Properties of a Pruning Operator

DOI10.1093/LOGCOM/1.1.99MaRDI QIDQ5750389zbMATH OpenOpenAlexFDO

Authors Patricia M. Hill, John W. Lloyd, John Shepherdson

Publication date 1990

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/1.1.99

zbMATH Keywords

logic programming languagespruning operator

Mathematics Subject Classification ID

Logic programming (68N17) Artificial intelligence (68T99)

Recommendations

• Constructive negation by pruning
• Unifying theories for logic programming
• scientific article; zbMATH DE number 1956546
• Proving properties of committed choice logic programs
• Properties of general semantic operators determined by logic-based systems

This page was built for publication: Properties of a Pruning Operator

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