External Links

    Journal: TPLP

    Volume 22, Issue 6

    770 -- 775Thomas Eiter, Michael J. Maher, Enrico Pontelli, Luc De Raedt, Miroslaw Truszczynski. Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP
    776 -- 858Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales 0001, Jan Wielemaker, Daniel Diaz, Salvador Abreu. Fifty Years of Prolog and Beyond
    859 -- 904Dale Miller 0001. A Survey of the Proof-Theoretic Foundations of Logic Programming
    905 -- 973Agostino Dovier, Andrea Formisano 0001, Gopal Gupta 0001, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha 0001. Parallel Logic Programming: A Sequel
    974 -- 1042Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti. Analysis and Transformation of Constrained Horn Clauses for Program Verification
    1043 -- 1083Jorge Fandinno, Wolfgang Faber 0001, Michael Gelfond. Thirty years of Epistemic Specifications

    Volume 22, Issue 5

    640 -- 0Yuliya Lierler, José F. Morales 0001. Introduction to the 38th International Conference on Logic Programming Special Issue II
    641 -- 657Simon Marynissen, Jesse Heyninck, Bart Bogaerts 0001, Marc Denecker. On Nested Justification Systems
    658 -- 677Huaduo Wang, Farhad Shakerin, Gopal Gupta. FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data
    678 -- 692Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob. MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations
    693 -- 707Paul Tarau. Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis
    708 -- 722Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis. Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective
    723 -- 738Joaquín Arias, Seppo Törmä, Manuel Carro, Gopal Gupta. Building Information Modeling Using Constraint Logic Programming
    739 -- 754Thomas Eiter, Nelson Higuera, Johannes Oetsch, Michael Pritz. A Neuro-Symbolic ASP Pipeline for Visual Question Answering
    755 -- 769David Geleßus, Michael Leuschel. Making ProB Compatible with SWI-Prolog

    Volume 22, Issue 4

    499 -- 504Yuliya Lierler, José F. Morales 0001. Introduction to the 38th International Conference on Logic Programming Special Issue
    505 -- 522Rafael Kiesel, Pietro Totis, Angelika Kimmig. Efficient Knowledge Compilation Beyond Weighted Model Counting
    523 -- 537Linde Vanbesien, Maurice Bruynooghe, Marc Denecker. Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
    538 -- 554Michael Hanus. From Logic to Functional Logic Programs
    555 -- 572Emanuele De Angelis, Maurizio Proietti, Fabio Fioravanti, Alberto Pettorossi. Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
    573 -- 588Vladimir Lifschitz. Strong Equivalence of Logic Programs with Counting
    589 -- 605Laura Giordano 0001, Daniele Theseider Dupré. An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases
    606 -- 622Alice Tarzariol, Konstantin Schekotihin, Martin Gebser, Mark Law. Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems
    623 -- 639Mohammed M. S. El-Kholany, Martin Gebser, Konstantin Schekotihin. Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling

    Volume 22, Issue 3

    335 -- 366Yuliya Lierler. Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
    367 -- 418Krysia Broda, Fariba Sadri, Stephen Butler. Reactive Answer Set Programming
    419 -- 443Dhruva Pendharkar, Kinjal Basu 0002, Farhad Shakerin, Gopal Gupta. An ASP-based Approach to Answering Natural Language Questions for Texts
    444 -- 495María Alpuente, Santiago Escobar 0001, Julia Sapiña, Demis Ballis. Symbolic Specialization of Rewriting Logic Theories with Presto
    496 -- 498Gian Luca Pozzato. Probabilistic Semantic Web Reasoning and Learning, by Zese Riccardo

    Volume 22, Issue 2

    158 -- 161Paul Fodor, Marco Montali. Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 2019
    162 -- 192Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß. Efficient TBox Reasoning with Value Restrictions using the 0FL0{\cal F}{{\cal L}_0} wer Reasoner
    193 -- 228Stefan Borgwardt, Walter Forkel, Alisa Kovtunova. Temporal Minimal-World Query Answering over Sparse ABoxes
    229 -- 253Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro. Operating Room (Re)Scheduling with Bed Management via ASP
    254 -- 304Loris Bozzato, Thomas Eiter, Luciano Serafini. Reasoning on with Defeasibility in ASP
    305 -- 334Fangfang Liu, Jia-Huai You. Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT

    Volume 22, Issue 1

    1 -- 36Stefano Forti 0002, Federica Paganelli, Antonio Brogi. Probabilistic QoS-aware Placement of VNF Chains at the Edge
    37 -- 50Wlodzimierz Drabent. On Correctness and Completeness of an n Queens Program
    51 -- 80Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta. Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
    81 -- 114Nitesh Kumar, Ondrej Kuzelka, Luc De Raedt. Learning Distributional Programs for Relational Autocompletion
    115 -- 127Michael J. Maher. On Signings and the Well-Founded Semantics
    128 -- 157Johannes Klaus Fichte, Markus Hecher, Patrick Thier, Stefan Woltran. Exploiting Database Management Systems and Treewidth for Counting
    runs on