共 50 条
- [37] Logic applied to integer programming and integer programming applied to logic Eur J Oper Res, 3 (605-616):
- [39] Abductive logic programming and disjunctive logic programming: their relationship and transferability JOURNAL OF LOGIC PROGRAMMING, 2000, 44 (1-3): : 75 - 100
- [40] Co-logic programming: Extending logic programming with coinduction AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2007, 4596 : 472 - +