TPLP Volume 22

Issue 1, january 2022

  1. Probabilistic QoS-aware Placement of VNF chains at the Edge
    Forti, Stefano; Paganelli, Federica; Brogi, Antonio, 1-36
  2. On correctness and completeness of an n queens program. Drabent, Włodzimierz, 37-50
  3. Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming.
    Joaquin Arias, Manuel Carro, Zhuo Chen, Gopal Gupta, 51-80
  4. Learning Distributional Programs for Relational Autocompletion.
    Nitesh Kumar, Ondřej Kuželka, Luc De Raedt, 81-114
  5. On Signings and the Well-Founded Semantics
    Michael Maher, 115-127 (Technical note)
  6. Exploiting Database Management Systems and Treewidth for Counting.
    Fichte, Johannes; Hecher, Markus; Thier, Patrick; Woltran, Stefan, 128-157 (Rapid Communication)

Issue 2, March 2022. Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 2019

  1. Introduction (Paul Fodor, Marco Montali)
  2. Efficient TBox Reasoning with Value Restrictions using the FL_ower reasoner.
    Baader, Franz; Koopmann, Patrick; Michel, Friedrich; Turhan, Anni-Yasmin; Zarrieß, Benjamin, 162-192
  3. Temporal Minimal-World Semantics for Sparse ABoxes
    Stefan Borgwardt, Walter Forkel, Alisa Kovtunova, 193-228
  4. Operating Room (Re)Scheduling with Bed Management via ASP
    Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, 229-253
  5. Reasoning on DL-LiteR with Defeasibility in ASP
    Bozzato, Loris; Eiter, Thomas; Serafini, Luciano, 254-304
  6. Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
    Fangfang Liu and Jia-Huai You, 305-334

Issue 3, May 2022

  1. Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs.   Yuliya Lierler, 335-366
  2. Reactive Answer Set Programming  Krysia Broda, Fariba Sadri, Stephen Butler, 367-418
  3. An ASP-based Approach to Answering Natural Language Questions for Texts. Dhruva Pendharkar, Kinjal Basu, Farhad Shakerin, Gopal Gupta, 419-443 (RAPID COMMUNICATION)
  4. Symbolic Specialization of Rewriting Logic Theories with Presto
    MARÍA ALPUENTE, SANTIAGO ESCOBAR, JULIA SAPIÑA, DEMIS BALLIS, 444-495
  5. Book Review: Probabilistic Semantic Web Reasoning and Learning, by Zese Riccardo
    GIAN LUCA POZZATO, 496-498

Issue 4. Special Issue on 38th International Conference on Logic Programming I

  1. Introduction. YULIYA LIERLER, JOSE F. MORALES, pp. 499-504
  2. Efficient Knowledge Compilation Beyond Weighted Model Counting. RAFAEL KIESEL, PIETRO TOTIS, ANGELIKA KIMMIG, pp. 505-522
  3. Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory. LINDE VANBESIEN, MAURICE BRUYNOOGHE, MARC DENECKER, pp. 523-537
  4. From Logic to Functional Logic Programs. MICHAEL HANUS, pp. 538-554
  5. Verifying Catamorphism-Based Contracts using Constrained Horn Clauses. EMANUELE DE ANGELIS, MAURIZIO PROIETTI, FABIO FIORAVANTI, ALBERTO PETTOROSSI, pp. 555-572
  6. Strong Equivalence of Logic Programs with Counting. VLADIMIR LIFSCHITZ, pp. 573-588.
  7. An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases. LAURA GIORDANO, DANIELE THESEIDER DUPRÉ, pp. 589-605
  8. Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems. ALICE TARZARIOL, KONSTANTIN SCHEKOTIHIN, MARTIN GEBSER, MARK LAW, pp. 606-622
  9. Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling. MOHAMMED M. S. EL-KHOLANY, MARTIN GEBSER, KONSTANTIN SCHEKOTIHIN, pp. 623-639

Issue 5. Special Issue on 38th International Conference on Logic Programming II

  1.  Introduction. YULIYA LIERLER, JOSE F. MORALES, p. 640
  2. On Nested Justification Systems. SIMON MARYNISSEN, JESSE HEYNINCK, BART BOGAERTS, MARC DENECKER, pp. 641-657
  3. FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data. HUADUO WANG, FARHAD SHAKERIN, GOPAL GUPTA, pp. 658-677
  4. MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations. MATTHIAS LANZINGER, STEFANO SFERRAZZA, GEORG GOTTLOB, pp. 678-692
  5. Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis, PAUL TARAU, pp. 693-707
  6. Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective. ANGELOS CHARALAMBIDIS, CHRISTOS NOMIKOS, PANOS RONDOGIANNIS, pp. 708-722
  7. Building Information Modeling Using Constraint Logic Programming. JOAQUÍN ARIAS, SEPPO TÖRMÄ, MANUEL CARRO, GOPAL GUPTA, pp. 723-738
  8. A Neuro-Symbolic ASP Pipeline for Visual Question Answering. THOMAS EITER, NELSON HIGUERA, JOHANNES OETSCH, MICHAEL PRITZ, pp. 739-754
  9. Making ProB Compatible with SWI-Prolog. DAVID GELEßUS, MICHAEL LEUSCHEL, pp. 755-769

Issue 6. November 2022. Special issue on the 20th Anniversary of TPLP

  1.  Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP.
    THOMAS EITER, MICHAEL MAHER, ENRICO PONTELLI, LUC DE RAEDT, and MIROSLAW TRUSZCZYNSKI, pp770-775

  2. Fifty Years of Prolog and Beyond Philipp Körner, Michael Leuschel, João Barbosa, Vítor Costa, Verónica Dahl, Manuel Hermenegildo, Jose Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto, pp 776-858
  3. A Survey of the Proof-Theoretic Foundations of Logic Programming  Dale Miller, pp 859-904
  4. Parallel Logic Programming: A Sequel Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha, pp 905-973
  5. Analysis and Transformation of Constrained Horn Clauses for Program Verification  Emanuele De Angelis, Fabio Fioravanti,  John P. Gallagher, Manuel Hermenegildo, Alberto Pettorossi, and Maurizio Proietti, pp 974-1042
  6. Thirty years of Epistemic Specifications. Jorge Fandinno, Wolfgang Faber, and Michael Gelfond, pp 1043-1083