共 50 条
- [21] ON THE EQUIVALENCE OF SEMANTICS FOR NORMAL LOGIC PROGRAMS JOURNAL OF LOGIC PROGRAMMING, 1995, 22 (03): : 211 - 222
- [23] A COMPUTABLE SEMANTICS FOR GENERAL LOGIC PROGRAMS JOURNAL OF LOGIC PROGRAMMING, 1989, 6 (03): : 269 - 297
- [24] A dataflow semantics for constraint logic programs PROGRAMMING LANGUAGES: IMPLEMENTATIONS, LOGICS AND PROGRAMS, 1995, 982 : 431 - 448
- [26] On the semantics and complexity of probabilistic logic programs 2017, AI Access Foundation (60):
- [27] Semantics of structured normal logic programs JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (05): : 559 - 584
- [28] A FIXPOINT SEMANTICS FOR DISJUNCTIVE LOGIC PROGRAMS JOURNAL OF LOGIC PROGRAMMING, 1990, 9 (01): : 45 - 74
- [29] On logics and semantics for general logic programs NON-MONOTONIC EXTENSIONS OF LOGIC PROGRAMMING, 1997, 1216 : 37 - 56