万维提示：
1、投稿方式：在线投稿。
2、期刊网址：https://www.springer.com/journal/10817
3、投稿网址：https://www.editorialmanager.com/jars
4、官网邮箱：相关咨询邮箱如下。
5、期刊刊期：一年出版8期。
2021年11月18日星期四
期刊相关咨询邮箱【官网信息】
Contact the journal
Submission-related enquiries
Queries about submission issues, peer review process, or the status of your manuscript should be sent to Kanishkaa Sridhar (kanishkaa.sridhar@springernature.com).
Production-related enquiries
Queries about accepted manuscripts in production or post-publication corrections should be sent to Joy Polin (Joy.Polin@springer.com).
Rights and Permissions enquiries
For permission requests to reuse or reprint content, please follow the link ‘Rights and permissions’ on the relevant article page. For other queries, contact journalpermissions@springernature.com.
Publication-related enquiries
Queries related to journal publishing should be sent to Gregory Chalson (greg.chalson@springernature.com).
投稿须知【官网信息】
Journal of Automated Reasoning
Submission guidelines
Instructions for Authors
Manuscript Submission
Submission of a manuscript implies: that the work described has not been published before; that it is not under consideration for publication anywhere else; that its publication has been approved by all co-authors, if any, as well as by the responsible authorities – tacitly or explicitly – at the institute where the work has been carried out. The publisher will not be held legally responsible should there be any claims for compensation.
Permissions
Authors wishing to include figures, tables, or text passages that have already been published elsewhere are required to obtain permission from the copyright owner(s) for both the print and online format and to include evidence that such permission has been granted when submitting their papers. Any material received without such evidence will be assumed to originate from the authors.
Online Submission
Please follow the hyperlink “Submit manuscript” on the right and upload all of your manuscript files following the instructions given on the screen.
Please ensure you provide all relevant editable source files. Failing to submit these source files might cause unnecessary delays in the review and production process.
Title Page
Please make sure your title page contains the following information.
Title
The title should be concise and informative.
Author information
The name(s) of the author(s)
The affiliation(s) of the author(s), i.e. institution, (department), city, (state), country
A clear indication and an active e-mail address of the corresponding author
If available, the 16-digit ORCID of the author(s)
If address information is provided with the affiliation(s) it will also be published.
For authors that are (temporarily) unaffiliated we will only capture their city and country of residence, not their e-mail address unless specifically requested.
Abstract
Please provide an abstract of 150 to 250 words. The abstract should not contain any undefined abbreviations or unspecified references.
For life science journals only (when applicable)
Trial registration number and date of registration for prospectively registered trials
Trial registration number and date of registration, followed by “retrospectively registered”, for retrospectively registered trials
Keywords
Please provide 4 to 6 keywords which can be used for indexing purposes.
Statements and Declarations
The following statements should be included under the heading "Statements and Declarations" for inclusion in the published paper. Please note that submissions that do not include relevant declarations will be returned as incomplete.
Competing Interests: Authors are required to disclose financial or non-financial interests that are directly or indirectly related to the work submitted for publication. Please refer to “Competing Interests and Funding” below for more information on how to complete this section.
Please see the relevant sections in the submission guidelines for further information as well as various examples of wording. Please revise/customize the sample statements according to your own needs.
Text
For first (initial) submissions, we require a single file containing your manuscript as a minimum (Word or PDF). For LaTeX submissions we encourage authors to use the Springer Nature LaTeX template when preparing a submission.
For revised submissions we strongly recommend to upload the editable source files (either Word or LaTeX) together with a PDF of the revised (LaTeX) manuscript for reference. We can process a PDF-only submission, but upon acceptance source files are mandatory and providing source files after acceptance may delay production.
Text Formatting
Manuscripts should be submitted in LaTeX. We recommend using Springer Nature’s LaTeX template. The submission should include the original source (including all style files and figures) and a PDF version of the compiled output.
Word files are also accepted.
Headings
Please use the decimal system of headings with no more than three levels.
Abbreviations
Abbreviations should be defined at first mention and used consistently thereafter.
Footnotes
Footnotes can be used to give additional information, which may include the citation of a reference included in the reference list. They should not consist solely of a reference citation, and they should never include the bibliographic details of a reference. They should also not contain any figures or tables.
Footnotes to the text are numbered consecutively; those to tables should be indicated by superscript lower-case letters (or asterisks for significance values and other statistical data). Footnotes to the title or the authors of the article are not given reference symbols.
Always use footnotes instead of endnotes.
Acknowledgments
Acknowledgments of people, grants, funds, etc. should be placed in a separate section on the title page. The names of funding organizations should be written in full.
……
更多详情：
https://www.springer.com/journal/10817/submission-guidelines
