Mirosław Truszczyński (original) (raw)

AAAI Fellow (2013)
for significant contributions to the theory of nonmonotonic reasoning and to the invention of answer set programming

Asia-Pacific Artificial Intelligence Association (AAIA) Fellow (2021)

Dov Gabbay Prize (2023)
for his long-standing important contributions to the practice and theory of logic programming, theorem proving and related important strands in Computational Logic

TPLP is a primary venue for publishing original research results on logic programming. The journal is published by Cambridge University Press. Since January 1, 2015, I serve as its Editor-in-Chief. Consider submitting your work to TPLP. Please, contact me if you have quesitons.