TPLP Volume 23, 2023

Issue 1, January 2023

 

Volume 23 Issue 1. Special Issue. The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II

• THOMAS EITER, MICHAEL MAHER, ENRICO PONTELLI, LUC DE RAEDT, MIROSLAW TRUSZCZYNSKI
  Published online by Cambridge University, p. 1
• Linear-Time Temporal Answer Set Programming Aguado, Felicidad; Cabalar, Pedro; Dieguez, Martin; Pérez, Gilberto; Schaub, Torsten; Schuhmann, Anna; Vidal, Concepción, pp. 2-56
• A Brief History of Updates of Answer-Set Programs. Joao Leite, Martin Slota, pp. 57-110 
• Forgetting in Answer Set Programming – A Survey Gonçalves, Ricardo; Knorr, Matthias; Leite, Joao, pp. 111-156 
• Aggregate Semantics for Propositional Answer Set Programs. Mario Alviano, Wolfgang Faber, Martin Gebser, pp. 157-194 
• Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches  Yuliya Lierler, pp. 195-225
• Answer Set Planning: A Survey. TRAN CAO SON, ENRICO PONTELLI, MARCELLO BALDUCCINI, TORSTEN SCHAUB,  pp. 226-298 
• How to build your own ASP-based system ?! Roland Kaminski, Javier Romero, Torsten Schaub, and Philipp Wanko, pp. 299-361

Volume 23 Issue 2, March 2023

• Online Learning Probabilistic Event Calculus Theories in Answer Set Programming
  Nikos Katzouris, Alexander Artikis and Georgios Paliouras, pp 362-386 [Rapid Communication]
• Conflict-driven Inductive Logic Programming Mark Law, pp 387-414
• On the Configuration of More and Less Expressive Logic Programs Carmine Dodaro, Marco Maratea, Mauro Vallati, pp 415-443
• Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic
  JORGE FANDINNO, LUIS FARIÑAS DEL CERRO, pp 444-467
• Integrating Cardinality Constraints into Constraint Logic Programming with Sets
  Maximiliano Cristià and Gianfranco Rossi, pp 468-502

Volume 23 – Issue 3 – May 2023 Special Issue on Logic Rules and Reasoning: Selected Papers from the 4th International Joint Conference on Rules and Reasoning (RuleML+RR 2020)

• Introduction to the Special Issue. TOMÁŠ KLIEGR, VICTOR GUTIERREZ-BASULTO, AHMET SOYLU, 503-506 
• Swift Markov Logic for Probabilistic Knowledge Graphs. Luigi Bellomarini,  Eleonora Laurenza, Emanuel Sallinger,  Evgeny Sherkhonov, 507-534.
• Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning
  Simon Vandevelde, Bram Aerts, Joost Vennekens, 535-558.
• Declarative Approaches to Counterfactual Explanations for Classification Leopoldo Bertossi, 559-593
• Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies Pasi, Gabriella; Peñaloza, Rafael, 594-623

Volume 23 – Issue 4.  2023 International Conference on Logic Programming

• Introduction to the 39th International Conference on Logic Programming Special Issue
  STEFANIA COSTANTINI, ENRICO PONTELLI, ALESSANDRA RUSSO, FRANCESCA TONI, pp. 624-631

• Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics and  aggregates Jesse Heyninck and Bart Bogaerts, pp. 632-647
• Interactive Model Expansion in an Observable Environment Pierre Carbonnelle, Bart Bogaerts, Joost Vennekens and Marc Denecker, pp. 648-663
• On Program Completion, with an Application to the Sum and Product Puzzle Vladimir Lifschitz, pp. 664-677
• Integrating Logic Rules with Everything Else, Seamlessly Yanhong A. Liu, Scott D. Stoller, Yi Tong and Bo Lin, pp. 678-695
• Knowledge-based Reasoning and Learning under Partial Observability for Ad Hoc Teamwork Hasra Dodampegama and Mohan Sridharan, pp. 696-714
• Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach Michael Gelfond, Jorge Fandinno and Evgenii Balai, pp. 715-729
• Learnability with PAC Semantics for Multi-agent Beliefs Ionela Mocanu, Vaishak Belle and Brendan Juba, pp. 730-747
• Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels Vito Barbara, Massimo Guarascio, Nicola Leone, Giuseppe Manco, Alessandro Quarta, Francesco Ricca and Ettore Ritacco, pp. 748-764
• ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction Trung Le, Tran Cao Son and Huiping Cao, pp. 765-781
• Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs Masood Feyzbakhsh Rankooh and Tomi Janhunen, pp. 782-796
• Knowledge Authoring for Rules and Actions Yuheng Wang, Paul Fodor and Michael Kifer, pp. 797-811
• Locksynth: A tool to derive synchronization code for concurrent data structures using Answer Set Programming Sarat Chandra Varanasi, Neeraj Mittal and Gopal Gupta, pp. 812-831
• An ASP Framework for the Refinement of Authorization and Obligation Policies Daniela Inclezan, pp. 832-847
• Logic-Based Benders Decomposition in Answer Set Programming for chronic outpatients scheduling Paola Cappanera, Marco Gavanelli, Maddalena Nonato and Marco Roma, pp. 848-864
• Toward A Logical Theory Of Fairness and Bias: A Situation Calculus Formalisation Vaishak Belle, pp. 865-883
• “What if?” in Probabilistic Logic Programming Rafael Kiesel, Kilian Rueckschloss and Felix Weitkämper, pp. 884-899
• Automatic Differentiation in Prolog Tom Schrijvers, Birthe van den Berg and Fabrizio Riguzzi, pp. 900-917
• Implementing backjumping by means of exception handling. Wlodzimierz Drabent, pp. 918-932
• External Behavior of a Logic Program and Verification of Refactoring. Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz and Nathan Temple,  pp. 933-947
• An Efficient solver for ASP(Q) Wolfgang Faber, Giuseppe Mazzotta and Francesco Ricca, pp. 948-964

Volume 23 – Issue 5.  September 2023

• ValAsp: a tool for data validation in Answer Set Programming. Mario Alviano, Carmine Dodaro, Arnel Zamayla, pp. 965-985 [Rapid Communication]
• Defeasible Reasoning via Datalog¬. Michael Maher, pp. 986-1028
• Specifying and Reasoning about CPS through the Lens of the NIST Thanh Nguyen, Tran Son, Matthew Bundas, Marcello Balduccini, Kathleen Garwood, Edward Griffor, pp. 1029-1069
• An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems. FABIO AURELIO D’ASARO, LUCA RAGGIOLI, SALIM MALEK, MARCO GRAZIOSO, SILVIA ROSSI, pp. 1070-1093
• On Establishing Robust Consistency in Answer Set Programs. Andre THEVAPALAN, Gabriele KERN-ISBERNER, pp. 1094-1127

• Positive Dependency Graphs Revisited Jorge Fandinno, Vladimir Lifschitz, pp. 1128-1137 [Technical Note]
  

Volume 23 – Issue 6 – November 2023

• On the Foundations of Grounding in Answer Set Programming Roland Kaminski  and Torsten Schaub, 1138-1197
•  suProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation. Pietro Totis, Luc De Raedt, Angelika Kimmig, 1198-1247
• Unifying Framework for Optimizations in Non-boolean Formalisms. Yuliya Lierler, 1248-1280
• Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. Eiter, Thomas; Geibinger, Tobias; Musliu, Nysret; Oetsch, Johannes; Skocovsky, Peter; Stepanova, Daria, pp. 1281-1306
• An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games STEFANO BISTARELLI, MARIA CHIARA MEO, CARLO TATICCHI,  pp. 1307-1333