Stable model checking for disjunctive logic programs

DOI10.1007/BFB0031746MaRDI QIDQ4375823zbMATH OpenFDO

Authors N. Leone, Pasquale Rullo, Francesco Scarcello

Publication date 9 June 1998

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

Full work available at URL https://doi.org/10.1007/BFB0031746

zbMATH Keywords

disjunctive logic programshead-cycle free programsstable model semantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 25192
• Expressiveness of stable model semantics for disjunctive logic programs with functions
• A note on the stable model semantics for logic programs
• scientific article; zbMATH DE number 4200183
• scientific article; zbMATH DE number 1059307
• scientific article; zbMATH DE number 1931684
• The Stable Models of a Predicate Logic Program
• Stable models and their computation for logic programming with inheritance and true negation
• R-stable models for logic programs
• scientific article; zbMATH DE number 1368933

Cited in

(9)

• Disjunctive \(LP+\) integrity constraints = stable model semantics.
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
• DiMo -- discrete modelling using propositional logic
• Expressiveness of stable model semantics for disjunctive logic programs with functions
• scientific article; zbMATH DE number 1538058 (Why is no real title available?)
• Stable classes and operator pairs for disjunctive programs
• Logic Programming and Nonmonotonic Reasoning
• Head-Elementary-Set-Free Logic Programs
• Enhancing disjunctive logic programming systems by SAT checkers

This page was built for publication: Stable model checking for disjunctive logic programs

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