Model generation and state generation for disjunctive logic programs

DOI10.1016/S0743-1066(96)00116-1zbMath0882.68033OpenAlexW2059855028MaRDI QIDQ4352541

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)

Related Items (3)

Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation ⋮ Complexity results for answer set programming with bounded predicate arities and implications ⋮ A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases

Uses Software

• SATCHMO

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