万维提示：
1、投稿方式：在线投稿。
2、期刊网址：
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming
3、投稿网址：https://mc.manuscriptcentral.com/tplp
4、官网邮箱：mirek@cs.uky.edu（主编）
（更多编辑邮箱如下）
5、期刊刊期：双月刊，逢单月出版。
2021年11月15日星期一
期刊编辑邮箱【官网信息】
Editorial board
Editor-in-Chief
mirek@cs.uky.edu
Area Editor (Applications)
esraerdem@sabanciuniv.edu
Area Editor (Book Reviews)
adp@iasi.cnr.it
Area Editor (Constraints)
agostino.dovier@uniud.it
Area Editor (Databases and Semantic Web Reasoning)
Thomas Eiter
eiter@kr.tuwien.ac.at
Area Editor (Design, Analysis and Implementation of Languages)
Torsten Schaub
torsten@cs.uni-potsdam.de
Area Editor (Knowledge Representation and Nonmonotonic Reasoning)
Nicola Leone
leone@mat.unical.it
Area Editor (Logic and Machine Learning)
Alessandra Russo
a.russo@imperial.ac.uk
Area Editor (Programming Methodology and Software Engineering)
Enrico Pontelli
epontell@cs.nmsu.edu
Area Editor (Theoretical Foundations)
Michael Maher
michael.maher@reasoning.org.au
Area Editor (Technical Notes and Rapid Communications)
Manuel Carro
manuel.carro@imdea.org
投稿须知【官网信息】
Instructions for authors
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. You should prepare your paper for submission using the new TPLP class file here.
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 sign a license to publish the article with Cambridge University Press.
Book Reviews
Books for review, or suggestions for reviews, should be sent to the reviews editor, Alberto Pettorossi (adp@iasi.cnr.it)
Technical notes
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.
Electronic manuscripts
The publisher encourages the submission of final manuscripts written in LaTeX which can be used for direct typesetting. Authors can download style files from here.
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.
Competing interests declaration
All authors must include a competing interests declaration in their manuscript above the references. This declaration will be subject to editorial review and may be published in the article.
Competing interests are situations that could be perceived to exert an undue influence on the content or publication of an author’s work. They may include, but are not limited to, financial, professional, contractual or personal relationships or situations.
If the manuscript has multiple authors, the author submitting must include competing interest declarations relevant to all contributing authors. Example wording for a declaration is as follows: “Competing interests: Author A is employed at company B. Author C owns shares in company D, is on the Board of company E and is a member of organisation F. Author G has received grants from company H.” If no competing interests exist, the declaration should state “Competing interests: The author(s) declare none”.
Proofreading
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.
Offprints
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.
Cambridge Language Editing Service
Cambridge recommends that authors who are non-native speakers of English have their manuscripts checked by a native English speaker before submission; this will ensure that any submissions that reach peer review are able to be judged exclusively on academic merit. We offer a Cambridge service which you can find out more about here, and suggest that authors contact as appropriate. Use of any of these services is voluntary, and at the author's own expense.
Copyright
Before beginning work on the production of any accepted manuscript, Cambridge requires a signed ‘licence to publish’ (copyright) agreement. The process for creating, signing and submitting these agreements is now managed entirely online, which means that there is no need to print, scan, email, or mail anything. Once a manuscript has been accepted for publication in the journal, the corresponding author will receive an email inviting them to complete an Information Request Form (IRF) via our digital contract management platform, Ironclad. The information submitted via this form (including information on copyright holder, open access status, etc.) will determine the terms and conditions under which the article will be published, and will be used to generate the licence to publish agreement. The corresponding author will be guided through the process to signature and submission.
For more information on author publishing agreements, see here.
ORCID
Theory and Practice of Logic Programming now requires that all corresponding authors identify themselves using their ORCID iD when submitting a manuscript to the journal. ORCID provides a unique identifier for researchers and, through integration in key research workflows such as manuscript submission and grant applications, provides the following benefits:
Discoverability: ORCID increases the discoverability of your publications, by enabling smarter publisher systems and by helping readers to reliably find work that you’ve authored.
Convenience: As more organisations use ORCID, providing your iD or using it to register for services will automatically link activities to your ORCID record, and will enable you to share this information with other systems and platforms you use, saving you re-keying information multiple times.
Keeping track: Your ORCID record is a neat place to store and (if you choose) share validated information about your research activities and affiliations.
If you don’t already have an iD, you’ll need to create one if you decide to submit a manuscript to Theory and Practice of Logic Programming. You can register for one directly from your user account on Scholar One or via https://ORCID.org/register. If you already have an iD, please use this when submitting, either by linking it to your Scholar One account or supplying it during submission by using the “Associate your existing ORCID ID” button.
Last updated 2 January 2020
