Model generation and state generation for disjunctive logic programs

DOI10.1016/S0743-1066(96)00116-1zbMATH Open0882.68033OpenAlexW2059855028MaRDI QIDQ4352541FDOQ4352541

Authors: Dietmar Seipel, Jack Minker, Carolina Ruiz 

Publication date: 4 September 1997

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

Full work available at URL: https://doi.org/10.1016/s0743-1066(96)00116-1

Recommendations

• Computing minimal models by partial instantiation
• A fixpoint semantics for disjunctive logic programs
• On stratified disjunctive programs
• The least fixpoint transformation for disjunctive logic programs
• Bottom-up computation of perfect models for disjunctive theories

zbMATH Keywords

model generationperfect model semantics

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (5)

• DiMo -- discrete modelling using propositional logic
• A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases
• Logic Programming and Nonmonotonic Reasoning
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
• Complexity results for answer set programming with bounded predicate arities and implications

Uses Software

• SATCHMO

This page was built for publication: Model generation and state generation for disjunctive logic programs

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