Theory Pract. Log. Program.

Keyphrases

Publications

volume 24, number 1, 2024

Alexander Vandenbroucke, Tom Schrijvers
Disjunctive Delimited Control. Theory Pract. Log. Program. 24 (1) (2024)
Przemyslaw Andrzej Walega, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev
The Stable Model Semantics of Datalog with Metric Temporal Operators. Theory Pract. Log. Program. 24 (1) (2024)
Chiaki Sakama
Human Conditional Reasoning in Answer Set Programming. Theory Pract. Log. Program. 24 (1) (2024)
Daniel Bresnahan, Nicholas Hippen, Yuliya Lierler
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics. Theory Pract. Log. Program. 24 (1) (2024)
José A. Riaza
Tau Prolog: A Prolog Interpreter for the Web. Theory Pract. Log. Program. 24 (1) (2024)
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Compositional Verification in Rewriting Logic. Theory Pract. Log. Program. 24 (1) (2024)

volume 24, number 2, 2024

volume 23, number 3, 2023

Gabriella Pasi, Rafael Peñaloza
Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies. Theory Pract. Log. Program. 23 (3) (2023)

volume 23, number 4, 2023

volume 23, number 5, 2023

volume 23, number 6, 2023