Pattern-directed invocation with changing equations

DOI10.1007/BF00249022zbMATH Open0733.68070OpenAlexW2497391122MaRDI QIDQ809619FDOQ809619

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

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

zbMATH Keywords

equality reasoningPattern-directed invocationreasoning techniquetruth maintenance system

Mathematics Subject Classification ID

Database theory (68P15)

Cites Work

• A Machine-Oriented Logic Based on the Resolution Principle
• Fast Decision Procedures Based on Congruence Closure
• Unification theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Complete sets of transformations for general E-unification

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)