共 50 条
- [21] A characterization of the partial stable models for disjunctive deductive databases LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 245 - 259
- [22] Partial evidential stable models for disjunctive deductive databases LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION, 1998, 1471 : 66 - 84
- [25] Ordered model trees: a normal form for disjunctive deductive databases Journal of Automated Reasoning, 1994, 13 (01): : 117 - 143
- [28] A fixpoint approach to state generation for stratifiable disjunctive deductive Databases Advances in Databases and Information Systems, Proceedings, 2007, 4690 : 283 - 297