Partial deduction in disjunctive logic programming

DOI10.1016/S0743-1066(96)00120-3zbMath0883.68026OpenAlexW2065755686MaRDI QIDQ4365083

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)

Related Items (4)

Characterizations of the stable semantics by partial evaluation ⋮ Solving logic program conflict through strong and weak forgettings ⋮ Exploiting conjunctive queries in description logic programs ⋮ Characterizing D-WFS: Confluence and iterated GCWA

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