Logic programming

by Ewing Lusk, Ross A. Overbeek

Programming with constraints

by Kim Marriott

Advances in inductive logic programming

by Luc de Raedt

Logic programming

by Maurizio Gabbrielli, Gopal Gupta

From logic to logic programming

by Kees Doets

Logic programming and non-monotonic reasoning

by Luis Moniz Pereira, Anil Nerode

Constraint satisfaction in logic programming

by Pascal Van Hentenryck

Discrete structures, logic, and computability

by James L. Hein

Logic Programming

by Krzysztof Apt

Logic Programming

by Peter J. Stuckey

Foundations of logic programming

by Lloyd, J. W.

Foundations of equational logic programming

by Steffen Hölldobler

Inductive logic programming

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

Third International Conference on Logic Programming, Imperia...

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

Logic programming

by Vladimir Lifschitz

For as long as there have been algorithms, the question of their termination - though undecidable, in general - has had ...

Foundations of Logic and Functional Programming Workshop

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

Logic programming and non-monotonic reasoning

by Anil Nerode, Wiktor Marek

Logic and its applications

by Edmund Burke, Eric Foxley

Inductive logic programming

by Stan Matwin

Automatically building conceptual classifications has been the subject of much research during the last twenty years (Mi...

Programming language implementation and logic programming

by PLILP '92 (1992 Louvain, Belgium), Belgium) Plilp 9 (1992 Louvain