The Collection of
Computer Science Bibliographies

• Collection Home
• Up: Bibliographies on Logic Programming

Bibliography on Logic Programming

[   About   |  Browse   |   Statistics   ]

Information on the Bibliography

Author:

Ralf Scheidhauer <R . Scheidhauer @ ids-scheer . de> (email mangled to prevent spamming)

Abstract:

This database contains the references in bibtex format to proceedings and issues of journals of

• Symposium on LP (SLP)
• North American Conf. on LP (NACLP)
• Int. Conf. on LP (ICLP)
• Joint Int. Conf. on LP (JICLP)
• Logic Programming '88 (LP88)
• Int. Conf. on Rewriting Techniques and Applications (RTA)
• Int. Symposium on Programming Language Implementation and LP (PLILP)
• UK Annual Conference on LP (ALPUK)
• Int. Conf. on Fifth Generation Computer Systems (FGCS)
• Int. Conf. on Algebraic and LP (ALP)
• Int. Conf. on Automated Deduction (CADE)
• Int. WS on Conditional and Typed Rewriting Systems (CTRS)
• Extended Abstracts of the Third Int. WS on Unification (UNIF)
• Portuguese Conference on Artificial Intelligence (EPIA)
• Theoretical Aspects of Computer Software (TACS)
• Theory and Practice of Software Development (TAPSOFT)
• Journal of LP (JLP)
• Journal of Automated Reasoning (JAR)
• Journal of Symbolic Computation (JSC)
• Formal Aspects of Computing (FAC)

Keywords:

logic programming, artificial intelligence

Author Comments:

We are interested in any kind of feedback. So if you have any comments, suggestions, found some typing errors, inconsistencies or errors, please let us know, especially if you already have recorded some of the missing proceedings or issues of the Journal of LP. You can directly mail to: rscheidhauer@dfki.uni-sb.de

Browsing the bibliography

• Original source:

  ftp://ftp.ps.uni-sb.de... (*.bib.gz) (Format: bibtex)

Bibliographic Statistics

Types:

inproceedings(991), article(396), proceedings(22)

Fields:

title(1409), year(1409), author(1387), pages(1361), booktitle(1007), editor(992), publisher(945), address(924), month(888), series(509), volume(464), isbn(417), number(399), journal(396), remark(155), organization(151), keywords(116), affiliation(72), abstract(49), session(12), note(3), crsc(2), iscr(1), keyworks(1), remarks(1)

Distribution of publication dates:

Copyright © 1995-2008 Alf-Christian Achilles, All rights reserved.
This service is brought to you by Alf-Christian Achilles and Paul Ortyl
Please direct comments to liinwwwa@ira.uka.de