1,552 citations
Cite
SaveGo to paper →
Elsevier
The Journal of Logic Programming Template
Write in a clean editor, then format for The Journal of Logic Programming in one click — DocuGuru applies the official Elsevier template with numbered references and exports a submission-ready PDF plus the editable LaTeX source. Free to start.
About the The Journal of Logic Programming format
The Journal of Logic Programming is a peer-reviewed journal published by Elsevier, covering Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification.
| Publisher | Elsevier |
|---|---|
| Reference style | Numbered (Elsevier) Numbered — [1], [2] in the text [1] A. Smith, B. Jones, C. Lee, A representative article title, The Journal of Logic Programming 12 (2023) 45–58.
Formats any DOI in The Journal of Logic Programming style. No sign-up. |
| Publishes research in | Logic, programming, and type systems Logic, Reasoning, and Knowledge Formal Methods in Verification Diverse Scientific and Economic Studies Human auditory perception and evaluation |
| ISSN | 0743-1066 |
| h-index | 90 |
| i10-index | 345 |
| Total citations | 31,256 |
| Top institutions publishing here | KU Leuven |
| You get | A submission-ready PDF and the editable LaTeX source — ready to submit. |
Papers published in The Journal of Logic Programming per year
Citation impact of The Journal of Logic Programming by publication year
Citations each year’s papers have accumulated so far — the most recent years are still building up.
Most-cited papers in The Journal of Logic Programming
1,333 citations
Cite
SaveGo to paper →
1,040 citations
Cite
SaveGo to paper →
1,021 citations
Cite
SaveGo to paper →
624 citations
Cite
SaveGo to paper →
Related journal templates
The Journal of Logic Programming template — frequently asked questions
How do I write a paper in the The Journal of Logic Programming format?
In DocuGuru you write your manuscript in a normal editor — no LaTeX setup required — and select the The Journal of Logic Programming template. When you export, DocuGuru compiles the paper into the official Elsevier format and hands you a submission-ready PDF along with the editable LaTeX source.
What reference style does The Journal of Logic Programming use?
The Journal of Logic Programming uses Numbered (Elsevier) references, shown as numbered [1], [2] markers in the text. DocuGuru formats every in-text citation and the reference list in this exact style automatically. A reference appears like this: [1] A. Smith, B. Jones, C. Lee, A representative article title, The Journal of Logic Programming 12 (2023) 45–58.
Do I need to know LaTeX to submit to The Journal of Logic Programming?
No. DocuGuru generates the elsarticle LaTeX class and compiles the PDF for you in the background, so you get a Elsevier-ready The Journal of Logic Programming document without writing any LaTeX. If you do want it, the LaTeX source is included in the export.
Can I import an existing draft into the The Journal of Logic Programming template?
Yes. Paste or upload your current manuscript — Word, LaTeX, Markdown, or plain text — and DocuGuru reflows it into the The Journal of Logic Programming format with correct headings, figures, tables, and numbered citations.
Who publishes The Journal of Logic Programming?
The Journal of Logic Programming is a multidisciplinary journal published by Elsevier. DocuGuru's The Journal of Logic Programming template matches Elsevier's official submission format.
Can I export a submission-ready The Journal of Logic Programming PDF?
Yes — DocuGuru produces a PDF built with the official The Journal of Logic Programming template (the elsarticle class) that is ready to submit to Elsevier, together with the matching LaTeX source files.
How much does the The Journal of Logic Programming template cost?
You can start writing in the The Journal of Logic Programming template for free. Exporting the final submission-ready The Journal of Logic Programming PDF and LaTeX source is part of DocuGuru's paid plans — see the app for current pricing.