Rizwan, Momina; Patoglu, Volkan; Erdem, Esra Human robot collaborative assembly planning: an answer set programming approach. (English) Zbl 1457.68270 Theory Pract. Log. Program. 20, No. 6, 1006-1020 (2020). Reviewer: Vladik Ya. Kreinovich (El Paso) MSC: 68T40 68N17 68T20 68T30 PDFBibTeX XMLCite \textit{M. Rizwan} et al., Theory Pract. Log. Program. 20, No. 6, 1006--1020 (2020; Zbl 1457.68270) Full Text: DOI arXiv
Komendantskaya, Ekaterina; Rozplokhas, Dmitry; Basold, Henning The new normal: we cannot eliminate cuts in coinductive calculi, but we can explore them. (English) Zbl 1477.03241 Theory Pract. Log. Program. 20, No. 6, 990-1005 (2020). MSC: 03F05 PDFBibTeX XMLCite \textit{E. Komendantskaya} et al., Theory Pract. Log. Program. 20, No. 6, 990--1005 (2020; Zbl 1477.03241) Full Text: DOI arXiv
Bogatarkan, Aysu; Erdem, Esra Explanation generation for multi-modal multi-agent path finding with optimal resource utilization using answer set programming. (English) Zbl 1468.68192 Theory Pract. Log. Program. 20, No. 6, 974-989 (2020). MSC: 68T20 68N17 68T30 68T42 PDFBibTeX XMLCite \textit{A. Bogatarkan} and \textit{E. Erdem}, Theory Pract. Log. Program. 20, No. 6, 974--989 (2020; Zbl 1468.68192) Full Text: DOI arXiv
Fiorentino, Alessio; Zangari, Jessica; Manna, Marco DaRLing: a Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries. (English) Zbl 1468.68221 Theory Pract. Log. Program. 20, No. 6, 958-973 (2020). MSC: 68T30 68N17 68P15 PDFBibTeX XMLCite \textit{A. Fiorentino} et al., Theory Pract. Log. Program. 20, No. 6, 958--973 (2020; Zbl 1468.68221) Full Text: DOI arXiv
Izmirlioglu, Yusuf; Erdem, Esra Reasoning about cardinal directions between 3-dimensional extended objects using answer set programming. (English) Zbl 1468.68224 Theory Pract. Log. Program. 20, No. 6, 942-957 (2020). MSC: 68T30 68N17 68T27 PDFBibTeX XMLCite \textit{Y. Izmirlioglu} and \textit{E. Erdem}, Theory Pract. Log. Program. 20, No. 6, 942--957 (2020; Zbl 1468.68224) Full Text: DOI arXiv
Erdem, Esra; Fidan, Müge; Manlove, David; Prosser, Patrick A general framework for stable roommates problems using answer set programming. (English) Zbl 1468.68197 Theory Pract. Log. Program. 20, No. 6, 911-925 (2020). MSC: 68T20 68N17 91B68 PDFBibTeX XMLCite \textit{E. Erdem} et al., Theory Pract. Log. Program. 20, No. 6, 911--925 (2020; Zbl 1468.68197) Full Text: DOI arXiv
Eiter, Thomas; Kiesel, Rafael \(\mathrm{ASP}(\mathcal{AC})\): answer set programming with algebraic constraints. (English) Zbl 1471.68047 Theory Pract. Log. Program. 20, No. 6, 895-910 (2020). MSC: 68N17 03B70 68N30 PDFBibTeX XMLCite \textit{T. Eiter} and \textit{R. Kiesel}, Theory Pract. Log. Program. 20, No. 6, 895--910 (2020; Zbl 1471.68047) Full Text: DOI arXiv
Marynissen, Simon; Bogaerts, Bart; Denecker, Marc Exploiting game theory for analysing justifications. (English) Zbl 1468.68214 Theory Pract. Log. Program. 20, No. 6, 880-894 (2020). MSC: 68T27 03B60 68N17 91A24 91A80 PDFBibTeX XMLCite \textit{S. Marynissen} et al., Theory Pract. Log. Program. 20, No. 6, 880--894 (2020; Zbl 1468.68214) Full Text: DOI arXiv
Talbot, Pierre; Monfroy, Éric; Truchet, Charlotte Modular constraint solver cooperation via abstract interpretation. (English) Zbl 1468.68208 Theory Pract. Log. Program. 20, No. 6, 848-863 (2020). MSC: 68T20 68N17 90B35 PDFBibTeX XMLCite \textit{P. Talbot} et al., Theory Pract. Log. Program. 20, No. 6, 848--863 (2020; Zbl 1468.68208) Full Text: DOI arXiv
Cabalar, Pedro; Fandinno, Jorge; Garea, Javier; Romero, Javier; Schaub, Torsten eclingo: a solver for epistemic logic programs. (English) Zbl 1468.68053 Theory Pract. Log. Program. 20, No. 6, 834-847 (2020). MSC: 68N17 68T20 PDFBibTeX XMLCite \textit{P. Cabalar} et al., Theory Pract. Log. Program. 20, No. 6, 834--847 (2020; Zbl 1468.68053) Full Text: DOI arXiv
Dagnino, Francesco; Ancona, Davide; Zucca, Elena Flexible coinductive logic programming. (English) Zbl 1468.68054 Theory Pract. Log. Program. 20, No. 6, 818-833 (2020). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{F. Dagnino} et al., Theory Pract. Log. Program. 20, No. 6, 818--833 (2020; Zbl 1468.68054) Full Text: DOI arXiv
Ricca, Francesco (ed.); Russo, Alessandra (ed.) Introduction to the 36th international conference on logic programming. Special issue II. (English) Zbl 1468.68019 Theory Pract. Log. Program. 20, No. 6, 815-817 (2020). MSC: 68-06 68N17 00B25 PDFBibTeX XMLCite \textit{F. Ricca} (ed.) and \textit{A. Russo} (ed.), Theory Pract. Log. Program. 20, No. 6, 815--817 (2020; Zbl 1468.68019) Full Text: DOI