Logic programming

by Ewing Lusk, Ross A. Overbeek

Discrete structures, logic, and computability

by James L. Hein

Programming with constraints

by Kim Marriott

Foundations of logic programming

by Lloyd, J. W.

Constraint satisfaction in logic programming

by Pascal Van Hentenryck

Foundations of equational logic programming

by Steffen Hölldobler

From logic to logic programming

by Kees Doets

Logic Programming

by Krzysztof Apt

Foundations of Logic and Functional Programming Workshop

by Foundations of Logic and Functional Programming Workshop (1986 Trento, Italy)

Logic Programming

by Peter J. Stuckey

Advances in inductive logic programming

by Luc de Raedt

Logic Programming

by Philippe Codognet

Interactive relational database design

by Tapan P. Bagchi

Knowledge in Action

by Raymond Reiter

Heraclitus reminds us that we cannot step into the same river twice.

From logic design to logic programming

by Dominique Snyers

Logic programming and non-monotonic reasoning

by Luis Moniz Pereira, Anil Nerode

Logic programming and non-monotonic reasoning

by Anil Nerode, Wiktor Marek

Third International Conference on Logic Programming, Imperia...

by International Conference on Logic Programming. (3rd 1986 Imperial College of Science and Technology)

Inductive logic programming

by ILP-99 (9th 1999 Bled, Slovenia)

Logic programming

by Maurizio Gabbrielli, Gopal Gupta