<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">

<head>
<title>Bibliographies on Logic Programming</title>
<meta name="description" content="Bibliographies on Logic Programming, part of the Collection of Computer Science Bibliographies" />
<meta name="DC.DESCRIPTION" content="Bibliographies on Logic Programming, part of the Collection of Computer Science Bibliographies" />
<meta name="keywords" content="bibliographies, computer science, bibtex, RSS" />
<meta name="DC.SUBJECT" content="bibliographies, computer science, bibtex, RSS" />
<meta name="DC.CREATOR" content="Alf-Christian Achilles" />
<meta name="DC.CREATOR" content="Paul Ortyl" />
<meta name="resource-type" content="document" />
<meta name="distribution" content="global" />
<link rel="copyright" href="../Copyright.html" />
<link rel="top" href="../index.html" />
<link rel="stylesheet" href="../bibliography.css" type="text/css" />
</head>
<body>

<h1 class="page_title">The Collection of<br />Computer Science Bibliographies</h1><ul class="top_nav"><li><a href="../index.html">Collection Home</a></li>
<li><a href="../index.html">Up: Mirror of the Collection of Computer Science Bibliographies</a></li>
</ul>
<h1 class="subcollectiontitle">Bibliographies on Logic Programming</h1><p>You can <a href="http://liinwww.ira.uka.de/bibliography/Contributing.html">add bibliographies and references</a> to this collection!
See also <a href="../Ai/index.html">Bibliographies on Artificial Intelligence</a>.</p><hr />
<!-- long search form -->
<script type="text/javascript">
<!-- hide script from older browsers
if (document.forms.length == 0) {
    document.writeln("<h2><a href=\"http://liinwww.ira.uka.de/bibliography/LogicProgramming/index.html\">Search these bibliographies<\/a><\/h2><p>at the <a href=\"http://liinwww.ira.uka.de/bibliography/index.html\">original site for the bibliography collection<\/a>!<\/p>");
}
//-->
</script>
<!-- subindices start -->
<table class="subcollectionindex">
<thead><tr><th>#Refs</th><th>Bibliography</th><th>Date</th></tr></thead>
<tbody>
<tr><td class="refcount">3137</td>
<td class="subcoll"><a href="Clip_Group.general.html">The Clip Group General Bibliography</a></td>
<td>(2004)</td>
</tr>
<tr><td class="refcount">1409</td>
<td class="subcoll"><a href="LP/index.html">Bibliography on Logic Programming</a></td>
<td>(1994)</td>
</tr>
<tr><td class="refcount">1145</td>
<td class="subcoll"><a href="ilpnet.html">Bibliography on inductive logic programming</a></td>
<td>(2003)</td>
</tr>
<tr><td class="refcount">1032</td>
<td class="subcoll"><a href="lp.confs.html">Bibliography of conference papers in the area of Logic Programming</a></td>
<td>(1993)</td>
</tr>
<tr><td class="refcount">911</td>
<td class="subcoll"><a href="Constr.logic.prog.html">Constraint Logic Programming: A Bibliography</a></td>
<td>(1996)</td>
</tr>
<tr><td class="refcount">753</td>
<td class="subcoll"><a href="prolog.1.html">Bibliography on Prolog</a></td>
<td>(1989)</td>
</tr>
<tr><td class="refcount">514</td>
<td class="subcoll"><a href="Clip_Group.html">The Clip Group Bibliography</a></td>
<td>(2004)</td>
</tr>
<tr><td class="refcount">512</td>
<td class="subcoll"><a href="abstract.interpretation.html">Abstract Interpretation for Logic Programming: A Bibliography</a></td>
<td>(2000)</td>
</tr>
<tr><td class="refcount">472</td>
<td class="subcoll"><a href="constr.logic.html">Bibliography on constraint logic programming</a></td>
<td>(1992)</td>
</tr>
<tr><td class="refcount">326</td>
<td class="subcoll"><a href="Logic.Prog.html">Bibliography on Inductive Logic Programming</a></td>
<td>(1993)</td>
</tr>
<tr><td class="refcount">243</td>
<td class="subcoll"><a href="jlp.html">Bibliography of the &quot;Journal of Logic Programming&quot;</a></td>
<td>(1994)</td>
</tr>
<tr><td class="refcount">231</td>
<td class="subcoll"><a href="log.prog.85.html">A Bibliography on Logic Programming and Prolog</a></td>
<td>(1985)</td>
</tr>
<tr><td class="refcount">198</td>
<td class="subcoll"><a href="ILPBook.html">Bibliography of the book &quot;Inductive Logic Programming: Techniques and Applications&quot;</a></td>
<td>(1993)</td>
</tr>
<tr><td class="refcount">145</td>
<td class="subcoll"><a href="JLOGICPROG.html">Bibliography of &quot;Journal of Logic Programming&quot;</a></td>
<td>(1994)</td>
</tr>
<tr><td class="refcount">123</td>
<td class="subcoll"><a href="prolog.html">Bibliography on the logic programming language Prolog</a></td>
<td>(1989)</td>
</tr>
<tr><td class="refcount">19</td>
<td class="subcoll"><a href="Contrib.html">Bibliography on logic programming</a></td>
<td>(2005)</td>
</tr>
<tr><td class="refcount">17</td>
<td class="subcoll"><a href="TAPD.html">TAPD'98 Bibliography</a></td>
<td>(1998)</td>
</tr>
</tbody>
<tbody>
<tr class="total"><td><strong>11187</strong></td><td>Total number of references in this section</td><td></td></tr>
</tbody>
</table>
<!-- subindices end -->
<ul><li><a href="others.html">Other Bibliographies on Logic Programming</a></li></ul>
<p class="footer">
<a href="http://liinwww.ira.uka.de/bibliography/Copyright.html">Copyright</a> &copy; 1995-2008 Alf-Christian Achilles, All rights reserved.
<br />
This service is brought to you by
<a href="http://liinwww.ira.uka.de/~achilles/">Alf-Christian Achilles</a> 
and <a href="http://3miasto.net.pl/~ortylp">Paul Ortyl</a>
<br />
Please direct <a href="http://liinwww.ira.uka.de/bibliography/Comments.html" title="Send your comments via form.">comments</a> 
to <kbd><a href="mailto:liinwwwa@ira.uka.de" title="Send your comments via email.">liinwwwa@ira.uka.de</a></kbd>
</p>

</body>
</html>
