TPLP Volume 21

Volume 21 – Issue 1 January 2021

Special Issue from the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)

Volume 21 – Issue 2 March 2021

Volume 21 – Issue 3 May 2021

Special issue: selected papers from LPNMR 2019

Volume 21 – Issue 4 – July 2021

Special Issue from JELIA 2019

Volume 21 – ISSUE 5 and 6, Sept 2021 – Special issue on ICLP 2021

  1. Preface (by  Alex Brik , Andrea Formisano, Yanhong Annie Liu, and Joost Vennekens), 521-526 and 698-699

  2. Modal Logic S5 Satisfiability in Answer Set Programmingrse
    Mario Alviano, Sotiris Batsakis, George Baryannis, 527-542.
  3. Optimizing Probabilities in Probabilistic Logic Programs
    Damiano Azzolini, Fabrizio Riguzzi, 543-556.
  4. Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints
    Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi, 557-574.
  5. Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs
    Viktor Besin, Markus Hecher, Stefan Woltran, 575-592,
  6. Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
    Loris Bozzato, Thomas Eiter, Rafael Kiesel, 593-609.
  7. I-DLV-sr: A Stream Reasoning System based on I-DLV
    Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari, 610-628.
  8. A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction
    Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis, 629-645.
  9. Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming
    Wolfgang Faber, Michael Morak, Lukáš Chrpa, 646-662.
  10. Planning with Incomplete Information in Quantified Answer Set Programming
    Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son, 663-679.
  11. Planning for an Efficient Implementation of Hypothetical Bousi~Prolog
    Pascual Julián-Iranzo, Fernando Sáenz-Pérez, 680-697
  12. Transformation-Enabled Precondition Inference
    Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Sondergaard, 700-716
  13. Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation
    Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo, 717-734
  14. Here and There with Arithmetic
    Vladimir Lifschitz, 735-749
  15. Solution Enumeration by Optimality in Answer Set Programming
    Jukka Pajunen, Tomi Janhunen, 750-767
  16. VeriFly: On-the-fly Assertion Checking via Incrementality
    Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, Jose F. Morales, Pedro lopez-Garcia, Manuel V. Hermenegildo, 768-784
  17. FOLASP: FO(.) as Input Language for Answer Set Solvers
    Kylian Van Dessel, Jo Devriendt, Joost Vennekens, 785-801
  18. An asymptotic analysis of probabilistic logic programming, with implications for expressing projective families of distributions
    Felix Weitkämper, 802-817
  19. Refactoring the Whitby Intelligent Tutoring System for Clean Architecture
    Paul S. Brown, Vania Dimitrova, Glen Hart, Anthony G. Cohn, Paulo Moura, 818-834
  20. An ASP-based Solution to the Chemotherapy Treatment Scheduling problem
    Carmine Dodaro, Giuseppe Galatà , Andrea Grioni, Marco Maratea, Marco Mochi, Ivan Porro, 835-851
  21. Knowledge-Based Stable Roommates Problem: A Real-World Application
    Muge Fidan, Esra Erdem, 852-869