将逻辑、结构和理论相结合的思想最近吸引了许多领域的兴趣，如约束逻辑编程、定理证明、验证、计算语言学、人工智能，甚至逻辑本身的各个分支。如果说这些（分散的、大规模的、独立的）调查已经具体化为一个值得称做“组合方法”的企业，那就太夸张了；尽管如此，一些有趣的主题正在出现。本导言介绍了一些突出的问题，并将它们与本特刊中的论文联系起来。