Partial deduction in disjunctive logic programming

DOI10.1016/S0743-1066(96)00120-3zbMATH Open0883.68026OpenAlexW2065755686MaRDI QIDQ4365083FDOQ4365083

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

Recommendations

• Partial deduction for structured logic programming
• Semantics of (disjunctive) logic programs based on partial evaluation
• Publication:4506395
• scientific article
• 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

zbMATH Keywords

disjunctive logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (10)

• Characterizing D-WFS: Confluence and iterated GCWA
• Title not available (Why is that?)
• Characterizations of the stable semantics by partial evaluation
• Title not available (Why is that?)
• Partial deduction of updateable definite logic programs
• 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)