Subsumption algorithms based on search trees

DOI10.1007/3-540-61064-2_34MaRDI QIDQ5878906zbMATH OpenOpenAlexFDO

Authors Leo Bachmair, Ta Chen, C. R. Ramakrishnan, I. V. Ramakrishnan

Publication date 23 February 2023

Published in Trees in Algebra and Programming — CAAP '96 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61064-2_34

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• On the efficiency of subsumption algorithms
• AI*IA 2003: Advances in Artificial Intelligence
• scientific article; zbMATH DE number 3945370
• Algorithms on Subtree Filament Graphs
• An optimal algorithm for computing all subtree repeats in trees
• An optimal algorithm for computing all subtree repeats in trees
• A Common Subexpression Elimination Tree Algorithm
• INDUCTIVE ALGORITHMS ON FINITE TREES
• On tree search algorithms
• scientific article; zbMATH DE number 1173838

Cites work

• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• On the efficiency of subsumption algorithms
• The Concept of Weak Substitution in Theorem-Proving
• The TPTP problem library

Cited in

(16)

• A new subsumption method in the connection graph proof procedure
• On subsumption in distributed derivations
• A disjunctive positive refinement of model elimination and its application to subsumption deletion
• On deciding subsumption problems
• scientific article; zbMATH DE number 3862479 (Why is no real title available?)
• On anti-subsumptive knowledge enforcement
• A restarted strategy for efficient subsumption testing
• scientific article; zbMATH DE number 3945370 (Why is no real title available?)
• On the efficiency of subsumption algorithms
• scientific article; zbMATH DE number 4072424 (Why is no real title available?)
• Subgoal alternation in model elimination
• Advanced indexing operations on substitution trees
• scientific article; zbMATH DE number 970722 (Why is no real title available?)
• On condensation of a clause.
• AI*IA 2003: Advances in Artificial Intelligence
• Fast subsumption checks using anti-links

Describes a project that uses

Uses Software

• OTTER
• TPTP

This page was built for publication: Subsumption algorithms based on search trees

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