To view the PDF file linked above, you will need Adobe Acrobat Reader.
Theory and Practice of Logic Programming
Aims and scope
Theory and Practice of Logic Programming (TPLP) is an international journal that publishes refereed papers covering both the theory and the practice of logic programming. Among the topics to be covered by TPLP are AI applications that use logic programming, natural language processing, knowledge representation, non-monotonic reasoning, databases, implementations and architectures, and constraint logic programming.
TPLP is the sole official journal of the Association for Logic Programming (ALP, http://logicprogramming.org/) and is offered to its members at a preferential rate. It is also endorsed by SPARC, the Scholarly Publishing & Academic Resources Coalition (URL: www.arl.org/sparc).
Submission of manuscripts
Manuscripts should be submitted via the website: https://mc.manuscriptcentral.com/tplp
The submitted manuscripts should not be published or simultaneously submitted to another journal or to a conference. Full versions of important conference papers are welcome. Upon acceptance of an article by the journal, the author(s) will be asked to transfer copyright of the article to Cambridge University Press.
Books for review, or suggestions for reviews, should be sent to the reviews editor, Krzysztof R. Apt (K.R.Apt@cwi.nl).
Technical notes should not exceed 5000 words in length, excluding tables, figures, and the bibliography. They are given quick turnaround. Submissions should include an abstract and a reasonably accurate word count for the paper (excluding tables and figures, and the bibliography.
The Publisher encourages the submission of final manuscripts written in LaTeX which can be used for direct typesetting. Authors can download style files from the Cambridge anonymous ftp site in a packed or unpacked form. The packed form is available from: ftp://ftp.cambridge.org/pub/texarchive/journals/latex/tlp-cls and the unpacked files are in a directory /unpacked.
Manuscripts should begin with an abstract of not more than 300 words at the end of which are 4 or 5 keywords. Avoid footnotes whenever possible. Papers should conform to a good standard of English prose; please consult a style guide such as ‘The Elements of Style’ by Strunk and White, Macmillan, New York. Presenting programs in one of the following two styles is encouraged: either with identifiers in italic and keywords in bold or entirely in a fixed-width teletype font. Do not begin a sentence with a symbol or identifier name.
Supply these as eps files as the Publisher cannot use original TeX files of illustrations. A hardcopy printout needs to be supplied of each illustration.
The Harvard system of references should be used. See style files.
Be sure to submit papers in their final form. Typographical and factual errors only may be changed at proof stage. The Publisher reserves the right to charge authors for extensive changes to their paper. No page charge is made. The spelling policy of the journal is to follow author’s American or British spelling as long as it is consistent within the paper.
No paper offprints are provided; instead authors are provided with a link to a server to which people should be directed for freely downloadable offprints.
Author Language Services
Cambridge recommends that authors have their manuscripts checked by an English language native speaker before submission; this will ensure that submissions are judged at peer review exclusively on academic merit.We list a number of third-party services specialising in language editing and / or translation, and suggest that authors contact as appropriate. Use of any of these services is voluntary, and at the author's own expense.