共 50 条
- [42] Hybrid rules with well-founded semantics Knowledge and Information Systems, 2010, 25 : 137 - 168
- [46] Computing the well-founded semantics faster LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1995, 928 : 113 - 126
- [47] REPRESENTATIONS OF WELL-FOUNDED PREFERENCE ORDERS CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1983, 35 (03): : 496 - 508
- [48] On the Computation of the Disjunctive Well-Founded Semantics Journal of Automated Reasoning, 2001, 26 : 333 - 356
- [49] An algebraic construction of the well-founded model ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1995, 936 : 518 - 530