The Journal of Logic Programming

Inductive Logic Programming: Theory and methods

Stephen Muggleton, Luc De Raedt · 1994 · 1.6K citations · Full text

Computing, Computer Science, Formal Methods +10

Constraint logic programming: a survey

Joxan Jaffar, Michael J. Maher · 1994 · 1.3K citations

Computing, Computer Science, Formal Methods +11

GOLOG: A logic programming language for dynamic domains

Hector J. Levesque, Raymond Reiter, Yves Lespérance et al. · 1997 · 1K citations

Computing, Computer Science, Knowledge Representation +5

Linear-time algorithms for testing the satisfiability of propositional horn formulae

William F. Dowling, Jean Gallier · 1984 · 1K citations

Computing, Computer Science, Mathematics +11

Theory and practice of constraint handling rules

Thom Frühwirth · 1998 · 624 citations

Computing, Computer Science, Knowledge Representation +10