World's Best Scientists 2026 revealed!
Theory and Practice of Logic Programming
H-index 13

Theory and Practice of Logic Programming

1471-0684

Published by: Cambridge University Press

http://journals.cambridge.org/action/displayJournal?jid=TLP

Ranking & Metrics

Discipline name Position Best Scientists Publications D-Index
Computer Science 462 39 91 13

Additional Metrics

Number of Best Scientists*: 43
Documents by Best Scientists*: 96
Top 100 Ranked Scientists*: 0
SCIMAGO H-index: 52
SCIMAGO SJR: 0.609
Impact Factor: 1.1

Overview

Top Research Topics at Theory and Practice of Logic Programming?

Theory and Practice of Logic Programming primarily focuses on research topics in Programming language, Theoretical computer science, Logic programming, Answer set programming and Semantics (computer science). Programming language research featured in Theory and Practice of Logic Programming incorporates concerns from various other topics such as Constraint programming and Constraint logic programming. Theory and Practice of Logic Programming focused on Constraint programming research but expanded to cover Constraint satisfaction.

The studies on Theoretical computer science discussed can also contribute to research in the domains of Probabilistic logic, Inference and Extension (predicate logic). While work presented in it provided substantial information on Logic programming, it also covered topics in Multimodal logic, Inductive programming and Computational logic. While Answer set programming is the focus of it, it also provided insights into the studies of Algorithm, Solver, Algebra and Knowledge representation and reasoning.

The study on Stable model semantics presented in Theory and Practice of Logic Programming intersects with the topics under Well-founded semantics.

  • Programming language (40.15%)
  • Theoretical computer science (35.26%)
  • Logic programming (31.79%)

What are the most cited papers published in the journal?

  • Defeasible logic programming: an argumentative approach (714 citations)
  • Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages (494 citations)
  • Probabilistic reasoning with answer sets (215 citations)

Research areas of the most cited articles at Theory and Practice of Logic Programming:

The journal papers primarily tackle Theoretical computer science, Programming language, Logic programming, Answer set programming and Stable model semantics. The most cited papers cover research in Programming language, particularly Prolog and how it is related with concepts in AND gate. The studies on Logic programming discussed at the journal papers can also contribute to research in the domains of Well-founded semantics and Concurrent constraint logic programming, Functional logic programming.

What topics the last edition of the journal is best known for?

  • Programming language
  • Artificial intelligence
  • Algorithm

The previous edition focused in particular on these issues:

The primary areas of discussion in the journal are Theoretical computer science, Logic programming, Answer set programming, Semantics (computer science) and Set (abstract data type). While Theory and Practice of Logic Programming focused on Theoretical computer science, it was also able to explore topics like Combinatorial search, Inference, Sorting, Extension (predicate logic) and Optimization problem. Concepts in Variety (cybernetics), as well as related topics in Type (model theory) and Logical framework, are covered in the Logic programming research presented in it.

Topics in Answer set programming explored in it were investigated in conjunction with research in Schedule, Propositional calculus, Scheduling (computing), Scheduling (production processes) and Operations research. Research in Semantics (computer science) tackled falls within the umbrella of Programming language. Aside from investigating topics in Rule of inference under Programming language, it also explores concepts in Joint (building).

The most cited articles from the last journal are:

  • Incremental and Modular Context-sensitive Analysis (3 citations)
  • Omission-Based Abstraction for Answer Set Programs (3 citations)
  • On correctness and completeness of an n queens program (2 citations)

Papers citation over time

A key indicator for each journal is its effectiveness in reaching other researchers with the papers published at that venue.

The chart below presents the interquartile range (first quartile 25%, median 50% and third quartile 75%) of the number of citations of articles over time.

The top authors publishing in Theory and Practice of Logic Programming (based on the number of publications) are:

  • Torsten Schaub (25 papers) published 2 papers at the last edition, 2 less than at the previous edition,
  • Francesco Ricca (19 papers) published 1 paper at the last edition, 3 less than at the previous edition,
  • Carmine Dodaro (18 papers) published 3 papers at the last edition the same number as at the previous edition,
  • Nicola Leone (18 papers) published 1 paper at the last edition, 1 less than at the previous edition,
  • Thomas Eiter (17 papers) published 2 papers at the last edition the same number as at the previous edition.

The overall trend for top authors publishing in this journal is outlined below. The chart shows the number of publications at each edition of the journal for top authors.

Only papers with recognized affiliations are considered

The top affiliations publishing in Theory and Practice of Logic Programming (based on the number of publications) are:

  • University of Calabria (59 papers) published 5 papers at the last edition, 5 less than at the previous edition,
  • Katholieke Universiteit Leuven (36 papers) absent at the last edition,
  • Vienna University of Technology (35 papers) published 1 paper at the last edition, 3 less than at the previous edition,
  • University of Potsdam (22 papers) absent at the last edition,
  • University of Kentucky (21 papers) absent at the last edition.

The overall trend for top affiliations publishing in this journal is outlined below. The chart shows the number of publications at each edition of the journal for top affiliations.

Publication chance based on affiliation

The publication chance index shows the ratio of articles published by the best research institutions in the journal edition to all articles published within that journal. The best research institutions were selected based on the largest number of articles published during all editions of the journal.

The chart below presents the percentage ratio of articles from top institutions (based on their ranking of total papers).Top affiliations were grouped by their rank into the following tiers: top 1-10, top 11-20, top 21-50, and top 51+. Only articles with a recognized affiliation are considered.

During the most recent 2021 edition, 69.05% of publications had an unrecognized affiliation. Out of the publications with recognized affiliations, 46.15% were posted by at least one author from the top 10 institutions publishing in the journal. Another 7.69% included authors affiliated with research institutions from the top 11-20 affiliations. Institutions from the 21-50 range included 23.08% of all publications and 23.08% were from other institutions.

Returning Authors Index

A very common phenomenon observed among researchers publishing scientific articles is the intentional selection of journals they have already attended in the past. In particular, it is worth analyzing the case when the authors participate in the same journal from year to year.

The Returning Authors Index presented below illustrates the ratio of authors who participated in both a given as well as the previous edition of the journal in relation to all participants in a given year.

Returning Institution Index

The graph below shows the Returning Institution Index, illustrating the ratio of institutions that participated in both a given and the previous edition of the conference in relation to all affiliations present in a given year.

The experience to innovation index

Our experience to innovation index was created to show a cross-section of the experience level of authors publishing in a journal. The index includes the authors publishing at the last edition of a journal, grouped by total number of publications throughout their academic career (P) and the total number of citations of these publications ever received (C).

The group intervals were selected empirically to best show the diversity of the authors' experiences, their labels were selected as a convenience, not as judgment. The authors were divided into the following groups:

  • Novice - P < 5 or C < 25 (the number of publications less than 5 or the number of citations less than 25),
  • Competent - P < 10 or C < 100 (the number of publications less than 10 or the number of citations less than 100),
  • Experienced - P < 25 or C < 625 (the number of publications less than 25 or the number of citations less than 625),
  • Master - P < 50 or C < 2500 (the number of publications less than 50 or the number of citations less than 2500),
  • Star - P ≥ 50 and C ≥ 2500 (both the number of publications greater than 50 and the number of citations greater than 2500).

The chart below illustrates experience levels of first authors in cases of publications with multiple authors.

Career Opportunities in the Field of Logic Programming

For those interested in the rich research opportunities surrounding areas such as Programming language, Theoretical computer science, and Logic programming, a career in the field can be fulfilling and rewarding. Being knowledgeable in areas such as Probabilistic logic, Inference, and Constraint programming can lead to a variety of career paths, including a potential role as a programmer, software developer, or even a researcher in recognized institutions.

Moreover, those interested in teaching the new generation about these complex and intriguing areas of study can consider a career in teaching. For example, becoming a preschool teacher to foster early interest in problem-solving and logic could be a stepping stone towards a fruitful career in the field of Logic Programming. If you're interested in such a career trajectory, learn {anchor} how to become a preschool teacher in Hawaii.

Regardless of the chosen path, the field of Logic Programming is both exciting and meaningful, offering the potential for substantial contributions to technology and society at large.

Top Publications

  • ASP-Core-2 Input Language Format

    Francesco Calimeri;Wolfgang Faber;Martin Gebser;Giovambattista Ianni

    (2020)
    161 Citations
  • The Seventh Answer Set Programming Competition: Design and Results

    Martin Gebser;Marco Maratea;Francesco Ricca

    (2020)
    39 Citations
  • Fifty Years of Prolog and Beyond

    (2022)
    37 Citations
  • Linear-Time Temporal Answer Set Programming

    (2021)
    27 Citations
  • Analysis and Transformation of Constrained Horn Clauses for Program Verification

    Emanuele De Angelis;Fabio Fioravanti;John P. Gallagher;Manuel V. Hermenegildo

    (2021)
    26 Citations
  • Solving Advanced Argumentation Problems with Answer Set Programming

    Gerhard Brewka;Martin Diller;Georg Heissenberger;Thomas Linsbichler

    (2020)
    23 Citations
  • How to Build Your Own ASP-based System?!

    (2021)
    20 Citations
  • Verifying Tight Logic Programs with anthem and vampire

    Jorge Fandinno;Vladimir Lifschitz;Patrick Lühne;Torsten Schaub

    (2020)
    20 Citations
  • Omission-Based Abstraction for Answer Set Programs

    Zeynep Gözen Saribatur;Thomas Eiter

    (2021)
    19 Citations
  • A Neuro-Symbolic ASP Pipeline for Visual Question Answering

    (2022)
    16 Citations

Related Online Degrees & Career Pathways

Exploring related online degrees can significantly broaden your career options in the tech and engineering fields. For those interested in foundational engineering concepts, an online degree in mechanical engineering offers a flexible path to develop skills in design, mechanics, and manufacturing, which are highly valued across industries.

Similarly, a bachelor of science in physics online provides a strong analytical and problem-solving foundation that complements computer science studies, especially in areas like algorithms and quantum computing. These interdisciplinary skills can enhance your technical versatility.

For those focused on data analysis and interpretation, following a data science learning path equips you with expertise in big data, machine learning, and statistical techniques, which are in high demand across numerous sectors such as finance, healthcare, and technology.

Lastly, combining computer science with an online electrical engineering career outcomes perspective can open doors to fields like embedded systems, robotics, and telecommunications, where software and hardware knowledge intersect.

Choosing any of these degree paths can create valuable synergy with computer science, making your skills more marketable and adaptable in a rapidly evolving job market.

Best Scientists Contributing to This Journal

Recently Published Articles