The recently accepted papers in TPLP are the following:
- Probabilistic QoS-aware Placement of VNF chains at the Edge
Forti, Stefano; Paganelli, Federica; Brogi, Antonio - Exploiting Database Management Systems and Treewidth for Counting.
Fichte, Johannes; Hecher, Markus; Thier, Patrick; Woltran, Stefan. - On Signings and the Well-Founded Semantics
Michael Maher - Operating Room (Re)Scheduling with Bed Management via ASP
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea - Online Learning Probabilistic Event Calculus Theories in Answer Set Programming
Nikos Katzouris, Alexander Artikis and Georgios Paliouras - Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
Fangfang Liu and Jia-Huai You - Temporal Minimal-World Semantics for Sparse ABoxes
Stefan Borgwardt, Walter Forkel, Alisa Kovtunova - Reasoning on DL-LiteR with Defeasibility in ASP
Bozzato, Loris; Eiter, Thomas; Serafini, Luciano - Learning Distributional Programs for Relational Autocompletion.
Nitesh Kumar, Ondřej Kuželka, Luc De Raedt - Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming.
Joaquin Arias, Manuel Carro, Zhuo Chen, Gopal Gupta - Efficient TBox Reasoning with Value Restrictions using the FL_ower reasoner.
Baader, Franz; Koopmann, Patrick; Michel, Friedrich; Turhan, Anni-Yasmin; Zarrieß, Benjamin - Defeasible Reasoning via Datalog¬. Michael Maher
- On correctness and completeness of an n queens program. Drabent, Włodzimierz
ISSUE 5 and 6, Special issue on ICLP 2021
-
Preface (by Alex Brik , Andrea Formisano, Yanhong Annie Liu, and Joost Vennekens)
- Modal Logic S5 Satisfiability in Answer Set Programmingrse
Mario Alviano, Sotiris Batsakis, George Baryannis - Optimizing Probabilities in Probabilistic Logic Programs
Damiano Azzolini, Fabrizio Riguzzi - Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints
Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi - Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs
Viktor Besin, Markus Hecher, Stefan Woltran - Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
Loris Bozzato, Thomas Eiter, Rafael Kiesel - I-DLV-sr: A Stream Reasoning System based on I-DLV
Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari - A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction
Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis - Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming
Wolfgang Faber, Michael Morak, Lukáš Chrpa - Planning with Incomplete Information in Quantified Answer Set Programming
Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son - Planning for an Efficient Implementation of Hypothetical Bousi~Prolog
Pascual Julián-Iranzo, Fernando Sáenz-Pérez - Transformation-Enabled Precondition Inference
Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Sondergaard - Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation
Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo - Here and There with Arithmetic
Vladimir Lifschitz - Solution Enumeration by Optimality in Answer Set Programming
Jukka Pajunen, Tomi Janhunen - 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 - FOLASP: FO(.) as Input Language for Answer Set Solvers
Kylian Van Dessel, Jo Devriendt, Joost Vennekens - An asymptotic analysis of probabilistic logic programming, with implications for expressing projective families of distributions
Felix Weitkämper - Refactoring the Whitby Intelligent Tutoring System for Clean Architecture
Paul S. Brown, Vania Dimitrova, Glen Hart, Anthony G. Cohn, Paulo Moura - An ASP-based Solution to the Chemotherapy Treatment Scheduling problem
Carmine Dodaro, Giuseppe Galatà , Andrea Grioni, Marco Maratea, Marco Mochi, Ivan Porro - Knowledge-Based Stable Roommates Problem: A Real-World Application
Muge Fidan, Esra Erdem
FORTHCOMING SPECIAL ISSUE ON 20 YEARS OF TPLP (preliminary list)
- Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches Yuliya Lierler
- 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
- Thirty years of Epistemic Specifications. Jorge Fandinno, Wolfgang Faber, and Michael Gelfond