Expressiveness of stable model semantics for disjunctive logic programs with functions

DOI10.1016/S0743-1066(97)00027-7MaRDI QIDQ4371993zbMATH OpenWikidataFDO

Authors Thomas Eiter, Georg Gottlob

Publication date 16 July 1998

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

Full work available at URL https://doi.org/10.1016/S0743-1066(97)00027-7

zbMATH Keywords

disjunctive logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Expressiveness of logic programs under the general stable model semantics
• scientific article; zbMATH DE number 25192
• scientific article; zbMATH DE number 1114054
• On the Expressibility of Stable Logic Programming
• On the expressibility of stable logic programming
• A note on the stable model semantics for logic programs
• Embedding functions into disjunctive logic programs
• Embedding functions into disjunctive logic programs
• On stable-like semantics for logic programs
• scientific article; zbMATH DE number 4200183

Cited in

(8)

• Embedding functions into disjunctive logic programs
• Embedding functions into disjunctive logic programs
• $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
• scientific article; zbMATH DE number 1114054 (Why is no real title available?)
• scientific article; zbMATH DE number 1884384 (Why is no real title available?)
• On the expressibility of stable logic programming
• Expressiveness of logic programs under the general stable model semantics
• Disjunctive logic programs with existential quantification in rule heads

This page was built for publication: Expressiveness of stable model semantics for disjunctive logic programs with functions

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