Model generation and state generation for disjunctive logic programs

DOI10.1016/S0743-1066(96)00116-1MaRDI QIDQ4352541zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

model generationperfect model semantics

Mathematics Subject Classification ID

Logic programming (68N17)

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

Cited in

(5)

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

Describes a project that uses

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)