Structured learning modulo theories

Large Margin Methods for Structured and Interdependent Output Variables

Ioannis Tsochantaridis, Thorsten Joachims, Thomas Hofmann et al. · MPG.PuRe (Max Planck Society) · 2005 · 2K citations · Full text

Computing, Computer Science, Artificial Intelligence +7

Constraint logic programming: a survey

Joxan Jaffar, Michael J. Maher · The Journal of Logic Programming · 1994 · 1.3K citations

Computing, Computer Science, Formal Methods +11

Cutting-plane training of structural SVMs

Thorsten Joachims, Thomas Finley, Chun-Nam Yu · Machine Learning · 2009 · 980 citations · Full text

Computing, Civil Engineering, Computer Science +14

ProbLog: a probabilistic prolog and its application in link discovery

Luc De Raedt, Angelika Kimmig, Hannu Toivonen · Lirias (KU Leuven) · 2007 · 709 citations · Full text

Computing, Bioinformatics, Computer Science +13

Proceedings of the 26th Annual International Conference on Machine Learning

Andrea Danyluk, Léon Bottou, Michael L. Littman · 2009 · 687 citations

Computing, Computer Science, Algorithms +13