On semantics and proof theory of disjunctive logic programs with classical negation

MaRDI QIDQ2718191zbMATH OpenFDO

Authors Temur Kutsia

Publication date 19 February 2002

Published in Applied Mathematics and Informatics (Search for Journal in Brave)

zbMATH Keywords

declarative semanticsG-resolution

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• A fixpoint semantics for disjunctive logic programs
• Disjunctive logic programs, answer sets, and the cut rule
• scientific article; zbMATH DE number 4195154
• Logics in Artificial Intelligence
• Semantics of Horn and disjunctive logic programs

Cited in

(4)

• Disjunctive logic programs, answer sets, and the cut rule
• A fixpoint semantics for disjunctive logic programs
• Logics in Artificial Intelligence
• scientific article; zbMATH DE number 5043325 (Why is no real title available?)

This page was built for publication: On semantics and proof theory of disjunctive logic programs with classical negation

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