Theory Pract. Log. Program.

Keyphrases

Publications

volume 23, number 1, 2023

Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub
Answer Set Planning: A Survey. Theory Pract. Log. Program. 23 (1) (2023)
Yuliya Lierler
Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches. Theory Pract. Log. Program. 23 (1) (2023)
João Leite, Martin Slota
A Brief History of Updates of Answer-Set Programs. Theory Pract. Log. Program. 23 (1) (2023)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal
Linear-Time Temporal Answer Set Programming. Theory Pract. Log. Program. 23 (1) (2023)
Mario Alviano, Wolfgang Faber, Martin Gebser
Aggregate Semantics for Propositional Answer Set Programs. Theory Pract. Log. Program. 23 (1) (2023)
Ricardo Gonçalves, Matthias Knorr, João Leite
Forgetting in Answer Set Programming - A Survey. Theory Pract. Log. Program. 23 (1) (2023)
Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko
How to Build Your Own ASP-based System?! Theory Pract. Log. Program. 23 (1) (2023)
Thomas Eiter, Michael J. Maher, Enrico Pontelli, Luc De Raedt, Miroslaw Truszczynski
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II. Theory Pract. Log. Program. 23 (1) (2023)

volume 23, number 2, 2023

volume 22, number 1, 2022

Wlodzimierz Drabent
On Correctness and Completeness of an n Queens Program. Theory Pract. Log. Program. 22 (1) (2022)
Michael J. Maher
On Signings and the Well-Founded Semantics. Theory Pract. Log. Program. 22 (1) (2022)

volume 22, number 2, 2022

volume 22, number 3, 2022

volume 22, number 4, 2022

volume 22, number 5, 2022

volume 22, number 6, 2022