scientific article; zbMATH DE number 1407680
From MaRDI portal
Publication:4940935
zbMATH Open0944.68049MaRDI QIDQ4940935FDOQ4940935
Authors: Dietmar Seipel, Jack Minker, Carolina Ruiz
Publication date: 28 February 2000
Title of this publication is not available (Why is that?)
Recommendations
Cited In (8)
- Unfolding partiality and disjunctions in stable model semantics
- Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
- Title not available (Why is that?)
- Partial equilibrium logic
- Theory and algorithms for disjunctive deductive databases
- Computing only minimal answers in disjunctive deductive databases
- Ordered model trees: A normal form for disjunctive deductive databases
- Complexity results for answer set programming with bounded predicate arities and implications
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4940935)