共 50 条
- [1] Abductive logic programming and disjunctive logic programming: their relationship and transferability [J]. JOURNAL OF LOGIC PROGRAMMING, 2000, 44 (1-3): : 75 - 100
- [2] An abductive framework for negation in disjunctive logic programming [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, 1996, 1126 : 252 - 267
- [3] THE NEAR-HORN APPROACH TO DISJUNCTIVE LOGIC PROGRAMMING [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 596 : 345 - 369
- [4] Applications of abductive logic programming [J]. LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, : 343 - 344
- [5] Disjunctive logic programming and autoepistemic logic [J]. LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION, 1998, 1471 : 85 - 101
- [9] Calculi for disjunctive logic programming [J]. LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 229 - 243