- Bishoksan Kafle
, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard
:
Transformation-Enabled Precondition Inference. Theory Pract. Log. Program. 21(6): 700-716 (2021) - Arash Karimi
, Heng Zhang, Jia-Huai You:
Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation. Theory Pract. Log. Program. 21(1): 4-50 (2021) - Tuomo Lehtonen
, Johannes Peter Wallner, Matti Järvisalo:
Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation. Theory Pract. Log. Program. 21(6): 717-734 (2021) - Vladimir Lifschitz
:
Here and There with Arithmetic. Theory Pract. Log. Program. 21(6): 735-749 (2021) - Pedro López-García
, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo:
A general framework for static profiling of parametric resource usage - CORRIGENDUM. Theory Pract. Log. Program. 21(2): 291 (2021) - Emiliano Lorini
:
A Qualitative Theory of Cognitive Attitudes and their Change. Theory Pract. Log. Program. 21(4): 428-458 (2021) - Jukka Pajunen, Tomi Janhunen
:
Solution Enumeration by Optimality in Answer Set Programming. Theory Pract. Log. Program. 21(6): 750-767 (2021) - Ed Robbins
, Andy King
, Jacob M. Howe
:
Backjumping is Exception Handling. Theory Pract. Log. Program. 21(2): 125-144 (2021) - Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras
, Victor Perez-Carrasco, José F. Morales
, Pedro López-García
, Manuel V. Hermenegildo
:
VeriFly: On-the-fly Assertion Checking via Incrementality. Theory Pract. Log. Program. 21(6): 768-784 (2021) - Zeynep G. Saribatur
, Thomas Eiter
:
Omission-Based Abstraction for Answer Set Programs. Theory Pract. Log. Program. 21(2): 145-195 (2021) - Zeynep G. Saribatur, Thomas Eiter:
Omission-based Abstraction for Answer Set Programs - ERRATUM. Theory Pract. Log. Program. 21(2): 292 (2021) - Paul Tarau, Eduardo Blanco
:
Interactive Text Graph Mining with a Prolog-Based Dialog Engine. Theory Pract. Log. Program. 21(2): 244-263 (2021) - Yi Wang
, Joohyung Lee
:
Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language +. Theory Pract. Log. Program. 21(3): 348-371 (2021) - Felix Q. Weitkämper
:
An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions. Theory Pract. Log. Program. 21(6): 802-817 (2021)