Partial deduction for structured logic programming
From MaRDI portal
Publication:5286918
Recommendations
- Partial deduction in disjunctive logic programming
- Publication:4506395
- Partial models and logic programming
- scientific article; zbMATH DE number 1738693
- Deducing Logic Programs
- scientific article; zbMATH DE number 785048
- Partial deduction of updateable definite logic programs
- Partial-predicate logic in computer science
- Computing definite logic programs by partial instantiation
- Partial evaluation in logic programming
Cited in
(14)- Conjunctive partial deduction: foundations, control, algorithms, and experiments
- scientific article; zbMATH DE number 4110158 (Why is no real title available?)
- scientific article; zbMATH DE number 4147555 (Why is no real title available?)
- scientific article; zbMATH DE number 1508931 (Why is no real title available?)
- scientific article; zbMATH DE number 785048 (Why is no real title available?)
- Partial-predicate logic in computer science
- Mints type deductive calculi for logic programming
- An efficient reasoning method on logic programming using partial evaluation in vector spaces
- An assumption-based truth maintenance system dealing with non-ground justifications
- scientific article; zbMATH DE number 1107619 (Why is no real title available?)
- Transformations of CLP modules
- Partial deduction of updateable definite logic programs
- Partial instantiation methods for inference in first-order logic
- Partial deduction in disjunctive logic programming
This page was built for publication: Partial deduction for structured logic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5286918)
