1. A Neuro-Symbolic ASP Pipeline for Visual Question Answering. Issue 5 (11th September 2022) Authors: EITER, THOMAS; HIGUERA, NELSON; OETSCH, JOHANNES; PRITZ, MICHAEL Journal: Theory and practice of logic programming Issue: Volume 22:Issue 5(2022) Page Start: 739 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT. Issue 2 (1st March 2022) Authors: LIU, FANGFANG; YOU, JIA-HUAI Journal: Theory and practice of logic programming Issue: Volume 22:Issue 2(2022) Page Start: 305 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Building Information Modeling Using Constraint Logic Programming. Issue 5 (14th September 2022) Authors: ARIAS, JOAQUÍN; TÖRMÄ, SEPPO; CARRO, MANUEL; GUPTA, GOPAL Journal: Theory and practice of logic programming Issue: Volume 22:Issue 5(2022) Page Start: 723 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Efficient Knowledge Compilation Beyond Weighted Model Counting. Issue 4 (3rd July 2022) Authors: KIESEL, RAFAEL; TOTIS, PIETRO; KIMMIG, ANGELIKA Journal: Theory and practice of logic programming Issue: Volume 22:Issue 4(2022) Page Start: 505 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems. Issue 4 (30th July 2022) Authors: TARZARIOL, ALICE; SCHEKOTIHIN, KONSTANTIN; GEBSER, MARTIN; LAW, MARK Journal: Theory and practice of logic programming Issue: Volume 22:Issue 4(2022) Page Start: 606 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Efficient TBox Reasoning with Value Restrictions using the ${\cal F}{{\cal L}_0}$ wer Reasoner. Issue 2 (15th March 2022) Authors: BAADER, FRANZ; KOOPMANN, PATRICK; MICHEL, FRIEDRICH; TURHAN, ANNI-YASMIN; ZARRIESS, BENJAMIN Journal: Theory and practice of logic programming Issue: Volume 22:Issue 2(2022) Page Start: 162 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Exploiting Database Management Systems and Treewidth for Counting. Issue 1 (12th January 2022) Authors: FICHTE, JOHANNES K.; HECHER, MARKUS; THIER, PATRICK; WOLTRAN, STEFAN Journal: Theory and practice of logic programming Issue: Volume 22:Issue 1(2022) Page Start: 128 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data. Issue 5 (1st September 2022) Authors: WANG, HUADUO; SHAKERIN, FARHAD; GUPTA, GOPAL Journal: Theory and practice of logic programming Issue: Volume 22:Issue 5(2022) Page Start: 658 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. From Logic to Functional Logic Programs. Issue 4 (4th July 2022) Authors: HANUS, MICHAEL Journal: Theory and practice of logic programming Issue: Volume 22:Issue 4(2022) Page Start: 538 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Introduction to the 38th International Conference on Logic Programming Special Issue II. Issue 5 (September 2022) Authors: LIERLER, YULIYA; MORALES, JOSE F. Journal: Theory and practice of logic programming Issue: Volume 22:Issue 5(2022) Page Start: 640 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗