论文信息 - Finite Domains and Exclusions as First-Class Citizens - 字舞流文

Finite Domains and Exclusions as First-Class Citizens

Harold Boley | H. Boley

[1] Michael Sintek. FLIP : functional-plus-logic programming on an integrated platform , 1995 .

[2] Cornelia Fischer. PAntUDE - an anti-unification algorithm for expressing refined generalizations , 1994 .

[3] Harold Boley,et al. Towards a sharable knowledge base on recyclable plastics , 1994 .

[4] Hans-Günther Hein. Propagation techniques in WAM-based architectures : the FIDO-III approach , 1993 .

[5] Philipp Hanschke,et al. A declarative integration of terminological, constraint-based, data-driven, and goal-directed reasoning , 1993, DISKI.

[6] L. D. Raedt. Interactive theory revision: an inductive logic programming approach , 1992 .

[7] Harold Boley,et al. Extended Logic-plus-Functional Programming , 1991, ELP.

[8] Alain Colmerauer,et al. An introduction to Prolog III , 1989, CACM.

[9] Pascal Van Hentenryck. Constraint satisfaction in logic programming , 1989, Logic programming.

[10] Joxan Jaffar,et al. Constraint logic programming , 1987, POPL '87.

[11] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.