|
期刊名称：JOURNAL OF AUTOMATED REASONING
 期刊简介(About the journal)
投稿须知(Instructions to Authors)
编辑部信息(Editorial Board)
About the journal
|
The Journal of Automated Reasoning is an interdisciplinary journal that maintains a balance between theory, implementation and application. The spectrum of material published ranges from the presentation of a new inference rule with proof of its logical properties to a detailed account of a computer program designed to solve various problems in industry. The main fields covered are automated theorem proving, logic programming, expert systems, program synthesis and validation, artificial intelligence, computational logic, robotics, and various industrial applications. The papers share the common feature of focusing on several aspects of automated reasoning, a field whose objective is the design and implementation of a computer program that serves as an assistant in solving problems and in answering questions that require reasoning.
The Journal of Automated Reasoning provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications. |
 |
Instructions to Authors
|
Instructions for Authors
Journal of Automated Reasoning
Manuscript submission
Legal requirementsSubmission 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. PermissionsAuthors wishing to include figures, tables, or text passages that have already been published elsewhere are required to obtain permission from the copyright owner(s) 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.How to submit Authors should submit their manuscripts online. Electronic submission substantially reduces the editorial processing and reviewing times and shortens overall publication times. Please connect directly to the site and upload all of your manuscript files following the instructions given on the screen.
Manuscript preparation
Title pageThe title page should include:- The name(s) of the author(s)- A concise and informative title- The affiliation(s) and address(es) of the author(s)The e-mail address, telephone and fax numbers of the corresponding authorAbstractPlease provide an abstract of 100 to 150 words. The abstract should not contain any undefined abbreviations or unspecified references. KeywordsPlease provide 4 to 6 keywords which can be used for indexing purposes.TextText formattingFor submission in Word?Use a normal, plain font (e.g., 10-point Times Roman) for text.?Use italics for emphasis.?Use the automatic page numbering function to number the pages.?Do not use field functions.?Use tab stops or other commands for indents, not the space bar.?Use the table function, not spreadsheets, to make tables.?Use the equation editor or MathType for equations.Note: If you use Word 2007, do not create the equations with the default equation editor but use MathType instead.?Save your file in two formats: doc and rtf. Do not submit docx files.
LaTeX
For submission in LaTeX, Springer provides a LaTeX macro package.When using this package, please activate the format [smallcondensed]. The submission should include the original source (including all style files and figures) and a PDF version of the compiled output.
Heading levels, numbering
Please use the decimal system of headings with no more than three levels.Abbreviations and acronymsAbbreviations should be defined at first mention and used consistently thereafter.SI units, numbersPlease always use internationally accepted signs and symbols for units, SI units.EquationsPlease use the standard mathematical notation for formulae, symbols etc.:?Italic for single letters that denote mathematical constants, variables, and unknown quantities ?Roman/upright for numerals, operators, and punctuation, and commonly defined functions or abbreviations, e.g., cos, det, e or exp, lim, log, max, min, sin, tan, d (for derivative) ?Bold for vectors, tensors, and matrices.FootnotesFootnotes on the title page are not given reference symbols. 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).AcknowledgmentsAcknowledgments of people, grants, funds, etc. should be placed in a separate section before the reference list. The names of funding organizations should be written in full.ReferencesThe list of References should only include works that are cited in the text and that have been published or accepted for publication. Personal communications and unpublished works should only be mentioned in the text. Do not use footnotes or endnotes as a substitute for a reference list.Citation in textCitations in the text should be identified by numbers in square brackets. Some examples:1. Negotiation research spans many disciplines [3].2. This result was later contradicted by Becker and Seligman [5].3. This effect has been widely studied [1-3, 7].Reference list Reference list entries should be numbered consecutively.List styleJournal article Hamburger, C.: Quasimonotonicity, regularity and duality for nonlinear systems of partial differential equations. Ann. Mat. Pura. Appl. 169, 321?54 (1995) Journal issue with issue editor Smith, J. (ed.): Rodent genes. Mod. Genomics J. 14(6), 126?33 (1998) Journal issue with no issue editor Rodent genes: Mod. Genomics J. 14(6):126?33 (1998) Book chapter Broy, M.: Software engineering ?from auxiliary to key technologies. In: Broy, M., Denert, E. (eds.) Software Pioneers, pp. 10?3. Springer, New York (2002) Book, authored Geddes, K.O., Czapor, S.R., Labahn, G.: Algorithms for Computer Algebra. Kluwer, Boston (1992)Book, edited Seymour, R.S. (ed.): Conductive Polymers. Plenum, New York (1981)Chapter in a book in a series without volume titles MacKay, D.M.: Visual stability and voluntary eye movements. In: Jung, R., MacKay, D.M. (eds.) Handbook of Sensory Physiology, vol. 3, pp. 307?31. Springer, Heidelberg (1973) Chapter in a book in a series with volume title Smith, S.E.: Neuromuscular blocking drugs in man. In: Zaimis, E. (ed.) Neuromuscular Junction. Handbook of Experimental Pharmacology, vol. 42, pp. 593?60. Springer, Heidelberg (1976) Proceedings as a book (in a series and subseries) Zowghi, D., et al.: A framework for reasoning about requirements in evolution. In: Foo N., Goebel R. (eds.) Topics in Artificial Intelligence, 4th Pacific Rim Conference on Artificial Intelligence, Cairns, August 1996. Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence, vol. 1114, pp. 157?68. Springer, Heidelberg (1996) New York, p 157 Proceedings with an editor (without a publisher) Aaron, M.: The future of genomics. In: Williams, H. (ed.) Proceedings of the Genomic Researchers, Boston (1999) Proceedings without an editor (without a publisher) Chung, S.-T., Morris, R.L.: Isolation and characterization of plasmid deoxyribonucleic acid from Streptomyces fradiae. In: Abstracts of the 3rd International Symposium on the Genetics of Industrial Microorganisms, University of Wisconsin, Madison, 4? June 1978 Paper presented at a conference Chung, S.-T., Morris, R.L.: Isolation and characterization of plasmid deoxyribonucleic acid from Streptomyces fradiae. Paper presented at the 3rd international symposium on the genetics of industrial microorganisms, University of Wisconsin, Madison, 4? June 1978 Patent (Name and date of patent are optional) Norman, L.O.: Lightning rods. US Patent 4,379,752, 9 Sept 1998 Dissertation Trent, J.W.: Experimental acute renal failure. Dissertation, University of California (1975) Institutional author (book) International Anatomical Nomenclature Committee: Nomina anatomica. Excerpta Medica, Amsterdam (1966) In press Holmes, R., et al.: References. In: Jones, T.C. (ed.) Science style manual. Sprint, London (2007, in press)Electronic PublicationsArticle by DOI (with page numbers) Slifka, M.K., Whitton, J.L.: Clinical implications of dysregulated cytokine production. J. Mol. Med. 78, 74?0 (2000). doi:10.1007/s001090000086Article by DOI (before issue publication with page numbers) Slifka, M.K., Whitton, J.L.: Clinical implications of dysregulated cytokine production. J. Mol. Med. (2000). doi:10.1007/s001090000086Article in electronic journal by DOI (no paginated version) Slifka, M.K., Whitton, J.L.: Clinical implications of dysregulated cytokine production. Dig. J. Mol. Med. (2000). doi:10.1007/s801090000086 Internet publication/Online document Cartwright, J.: Big stars have weather too. IOP Publishing PhysicsWeb. http://physicsweb.org/articles/news/11/6/16/1 (2007). Accessed 26 June 2007 Online database Healthwise Knowledgebase. US Pharmacopeia, Rockville. http://www.healthwise.org (1998). Accessed 21 Sept 1998 Supplementary material/private homepage Doe, J.: Title of supplementary material. http://www.privatehomepage.com (2000). Accessed 22 Feb 2000Organization site ISSN International Centre: The ISSN register. http://www.issn.org (2006). Accessed 20 Feb 2007 Always use the standard abbreviation of a journal's name according to the ISSN List of Title Word Abbreviations, see http://www.issn.org/en/node/344Tables, Figures and ESMTables?All tables are to be numbered using Arabic numerals.?Tables should always be cited in text in consecutive numerical order. ?For each table, please supply a table heading. The table title should explain clearly and concisely the components of the table.?Identify any previously published material by giving the original source in the form of a reference at the end of the table heading.Footnotes to tables should be indicated by superscript lower-case letters (or asterisks for significance values and other statistical data) and included beneath the table body.Figures?All figures are to be numbered using Arabic numerals. ?Figure parts should be denoted by lowercase letters.?Figures should always be cited in text in consecutive numerical order. ?For each figure, please supply a figure caption.?Make sure to identify all elements found in the figure in the caption.?Identify any previously published material by giving the original source in the form of a reference at the end of the caption.?For more information about preparing your illustrations, please follow the hyperlink to the artwork instructions on the right.Electronic supplementary materialIf Electronic supplementary material (ESM) is submitted, it will be published as received from the author in the online version only. ESM may consist of?information that cannot be printed: animations, video clips, sound recordings?information that is more convenient in electronic form: sequences, spectral data, etc.?large original data, e.g. additional tables, illustrations, etc.?If supplying any ESM, the text must make specific mention of the material as a citation, similar to that of figures and tables (e.g., ? . . as shown in Animation 3.?.?For details on formats and other information, please follow the hyperlink to the specific instructions for electronic supplementary material on the right.
After acceptance
Upon acceptance of your article you will receive a link to the special Springer web page with questions related to:Open ChoiceOpen Choice In addition to the normal publication process (whereby an article is submitted to the journal and access to that article is granted to customers who have purchased a subscription), Springer now provides an alternative publishing option: Springer Open Choice. A Springer Open Choice article receives all the benefits of a regular subscription-based article, but in addition is made available publicly through Springer’s online platform SpringerLink. We regret that Springer Open Choice cannot be ordered for published articles.
Copyright
Authors will be asked to transfer copyright of the article to the Publisher (or grant the Publisher exclusive publication and dissemination rights). This will ensure the widest possible protection and dissemination of information under copyright laws. Open Choice articles do not require transfer of copyright as the copyright remains with the author. In opting for open access, they agree to the Springer Open Choice Licence.Offprints/ReprintsFree and/or additional offprints can be ordered by the corresponding author. 25 offprints of each contribution are supplied free of charge to the corresponding author.Color in printOnline publication of color illustrations is free of charge. For color in the print version, authors will be expected to make a contribution towards the extra costs of 950 Euros / 1150 USdollars.Online firstThe article will be published online after receipt of the corrected proofs. This is the official first publication citable with the DOI. After release of the printed version, the paper can also be cited by issue and page numbers.Proof readingThe purpose of the proof is to check for typesetting errors and the completeness and accuracy of the text, tables and figures. Substantial changes in content, e.g., new results, corrected values, title and authorship, are not allowed without the approval of the Editor.After online publication, further changes can only be made in the form of an Erratum, which will be hyperlinked to the article. LaTeX files are modified during the TeX-editing process so that the general presentation rules of the journal are adhered to. Word files are converted and should be proofread carefully by the author. Corrections that lead to a change in the page layout should be avoided. Substantial changes in content, e.g., new results, corrected values, title and authorship are not allowed without the approval of the Editor. After online publication, further changes can only be made in the form of an Erratum, which will be hyperlinked to the article. |
|
E-content
For authors and editors
Additional information
Other contacts
Related subjects
/* */ |
|
Editorial Board
Editorial Board
Editor-in-Chief
Tobias Nipkow, Technical University Munich, Germany
Editorial Board
Jeremy Avigad, Carnegie Mellon University, USA
Franz Baader, Technical University Dresden, Germany
Gilles Barthe, INRIA Sophia Antipolis, France
David Basin, ETH Zürich, Switzerland
Alan Bundy, University of Edinburgh, UK
Reiner Hähnle, Chalmers University of Technology, Sweden
John Harrison, Intel Corporation, Hillsboro, USA
Deepak Kapur, University of New Mexico, USA
Claude Kirchner, INRIA Bordeaux - Sud-Ouest, France
K. Rustan M. Leino, Microsoft Research, USA
Xavier Leroy, INRIA Paris - Rocquencourt, France
William McCune, University of New Mexico, USA
Aart Middeldorp, University of Innsbruck, Austria
J Strother Moore, University of Texas, Austin, USA
Robert Nieuwenhuis, Technical University of Catalonia, Spain
Peter O’Hearn, University of London, UK
Lawrence C. Paulson, University of Cambridge, UK
Frank Pfenning, Carnegie Mellon University, USA
Andreas Podelski, University of Freiburg, Germany
Ulrike Sattler, University of Manchester, UK
Natarajan Shankar, SRI International, USA
Mark Stickel, SRI International, USA
Cesare Tinelli, University of Iowa, USA
Toby Walsh, National ICT Australia, Australia
Book Review Editor: John Harrison, Intel Corporation Hillsboro, USA
Founding Editor: Larry Wos, Argonne National Laboratory, USA
|
|
|
|
