Partial deduction for structured logic programming
From MaRDI portal
Publication:5286918
DOI10.1016/0743-1066(93)90024-BzbMATH Open0774.68025OpenAlexW2009597235MaRDI QIDQ5286918FDOQ5286918
Authors: Michele Bugliesi, Evelina Lamma, Paola Mello 
Publication date: 17 November 1993
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0743-1066(93)90024-b
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)
- Title not available (Why is that?)
- Partial deduction in disjunctive logic programming
- Partial deduction of updateable definite logic programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- An assumption-based truth maintenance system dealing with non-ground justifications
- An efficient reasoning method on logic programming using partial evaluation in vector spaces
- Partial instantiation methods for inference in first-order logic
- Conjunctive partial deduction: foundations, control, algorithms, and experiments
- Title not available (Why is that?)
- Mints type deductive calculi for logic programming
- Partial-predicate logic in computer science
- Title not available (Why is that?)
- Transformations of CLP modules
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)
