Skip to content Skip to footer

Theory and practice of logic programming : TPLP

ISSNs: 1471-0684

Additional searchable ISSN (electronic): 1475-3081

Cambridge University Press, United Kingdom

Scopus rating (2023): CiteScore 4.5 SJR 0.95 SNIP 1.734

Journal

Titles
  • Theory and practice of logic programming : TPLP
Additional searchable titlesTheory Pract. Log. Program., TPLP
ISSNs1471-0684
Additional searchable ISSN (electronic)1475-3081
PublisherCambridge University Press
Country/TerritoryUnited Kingdom
ZDB-ID2042851-0
ZDB-ID2045489-2

Related content

IASCAR: Incremental Answer Set Counting by Anytime Refinement

Fichte, J. K., Gaggl, S. A., Hecher, M. & Rusovac, D., May 2024, In: Theory and practice of logic programming : TPLP. 24, 3, p. 505-532 28 p.

Research output: Contribution to journalConference articleContributedpeer-review

Efficient TBox Reasoning with Value Restrictions using the 𝓕𝓛₀wer Reasoner

Baader, F., Koopmann, P., Michel, F., Turhan, A.-Y. & Zarrieß, B., Mar 2022, In: Theory and practice of logic programming : TPLP. 22, 2, p. 162-192 31 p.

Research output: Contribution to journalResearch articleContributedpeer-review

Temporal Minimal-World Query Answering over Sparse ABoxes

Borgwardt, S., Forkel, W. & Kovtunova, A., 11 Aug 2021, In: Theory and practice of logic programming : TPLP. 22, 2, p. 193-228 36 p.

Research output: Contribution to journalResearch articleContributedpeer-review

Completing the Picture: Complexity of Graded Modal Logics with Converse

Bednarczyk, B., Kieroński, E. & Witkowski, P., 1 Apr 2021, In: Theory and practice of logic programming : TPLP. 21, 4, p. 493-520 28 p.

Research output: Contribution to journalResearch articleContributed

Solving Advanced Argumentation Problems with Answer Set Programming

Brewka, G., Diller, M., Heissenberger, G., Linsbichler, T. & Woltran, S., 1 Jan 2020, In: Theory and practice of logic programming : TPLP. 20, 3, p. 391–431 41 p.

Research output: Contribution to journalResearch articleContributedpeer-review