On the efficiency of subsumption algorithms
From MaRDI portal
Recommendations
Cited in
(22)- The anatomy of vampire. Implementing bottom-up procedures with code trees
- An efficient subsumption test pipeline for BS(LRA) clauses
- Removing redundancy from a clause
- Deciding expressive description logics in the framework of resolution
- A new subsumption method in the connection graph proof procedure
- scientific article; zbMATH DE number 4066861 (Why is no real title available?)
- European Summer Meeting of the Association for Symbolic Logic, Paris, 1985
- Optimizations of the subresultant algorithm
- scientific article; zbMATH DE number 4072424 (Why is no real title available?)
- Subsumption algorithms based on search trees
- Recursive query processing: The power of logic
- Reduction rules for resolution-based systems
- A restarted strategy for efficient subsumption testing
- AI*IA 2003: Advances in Artificial Intelligence
- scientific article; zbMATH DE number 3862479 (Why is no real title available?)
- Thue trees
- Use of partial substitutions for time decomposition of Boolean functions and generalized graph schemes of algorithms
- SAT solving for variants of first-order subsumption
- Subsumption and implication
- Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques
- scientific article; zbMATH DE number 3945370 (Why is no real title available?)
- Fully abstract compositional semantics for an algebra of logic programs
This page was built for publication: On the efficiency of subsumption algorithms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3771609)
