Accepted papers

The recently accepted papers in TPLP are the following:

  1. Learning Distributional Programs for Relational Autocompletion.
    Nitesh Kumar, Ondřej Kuželka, Luc De Raedt

  2. Defeasible Reasoning via Datalog¬. Michael Maher

  3. Specifying and Reasoning about CPS through the Lens of the NIST Thanh Nguyen, Tran Son, Matthew Bundas, Marcello Balduccini, Kathleen Garwood, Edward Griffor.

  4. ValAsp: a tool for data validation in Answer Set Programming. Mario Alviano, Carmine Dodaro, Arnel Carmine

  5. On the Foundations of Grounding in Answer Set Programming Roland Kaminski  and Torsten Schaub

  6. Positive Dependency Graphs Revisited Jorge Fandinno, Vladimir Lifschitz

  7. On Establishing Robust Consistency in Answer Set Programs. Andre THEVAPALAN, Gabriele KERN-ISBERNER

  8. 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

  9. Unifying Framework for Optimizations in Non-boolean Formalisms. Yuliya Lierler.
  10. Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. Eiter, Thomas; Geibinger, Tobias; Musliu, Nysret; Oetsch, Johannes; Skocovsky, Peter; Stepanova, Daria.

  11. Distributed Subweb Specifications for Traversing the Web.  Bogaerts, Bart; Kestman, Bas; Zeboudj, Younes; Aamer, Heba; Taelman, Ruben; Verborgh, Ruben 

  12. Disjunctive Delimited Control. ALEXANDER VANDENBROUCKE and TOM SCHRIJVERS.

  13. Solving Rehabilitation Scheduling problems via a Two-Phase ASP approach. MATTEO CARDELLINI, PAOLO DE NARDI, CARMINE DODARO, GIUSEPPE GALATA`, ANNA GIARDINI, MARCO MARATEA, IVAN PORRO

  14. System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics.  Daniel Bresnahan, Nicholas Hippen, and Yuliya Lierler. 

  15.  Stable Model Semantics in ProbLog for Probabilistic Argumentation. Pietro Totis, Luc De Raedt, Angelika Kimmig.
  16. The Stable Model Semantics of Datalog with Metric Temporal Operators
    Wałęga, Przemysław; Tena Cucala, David; Cuenca Grau, Bernardo; Kostylev, Egor V.

  17. An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games STEFANO BISTARELLI, MARIA CHIARA MEO, CARLO TATICCHI

  18.  Dyadic Existential Rules Authors: Gottlob, Georg, Manna, Marco, Marte, Cinzia

  19. Querying Data Exchange Settings Beyond Positive Queries Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina 

  20. Compositional verification in rewriting logic ÓSCAR MARTÍN, ALBERTO VERDEJO, NARCISO MARTÍ-OLIET 

     

SPECIAL ISSUE ON ICLP 2023 LONDON

  1. Implementing backjumping by means of exception handling. Wlodzimierz Drabent
  2. External Behavior of a Logic Program and Verification of Refactoring. Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz and Nathan Temple
  3. An Efficient solver for ASP(Q) Wolfgang Faber, Giuseppe Mazzotta and Francesco Ricca
  4. Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs Masood Feyzbakhsh Rankooh and Tomi Janhunen
  5. Knowledge Authoring for Rules and Actions uheng Wang, Paul Fodor and Michael Kifer
  6. Locksynth: A tool to derive synchronization code for concurrent data structures using Answer Set Programming Sarat Chandra Varanasi, Neeraj Mittal and Gopal Gupta
  7. An ASP Framework for the Refinement of Authorization and Obligation Policies Daniela Inclezan
  8. Logic-Based Benders Decomposition in Answer Set Programming for chronic outpatients scheduling Paola Cappanera, Marco Gavanelli, Maddalena Nonato and Marco Roma
  9. Toward A Logical Theory Of Fairness and Bias: A Situation Calculus Formalisation Vaishak Belle
  10. “What if?” in Probabilistic Logic Programming Rafael Kiesel, Kilian Rueckschloss and Felix Weitkämper
  11. Automatic Differentiation in Prolog Tom Schrijvers, Birthe van den Berg and Fabrizio Riguzzi
  12. Learnability with PAC Semantics for Multi-agent Beliefs Ionela Mocanu, Vaishak Belle and Brendan Juba
  13. 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
  14. ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction Trung Le, Tran Cao Son and Huiping Cao
  15. Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics and aggregates Jesse Heyninck and Bart Bogaerts
  16. Interactive Model Expansion in an Observable Environment Pierre Carbonnelle, Bart Bogaerts, Joost Vennekens and Marc Denecker
  17. On Program Completion, with an Application to the Sum and Product Puzzle Vladimir Lifschitz
  18. Integrating Logic Rules with Everything Else, Seamlessly Yanhong A. Liu, Scott D. Stoller, Yi Tong and Bo Lin
  19. Knowledge-based Reasoning and Learning under Partial Observability for Ad Hoc Teamwork Hasra Dodampegama and Mohan Sridharan
  20. Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach Michael Gelfond, Jorge Fandinno and Evgenii Balai