Theory and Practice of Logic Programming

SJR Rank #10,256H-index: 54SJR: 0.578Best quartile: Q2APC: US$3,550
Journal website: aims, scope and author guidelines
Publisher

Cambridge University Press

Country

United Kingdom

Type

journal

SJR by Edition

2022202500.30.60.91.2

Subject Categories

  • Artificial IntelligenceQ2
  • Computational Theory and MathematicsQ2
  • Hardware and ArchitectureQ2
  • SoftwareQ2
  • Theoretical Computer ScienceQ2

Areas: Computer Science · Mathematics

Most published research topics

Logic, Reasoning, and KnowledgeLogic, programming, and type systemsMulti-Agent Systems and NegotiationSemantic Web and OntologiesFormal Methods in VerificationConstraint Satisfaction and OptimizationAdvanced Algebra and LogicBayesian Modeling and Causal InferenceAI-based Problem Solving and PlanningAdvanced Database Systems and Queries

Source: OpenAlex

Publication Statistics

2025 Docs3-Year DocsCitable Docs03570105140

Documents per Year

20222025015304560

Detailed Information

ISSN

1475-3081, 1471-0684

SJR Best Quartile

Q2

Region

Western Europe

Citations per Document (2 years)

1.91

References per Document

34.21

Coverage

2001-2026

Scope

Theory and Practice of Logic Programming emphasises both the theory and practice of logic programming. Logic programming applies to all areas of artificial intelligence and computer science and is fundamental to them. Among the topics covered are AI applications that use logic programming, logic programming methodologies, specification, analysis and verification of systems, inductive logic programming, multi-relational data mining, natural language processing, knowledge representation, non-monotonic reasoning, semantic web reasoning, databases, implementations and architectures and constraint logic programming.

Metrics from SCImago Journal Rank 2025. View on SCImago