scientific article; zbMATH DE number 861626
From MaRDI portal
Publication:4871266
Recommendations
Cited in
(10)- Generalized subsumption and its applications to induction and redundancy
- Implication of clauses is undecidable
- scientific article; zbMATH DE number 2089438 (Why is no real title available?)
- Inductive logic programming beyond logical implication
- Generalization by absorption of definite clauses
- scientific article; zbMATH DE number 980419 (Why is no real title available?)
- scientific article; zbMATH DE number 1149427 (Why is no real title available?)
- scientific article; zbMATH DE number 1974025 (Why is no real title available?)
- Does This Set of Clauses Overlap with at Least One MUS?
- Generalization of clauses relative to a theory
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4871266)