Expressiveness of stable model semantics for disjunctive logic programs with functions

DOI10.1016/S0743-1066(97)00027-7zbMath0890.68030WikidataQ59259753 ScholiaQ59259753MaRDI QIDQ4371993

Thomas Eiter, Georg Gottlob

Publication date: 16 July 1998

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

zbMATH Keywords

disjunctive logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Expressiveness of Logic Programs under the General Stable Model Semantics ⋮ $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols

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