Bibliography on Logic Programming

[   About   |  Browse   |   Statistics   ]

Number of references:	2229	Last update:	September 14, 1995
Number of online publications:	0	Supported:	no
Most recent reference:	April 1995

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(1717), article(477), proceedings(35)

Fields:

title(2229), year(2229), author(2194), pages(2138), booktitle(1745), address(1633), editor(1570), publisher(1538), month(1081), series(737), volume(545), number(481), journal(477), isbn(417), organization(188), remark(156), keywords(116), affiliation(105), note(59), abstract(49), session(12), crsc(2), iscr(1), keyworks(1), remarks(1)

Distribution of publication dates:

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>. This page is part of the Computer Science Bibliography Collection. Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.