Partial deduction in disjunctive logic programming

DOI10.1016/S0743-1066(96)00120-3MaRDI QIDQ4365083zbMATH OpenOpenAlexFDO

Authors Chiaki Sakama, Hirohisa Seki

Publication date 30 October 1997

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0743-1066(96)00120-3

zbMATH Keywords

disjunctive logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Partial deduction for structured logic programming
• Semantics of (disjunctive) logic programs based on partial evaluation
• Publication:4506395
• scientific article; zbMATH DE number 88998
• Partial-predicate logic in computer science
• Disjunctive logic and semantics of disjunctive logic programs
• Partial evaluation in logic programming
• An abductive approach to disjunctive logic programming
• Partial models and logic programming
• Propositional semantics for disjunctive logic programs

Cited in

(12)

• Incremental methods for optimizing partial instantiation
• A hybrid approach to conjunctive partial evaluation of logic programs
• scientific article; zbMATH DE number 5043340 (Why is no real title available?)
• Characterizations of the stable semantics by partial evaluation
• scientific article; zbMATH DE number 2111988 (Why is no real title available?)
• Partial deduction of updateable definite logic programs
• Characterizing D-WFS: confluence and iterated GCWA
• Exploiting conjunctive queries in description logic programs
• Solving logic program conflict through strong and weak forgettings
• Conjunctive partial deduction: foundations, control, algorithms, and experiments
• Partial-predicate logic in computer science
• Partial deduction for structured logic programming

This page was built for publication: Partial deduction in disjunctive logic programming

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