141. Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming. Issue 6 (November 2020) Authors: BOGATARKAN, AYSU; ERDEM, ESRA Journal: Theory and practice of logic programming Issue: Volume 20:Issue 6(2020) Page Start: 974 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
142. Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. Issue 3 (10th August 2018) Authors: KAMINSKI, TOBIAS; EITER, THOMAS; INOUE, KATSUMI Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 571 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
143. 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) ↗
144. Exploiting Game Theory for Analysing Justifications. Issue 6 (November 2020) Authors: MARYNISSEN, SIMON; BOGAERTS, BART; DENECKER, MARC Journal: Theory and practice of logic programming Issue: Volume 20:Issue 6(2020) Page Start: 880 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
145. Exploring the Jungle of Intuitionistic Temporal Logics. Issue 4 (22nd July 2021) Authors: BOUDOU, JOSEPH; DIÉGUEZ, MARTÍN; FERNÁNDEZ-DUQUE, DAVID; KREMER, PHILIP Journal: Theory and practice of logic programming Issue: Volume 21:Issue 4(2021) Page Start: 459 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
146. Finite model reasoning over existential rules*. Issue 5 (24th August 2017) Authors: AMENDOLA, GIOVANNI; LEONE, NICOLA; MANNA, MARCO Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 726 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
147. First-order Answer Set Programming as Constructive Proof Search. Issue 3 (10th August 2018) Authors: SCHUBERT, ALEKSY; URZYCZYN, PAWEŁ Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 673 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
148. First-order modular logic programs and their conservative extensions. Issue 5 (14th October 2016) Authors: HARRISON, AMELIA; LIERLER, YULIYA Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 755 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
149. Fixpoint semantics and optimization of recursive Datalog programs with aggregates*. Issue 5 (23rd August 2017) Authors: ZANIOLO, CARLO; YANG, MOHAN; DAS, ARIYAM; SHKAPSKY, ALEXANDER; CONDIE, TYSON; INTERLANDI, MATTEO Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 1048 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
150. Flexible coinductive logic programming. Issue 6 (November 2020) Authors: DAGNINO, FRANCESCO; ANCONA, DAVIDE; ZUCCA, ELENA Journal: Theory and practice of logic programming Issue: Volume 20:Issue 6(2020) Page Start: 818 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗