Pattern-directed invocation with changing equations

DOI10.1007/BF00249022MaRDI QIDQ809619zbMATH OpenOpenAlexFDO

Authors Yishai A. Feldman, Charles Rich

Publication date 1991

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00249022

zbMATH Keywords

equality reasoningPattern-directed invocationreasoning techniquetruth maintenance system

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 4035205
• Match algorithms for generalized Rete networks
• scientific article; zbMATH DE number 465521
• scientific article; zbMATH DE number 4155899
• Dynamic backward reasoning systems

Cites work

• scientific article; zbMATH DE number 3909708 (Why is no real title available?)
• scientific article; zbMATH DE number 43947 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• Complete sets of transformations for general E-unification
• Fast Decision Procedures Based on Congruence Closure
• Unification theory

This page was built for publication: Pattern-directed invocation with changing equations

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