Model generation and state generation for disjunctive logic programs
From MaRDI portal
Publication:4352541
DOI10.1016/S0743-1066(96)00116-1zbMath0882.68033MaRDI QIDQ4352541
Jack Minker, Carolina Ruiz, Dietmar Seipel
Publication date: 4 September 1997
Published in: The Journal of Logic Programming (Search for Journal in Brave)
68N17: Logic programming
Related Items
A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases, Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation, Complexity results for answer set programming with bounded predicate arities and implications
Uses Software