共 50 条
- [3] Constraint logic programming [J]. COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, 2002, 2407 : 512 - 532
- [4] Polynomial-time learning in logic programming and constraint logic programming [J]. INDUCTIVE LOGIC PROGRAMMING, 1997, 1314 : 105 - 126
- [5] Temporal logic and annotated constraint logic programming [J]. EXECUTABLE MODAL AND TEMPORAL LOGICS, 1995, 897 : 58 - 68
- [6] On integrating Constraint Logic Programming and Integer Programming [J]. 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL V, PROCEEDINGS: COMPUTER SCI I, 2002, : 140 - 145
- [7] Functional and constraint logic programming [J]. CONSTRAINTS IN COMPUTATIONAL LOGICS: THEORY AND APPLICATIONS, 2001, 2002 : 202 - 270
- [8] NEGATION AND CONSTRAINT LOGIC PROGRAMMING [J]. INFORMATION AND COMPUTATION, 1995, 118 (01) : 12 - 33
- [10] Coinductive Constraint Logic Programming [J]. FUNCTIONAL AND LOGIC PROGRAMMING (FLOPS 2012), 2012, 7294 : 243 - 259