Disjunctive logic program = Horn program + control program

DOI10.1007/3-540-49545-2_3MaRDI QIDQ4246958zbMATH OpenFDO

Authors Wenjin Lu, Ulrich Furbach

Publication date 16 June 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-49545-2_3

zbMATH Keywords

propositional disjunctive logic program

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Logics in Artificial Intelligence
• The least fixpoint transformation for disjunctive logic programs
• Semantics of Horn and disjunctive logic programs
• Computing minimal models by partial instantiation

Cited in

(1)

• The least fixpoint transformation for disjunctive logic programs

This page was built for publication: Disjunctive logic program = Horn program + control program

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