Li, Yantong; Côté, Jean-François; Callegari-Coelho, Leandro; Wu, Peng Novel formulations and logic-based Benders decomposition for the integrated parallel machine scheduling and location problem. (English) Zbl 07551225 INFORMS J. Comput. 34, No. 2, 1048-1069 (2022). MSC: 90B35 90B80 90C27 90C11 90C05 90C57 PDF BibTeX XML Cite \textit{Y. Li} et al., INFORMS J. Comput. 34, No. 2, 1048--1069 (2022; Zbl 07551225) Full Text: DOI OpenURL
Zohali, Hassan; Naderi, Bahman; Roshanaei, Vahid Solving the type-2 assembly line balancing with setups using logic-based Benders decomposition. (English) Zbl 07549380 INFORMS J. Comput. 34, No. 1, 315-332 (2022). MSC: 90-XX PDF BibTeX XML Cite \textit{H. Zohali} et al., INFORMS J. Comput. 34, No. 1, 315--332 (2022; Zbl 07549380) Full Text: DOI OpenURL
Streltsova, E.; Borodin, A.; Yakovenko, I. Fuzzy-logic model for feasibility study of project implementation: project’s investment risk. (English) Zbl 07547162 Iran. J. Fuzzy Syst. 19, No. 2, 1-15 (2022). MSC: 91Bxx 90Cxx 03Exx PDF BibTeX XML Cite \textit{E. Streltsova} et al., Iran. J. Fuzzy Syst. 19, No. 2, 1--15 (2022; Zbl 07547162) Full Text: DOI OpenURL
Nagayama, Shinobu; Sasao, Tsutomu; Butler, Jon T. A fast method for exactly optimum linear decomposition of index generation functions. (English) Zbl 07536575 J. Mult.-Val. Log. Soft Comput. 38, No. 3-4, 387-405 (2022). MSC: 94Cxx PDF BibTeX XML Cite \textit{S. Nagayama} et al., J. Mult.-Val. Log. Soft Comput. 38, No. 3--4, 387--405 (2022; Zbl 07536575) Full Text: Link OpenURL
Aguado, Felicidad; Cabalar, Pedro; Fandinno, Jorge; Pearce, David; Pérez, Gilberto; Vidal, Concepción A polynomial reduction of forks into logic programs. (English) Zbl 07535444 Artif. Intell. 308, Article ID 103712, 14 p. (2022). MSC: 68Txx PDF BibTeX XML Cite \textit{F. Aguado} et al., Artif. Intell. 308, Article ID 103712, 14 p. (2022; Zbl 07535444) Full Text: DOI OpenURL
Asăvoae, Irina Măriuca; Shirazi, Ramtine Tofighi; Riesco, Adrián; Yasuyoshi, Uemura Hardware Trojan detection via rewriting logic. (English) Zbl 07531438 J. Log. Algebr. Methods Program. 127, Article ID 100762, 19 p. (2022). MSC: 68-XX PDF BibTeX XML Cite \textit{I. M. Asăvoae} et al., J. Log. Algebr. Methods Program. 127, Article ID 100762, 19 p. (2022; Zbl 07531438) Full Text: DOI OpenURL
Garg, Harish \(q\)-rung orthopair fuzzy sets. Theory and applications (to appear). (English) Zbl 07529465 Cham: Springer (ISBN 978-981-19-1448-5/hbk). xviii, 560 p. (2022). MSC: 90-06 03-06 90C70 03E72 PDF BibTeX XML Cite \textit{H. Garg}, \(q\)-rung orthopair fuzzy sets. Theory and applications (to appear). Cham: Springer (2022; Zbl 07529465) OpenURL
Hanus, Michael (ed.); Igarashi, Atsushi (ed.) Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. (English) Zbl 07528570 Lecture Notes in Computer Science 13215. Cham: Springer (ISBN 978-3-030-99460-0/pbk; 978-3-030-99461-7/ebook). xvi, 170 p. (2022). MSC: 68-06 68N17 68N18 00B25 PDF BibTeX XML Cite \textit{M. Hanus} (ed.) and \textit{A. Igarashi} (ed.), Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10--12, 2022. Proceedings. Cham: Springer (2022; Zbl 07528570) Full Text: DOI OpenURL
Tsilionis, Efthimis; Artikis, Alexander; Paliouras, Georgios Incremental event calculus for run-time reasoning. (English) Zbl 07527545 J. Artif. Intell. Res. (JAIR) 73, 967-1023 (2022). MSC: 68Txx PDF BibTeX XML Cite \textit{E. Tsilionis} et al., J. Artif. Intell. Res. (JAIR) 73, 967--1023 (2022; Zbl 07527545) Full Text: DOI OpenURL
Boonprasurt, Prachya; Sampaokit, Pipat; Witayakiattilerd, Wichai MACD indicator with the modified signal line and trading weight inference in fuzzy environment. (English) Zbl 07524244 Thail. Stat. 20, No. 1, 98-123 (2022). MSC: 91G10 90C70 PDF BibTeX XML Cite \textit{P. Boonprasurt} et al., Thail. Stat. 20, No. 1, 98--123 (2022; Zbl 07524244) Full Text: Link OpenURL
Alpuente, María; Escobar, Santiago; Meseguer, José; Sapiña, Julia Order-sorted equational generalization algorithm revisited. (English) Zbl 07517439 Ann. Math. Artif. Intell. 90, No. 5, 499-522 (2022). MSC: 68N17 68N18 68Q42 68Q60 68T20 68W30 PDF BibTeX XML Cite \textit{M. Alpuente} et al., Ann. Math. Artif. Intell. 90, No. 5, 499--522 (2022; Zbl 07517439) Full Text: DOI OpenURL
Nguyen, Danny; Pak, Igor Short Presburger arithmetic is hard. (English) Zbl 07516620 SIAM J. Comput. 51, No. 2, STOC17-1-STOC17-30 (2022). MSC: 68Q17 68Q25 03D15 90C10 03B10 03B70 PDF BibTeX XML Cite \textit{D. Nguyen} and \textit{I. Pak}, SIAM J. Comput. 51, No. 2, STOC17--1-STOC17--30 (2022; Zbl 07516620) Full Text: DOI OpenURL
Feng, Yuan; Li, Sanjiang; Ying, Mingsheng Verification of distributed quantum programs. (English) Zbl 07516331 ACM Trans. Comput. Log. 23, No. 3, Article No. 19, 40 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{Y. Feng} et al., ACM Trans. Comput. Log. 23, No. 3, Article No. 19, 40 p. (2022; Zbl 07516331) Full Text: DOI OpenURL
Fraccaroli, Michele; Lamma, Evelina; Riguzzi, Fabrizio Symbolic DNN-tuner. (English) Zbl 07510323 Mach. Learn. 111, No. 2, 625-650 (2022). MSC: 68T05 PDF BibTeX XML Cite \textit{M. Fraccaroli} et al., Mach. Learn. 111, No. 2, 625--650 (2022; Zbl 07510323) Full Text: DOI OpenURL
Dash, Tirtharaj; Srinivasan, Ashwin; Baskar, A. Inclusion of domain-knowledge into GNNs using mode-directed inverse entailment. (English) Zbl 07510322 Mach. Learn. 111, No. 2, 575-623 (2022). MSC: 68T05 PDF BibTeX XML Cite \textit{T. Dash} et al., Mach. Learn. 111, No. 2, 575--623 (2022; Zbl 07510322) Full Text: DOI OpenURL
Cropper, Andrew; Dumančić, Sebastijan; Evans, Richard; Muggleton, Stephen H. Inductive logic programming at 30. (English) Zbl 07510309 Mach. Learn. 111, No. 1, 147-172 (2022). MSC: 68T05 PDF BibTeX XML Cite \textit{A. Cropper} et al., Mach. Learn. 111, No. 1, 147--172 (2022; Zbl 07510309) Full Text: DOI OpenURL
Gao, Kun; Wang, Hanpin; Cao, Yongzhi; Inoue, Katsumi Learning from interpretation transition using differentiable logic programming semantics. (English) Zbl 07510308 Mach. Learn. 111, No. 1, 123-145 (2022). MSC: 68T05 PDF BibTeX XML Cite \textit{K. Gao} et al., Mach. Learn. 111, No. 1, 123--145 (2022; Zbl 07510308) Full Text: DOI OpenURL
Polat, Olcay; Topaloğlu, Duygu Collection of different types of milk with multi-tank tankers under uncertainty: a real case study. (English) Zbl 07502753 Top 30, No. 1, 1-33 (2022). MSC: 90C11 90B06 03B52 PDF BibTeX XML Cite \textit{O. Polat} and \textit{D. Topaloğlu}, Top 30, No. 1, 1--33 (2022; Zbl 07502753) Full Text: DOI OpenURL
Fichte, Johannes K.; Hecher, Markus; Schindler, Irina Default logic and bounded treewidth. (English) Zbl 07488448 Inf. Comput. 283, Article ID 104675, 19 p. (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{J. K. Fichte} et al., Inf. Comput. 283, Article ID 104675, 19 p. (2022; Zbl 07488448) Full Text: DOI OpenURL
Forti, Stefano; Bisicchia, Giuseppe; Brogi, Antonio Declarative continuous reasoning in the cloud-IoT continuum. (English) Zbl 07486289 J. Log. Comput. 32, No. 2, 206-232 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{S. Forti} et al., J. Log. Comput. 32, No. 2, 206--232 (2022; Zbl 07486289) Full Text: DOI OpenURL
Chen, Haibo; Gao, Xin Mathematics and software verification. (English) Zbl 07481172 Heng, Liao (ed.) et al., Mathematics for future computing and communications. Cambridge: Cambridge University Press. 54-73 (2022). MSC: 68N30 03B70 68N18 68Q60 PDF BibTeX XML Cite \textit{H. Chen} and \textit{X. Gao}, in: Mathematics for future computing and communications. Cambridge: Cambridge University Press. 54--73 (2022; Zbl 07481172) Full Text: Link OpenURL
Caglar Gencosman, Burcu; Begen, Mehmet A. Exact optimization and decomposition approaches for shelf space allocation. (English) Zbl 07479750 Eur. J. Oper. Res. 299, No. 2, 432-447 (2022). MSC: 90Bxx PDF BibTeX XML Cite \textit{B. Caglar Gencosman} and \textit{M. A. Begen}, Eur. J. Oper. Res. 299, No. 2, 432--447 (2022; Zbl 07479750) Full Text: DOI OpenURL
Azzolini, Damiano; Bellodi, Elena; Ferilli, Stefano; Riguzzi, Fabrizio; Zese, Riccardo Abduction with probabilistic logic programming under the distribution semantics. (English) Zbl 07478937 Int. J. Approx. Reasoning 142, 41-63 (2022). MSC: 68T37 PDF BibTeX XML Cite \textit{D. Azzolini} et al., Int. J. Approx. Reasoning 142, 41--63 (2022; Zbl 07478937) Full Text: DOI OpenURL
Carbonnel, Clément; Romero, Miguel; Živný, Stanislav The complexity of general-valued constraint satisfaction problems seen from the other side. (English) Zbl 07470541 SIAM J. Comput. 51, No. 1, 19-69 (2022). MSC: 68Q25 68R01 03B70 90C05 PDF BibTeX XML Cite \textit{C. Carbonnel} et al., SIAM J. Comput. 51, No. 1, 19--69 (2022; Zbl 07470541) Full Text: DOI arXiv OpenURL
Vellino, André Satisfiability, lattices, temporal logic and constraint logic programming on intervals. (English) Zbl 07469222 Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 521-536 (2022). MSC: 03Bxx 03Gxx PDF BibTeX XML Cite \textit{A. Vellino}, Outst. Contrib. Log. 22, 521--536 (2022; Zbl 07469222) Full Text: DOI OpenURL
Amendola, Giovanni; Greco, Gianluigi; Veltri, Pierfrancesco Answers set programs for non-transferable utility games: expressiveness, complexity and applications. (English) Zbl 1478.68380 Artif. Intell. 302, Article ID 103606, 44 p. (2022). MSC: 68T42 68N17 68Q25 68T30 91A12 91A30 PDF BibTeX XML Cite \textit{G. Amendola} et al., Artif. Intell. 302, Article ID 103606, 44 p. (2022; Zbl 1478.68380) Full Text: DOI OpenURL
Ying, Mingsheng; Zhou, Li; Li, Yangjia; Feng, Yuan A proof system for disjoint parallel quantum programs. (English) Zbl 1478.68047 Theor. Comput. Sci. 897, 164-184 (2022). MSC: 68N19 03B70 68Q12 81P68 PDF BibTeX XML Cite \textit{M. Ying} et al., Theor. Comput. Sci. 897, 164--184 (2022; Zbl 1478.68047) Full Text: DOI OpenURL
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico; Tardivo, Fabio {CUDA}: set constraints on GPUs. (English) Zbl 07552283 Rend. Ist. Mat. Univ. Trieste 53, Paper No. 24, 27 p. (2021). MSC: 68N30 03B70 03E75 68N17 68W10 PDF BibTeX XML Cite \textit{A. Dovier} et al., Rend. Ist. Mat. Univ. Trieste 53, Paper No. 24, 27 p. (2021; Zbl 07552283) Full Text: DOI OpenURL
Cristiá, Maximiliano; Rossi, Gianfranco \(\{\mathit{log}\}\): set formulas as programs. (English) Zbl 07552282 Rend. Ist. Mat. Univ. Trieste 53, Paper No. 23, 24 p. (2021). MSC: 68N30 03B70 03E20 03E75 68N15 68N17 68Q60 68V15 PDF BibTeX XML Cite \textit{M. Cristiá} and \textit{G. Rossi}, Rend. Ist. Mat. Univ. Trieste 53, Paper No. 23, 24 p. (2021; Zbl 07552282) Full Text: DOI OpenURL
Guo, Cheng; Bodur, Merve; Aleman, Dionne M.; Urbach, David R. Logic-based Benders decomposition and binary decision diagram based approaches for stochastic distributed operating room scheduling. (English) Zbl 07549350 INFORMS J. Comput. 33, No. 4, 1551-1569 (2021). MSC: 90B36 90C15 PDF BibTeX XML Cite \textit{C. Guo} et al., INFORMS J. Comput. 33, No. 4, 1551--1569 (2021; Zbl 07549350) Full Text: DOI OpenURL
Leivant, Daniel Algorithmically broad languages for polynomial time and space. (English) Zbl 07547752 Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 372-387 (2021). MSC: 03B70 PDF BibTeX XML Cite \textit{D. Leivant}, Lect. Notes Comput. Sci. 13038, 372--387 (2021; Zbl 07547752) Full Text: DOI OpenURL
Setayandeh, M. R.; Babaei, A. R. A novel method for multi-objective design optimization based on fuzzy systems. (English) Zbl 07547128 Iran. J. Fuzzy Syst. 18, No. 5, 181-198 (2021). MSC: 90Cxx 93Cxx 74Pxx PDF BibTeX XML Cite \textit{M. R. Setayandeh} and \textit{A. R. Babaei}, Iran. J. Fuzzy Syst. 18, No. 5, 181--198 (2021; Zbl 07547128) Full Text: DOI OpenURL
Xu, Dongsheng; Xian, Huaxiang; Lu, Xiewen Interval neutrosophic covering rough sets based on neighborhoods. (English) Zbl 07543298 AIMS Math. 6, No. 4, 3772-3787 (2021). MSC: 03-06 60L70 68N17 PDF BibTeX XML Cite \textit{D. Xu} et al., AIMS Math. 6, No. 4, 3772--3787 (2021; Zbl 07543298) Full Text: DOI OpenURL
Sá, Samy; Alcântara, João Assumption-based argumentation is logic programming with projection. (English) Zbl 07542341 Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 173-186 (2021). MSC: 68T37 PDF BibTeX XML Cite \textit{S. Sá} and \textit{J. Alcântara}, Lect. Notes Comput. Sci. 12897, 173--186 (2021; Zbl 07542341) Full Text: DOI OpenURL
Sá, Samy; Alcântara, João An abstract argumentation and logic programming comparison based on 5-valued labellings. (English) Zbl 07542340 Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 159-172 (2021). MSC: 68T37 PDF BibTeX XML Cite \textit{S. Sá} and \textit{J. Alcântara}, Lect. Notes Comput. Sci. 12897, 159--172 (2021; Zbl 07542340) Full Text: DOI OpenURL
Olenev, A. A.; Kirichek, K. A.; Potekhina, E. V. Mathematical logic: construction of logic circuits from logical elements in Maple. (Russian. English summary) Zbl 07512607 Vestn. KRAUNTS, Fiz.-Mat. Nauki 36, No. 3, 155-164 (2021). MSC: 03B70 90C90 PDF BibTeX XML Cite \textit{A. A. Olenev} et al., Vestn. KRAUNTS, Fiz.-Mat. Nauki 36, No. 3, 155--164 (2021; Zbl 07512607) Full Text: DOI MNR OpenURL
Casso, Ignacio; Morales, José F.; López-García, P.; Hermenegildo, Manuel V. Testing your (static analysis) truths. (English) Zbl 07496652 Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 271-292 (2021). MSC: 68N30 PDF BibTeX XML Cite \textit{I. Casso} et al., Lect. Notes Comput. Sci. 12561, 271--292 (2021; Zbl 07496652) Full Text: DOI OpenURL
Kokke, Wen; Dardha, Ornela Prioritise the best variation. (English) Zbl 07493474 Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 100-119 (2021). MSC: 68Q85 03B70 68N18 PDF BibTeX XML Cite \textit{W. Kokke} and \textit{O. Dardha}, Lect. Notes Comput. Sci. 12719, 100--119 (2021; Zbl 07493474) Full Text: DOI OpenURL
Balasubramaniam, P. M.; Sudhakar, S.; Krishnamoorthy, Sujatha; Sriram, V. P.; Dhanaraj, S.; Subramaniyaswamy, V. Investigation and strategy of intelligent controller (ACBIC) for DC link control in SAPF system for industrial power systems. (English) Zbl 1485.93312 J. Discrete Math. Sci. Cryptography 24, No. 1, 1-17 (2021). MSC: 93C42 90C59 94D05 PDF BibTeX XML Cite \textit{P. M. Balasubramaniam} et al., J. Discrete Math. Sci. Cryptography 24, No. 1, 1--17 (2021; Zbl 1485.93312) Full Text: DOI OpenURL
Breuvart, Flavien; Dal Lago, Ugo; Herrou, Agathe On higher-order probabilistic subrecursion. (English) Zbl 07471685 Log. Methods Comput. Sci. 17, No. 4, Paper No. 25, 35 p. (2021). MSC: 68N30 03B40 68N19 68Q10 68Q55 PDF BibTeX XML Cite \textit{F. Breuvart} et al., Log. Methods Comput. Sci. 17, No. 4, Paper No. 25, 35 p. (2021; Zbl 07471685) Full Text: arXiv Link OpenURL
Rogozin, Daniel Categorical and algebraic aspects of the intuitionistic modal logic \(\mathrm{IEL}^{\text{--}}\) and its predicate extensions. (English) Zbl 07471471 J. Log. Comput. 31, No. 1, 347-374 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{D. Rogozin}, J. Log. Comput. 31, No. 1, 347--374 (2021; Zbl 07471471) Full Text: DOI arXiv OpenURL
Leivant, Daniel Finitism, imperative programs and primitive recursion. (English) Zbl 07471465 J. Log. Comput. 31, No. 1, 179-192 (2021). MSC: 03D20 03F30 03A05 PDF BibTeX XML Cite \textit{D. Leivant}, J. Log. Comput. 31, No. 1, 179--192 (2021; Zbl 07471465) Full Text: DOI OpenURL
Giunchiglia, Eleonora; Lukasiewicz, Thomas Multi-label classification neural networks with hard logical constraints. (English) Zbl 07470365 J. Artif. Intell. Res. (JAIR) 72, 759-818 (2021). MSC: 68Txx PDF BibTeX XML Cite \textit{E. Giunchiglia} and \textit{T. Lukasiewicz}, J. Artif. Intell. Res. (JAIR) 72, 759--818 (2021; Zbl 07470365) Full Text: DOI arXiv OpenURL
Meli, Daniele; Sridharan, Mohan; Fiorini, Paolo Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons. (English) Zbl 07465654 Mach. Learn. 110, No. 7, 1739-1763 (2021). MSC: 68T05 PDF BibTeX XML Cite \textit{D. Meli} et al., Mach. Learn. 110, No. 7, 1739--1763 (2021; Zbl 07465654) Full Text: DOI OpenURL
Nguembang Fadja, Arnaud; Riguzzi, Fabrizio; Lamma, Evelina Learning hierarchical probabilistic logic programs. (English) Zbl 07465652 Mach. Learn. 110, No. 7, 1637-1693 (2021). MSC: 68T05 PDF BibTeX XML Cite \textit{A. Nguembang Fadja} et al., Mach. Learn. 110, No. 7, 1637--1693 (2021; Zbl 07465652) Full Text: DOI OpenURL
Julián-Iranzo, Pascual; Sáenz-Pérez, Fernando Planning for an efficient implementation of hypothetical Bousi\(\sim\)Prolog. (English) Zbl 07454776 Theory Pract. Log. Program. 21, No. 5, 680-697 (2021). MSC: 68N17 PDF BibTeX XML Cite \textit{P. Julián-Iranzo} and \textit{F. Sáenz-Pérez}, Theory Pract. Log. Program. 21, No. 5, 680--697 (2021; Zbl 07454776) Full Text: DOI arXiv OpenURL
Fandinno, Jorge; Laferriere, Francois; Romero, Javier; Schaub, Torsten; Son, Tran Cao Planning with incomplete information in quantified answer set programming. (English) Zbl 07454775 Theory Pract. Log. Program. 21, No. 5, 663-679 (2021). MSC: 68N17 PDF BibTeX XML Cite \textit{J. Fandinno} et al., Theory Pract. Log. Program. 21, No. 5, 663--679 (2021; Zbl 07454775) Full Text: DOI arXiv OpenURL
Faber, Wolfgang; Morak, Michael; Chrpa, Lukáš Determining action reversibility in STRIPS using answer set and epistemic logic programming. (English) Zbl 07454774 Theory Pract. Log. Program. 21, No. 5, 646-662 (2021). MSC: 68N17 PDF BibTeX XML Cite \textit{W. Faber} et al., Theory Pract. Log. Program. 21, No. 5, 646--662 (2021; Zbl 07454774) Full Text: DOI arXiv OpenURL
Charalambidis, Angelos; Rondogiannis, Panos; Troumpoukis, Antonis A logical characterization of the preferred models of logic programs with ordered disjunction. (English) Zbl 07454773 Theory Pract. Log. Program. 21, No. 5, 629-645 (2021). MSC: 68N17 PDF BibTeX XML Cite \textit{A. Charalambidis} et al., Theory Pract. Log. Program. 21, No. 5, 629--645 (2021; Zbl 07454773) Full Text: DOI arXiv OpenURL
Calimeri, Francesco; Manna, Marco; Mastria, Elena; Morelli, Maria Concetta; Perri, Simona; Zangari, Jessica I-DLV-sr: a stream reasoning system based on I-DLV. (English) Zbl 07454772 Theory Pract. Log. Program. 21, No. 5, 610-628 (2021). MSC: 68N17 PDF BibTeX XML Cite \textit{F. Calimeri} et al., Theory Pract. Log. Program. 21, No. 5, 610--628 (2021; Zbl 07454772) Full Text: DOI arXiv OpenURL
Bozzato, Loris; Eiter, Thomas; Kiesel, Rafael Reasoning on multirelational contextual hierarchies via answer set programming with algebraic measures. (English) Zbl 07454771 Theory Pract. Log. Program. 21, No. 5, 593-609 (2021). MSC: 68N17 PDF BibTeX XML Cite \textit{L. Bozzato} et al., Theory Pract. Log. Program. 21, No. 5, 593--609 (2021; Zbl 07454771) Full Text: DOI arXiv OpenURL
Besin, Viktor; Hecher, Markus; Woltran, Stefan Utilizing treewidth for quantitative reasoning on epistemic logic programs. (English) Zbl 07454770 Theory Pract. Log. Program. 21, No. 5, 575-592 (2021). MSC: 68N17 PDF BibTeX XML Cite \textit{V. Besin} et al., Theory Pract. Log. Program. 21, No. 5, 575--592 (2021; Zbl 07454770) Full Text: DOI arXiv OpenURL
Bellodi, Elena; Gavanelli, Marco; Zese, Riccardo; Lamma, Evelina; Riguzzi, Fabrizio Nonground abductive logic programming with probabilistic integrity constraints. (English) Zbl 07454769 Theory Pract. Log. Program. 21, No. 5, 557-574 (2021). MSC: 68N17 PDF BibTeX XML Cite \textit{E. Bellodi} et al., Theory Pract. Log. Program. 21, No. 5, 557--574 (2021; Zbl 07454769) Full Text: DOI arXiv OpenURL
Azzolini, Damiano; Riguzzi, Fabrizio Optimizing probabilities in probabilistic logic programs. (English) Zbl 07454768 Theory Pract. Log. Program. 21, No. 5, 543-556 (2021). MSC: 68N17 PDF BibTeX XML Cite \textit{D. Azzolini} and \textit{F. Riguzzi}, Theory Pract. Log. Program. 21, No. 5, 543--556 (2021; Zbl 07454768) Full Text: DOI arXiv OpenURL
Alviano, Mario; Batsakis, Sotiris; Baryannis, George Modal logic S5 satisfiability in answer set programming. (English) Zbl 07454767 Theory Pract. Log. Program. 21, No. 5, 527-542 (2021). MSC: 68N17 PDF BibTeX XML Cite \textit{M. Alviano} et al., Theory Pract. Log. Program. 21, No. 5, 527--542 (2021; Zbl 07454767) Full Text: DOI arXiv OpenURL
Brik, Alex (ed.); Formisano, Andrea (ed.); Liu, Yanhong Annie (ed.); Vennekens, Joost (ed.) Introduction to the 37th international conference on logic programming special issue. I. (English) Zbl 1477.00055 Theory Pract. Log. Program. 21, No. 5, 521-526 (2021). MSC: 00B25 68-06 68N17 PDF BibTeX XML Cite \textit{A. Brik} (ed.) et al., Theory Pract. Log. Program. 21, No. 5, 521--526 (2021; Zbl 1477.00055) Full Text: DOI OpenURL
Falomir, Zoe (ed.); Costa, Vicent (ed.); Plaza, Enric (ed.); Gibert, Karina (ed.) Special issue on logics and artificial intelligence. (English) Zbl 07450458 Log. J. IGPL 29, No. 1, 1-6 (2021). MSC: 68-06 PDF BibTeX XML Cite \textit{Z. Falomir} (ed.) et al., Log. J. IGPL 29, No. 1, 1--6 (2021; Zbl 07450458) Full Text: DOI OpenURL
Sakama, Chiaki; Inoue, Katsumi; Sato, Taisuke Logic programming in tensor spaces. (English) Zbl 07447183 Ann. Math. Artif. Intell. 89, No. 12, 1133-1153 (2021). MSC: 68N17 68T30 68W30 PDF BibTeX XML Cite \textit{C. Sakama} et al., Ann. Math. Artif. Intell. 89, No. 12, 1133--1153 (2021; Zbl 07447183) Full Text: DOI OpenURL
Pratt, Vaughan R. The four essential Aristotelian syllogisms, via substitution and symmetry. (English) Zbl 07442310 Madarász, Judit (ed.) et al., Hajnal Andréka and István Németi on unity of science. From computing to relativity theory through algebraic logic. Cham: Springer. Outst. Contrib. Log. 19, 125-138 (2021). MSC: 68-XX 90-XX PDF BibTeX XML Cite \textit{V. R. Pratt}, Outst. Contrib. Log. 19, 125--138 (2021; Zbl 07442310) Full Text: DOI OpenURL
Son, Tran Cao; Nguyen, Van; Vasileiou, Stylianos Loukas; Yeoh, William Model reconciliation in logic programs. (English) Zbl 07437054 Faber, Wolfgang (ed.) et al., Logics in artificial intelligence. 17th European conference, JELIA 2021, virtual event, May 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12678, 393-406 (2021). MSC: 68T27 PDF BibTeX XML Cite \textit{T. C. Son} et al., Lect. Notes Comput. Sci. 12678, 393--406 (2021; Zbl 07437054) Full Text: DOI OpenURL
Amendola, Giovanni; Berei, Tobias; Ricca, Francesco Testing in ASP: revisited language and programming environment. (English) Zbl 07437052 Faber, Wolfgang (ed.) et al., Logics in artificial intelligence. 17th European conference, JELIA 2021, virtual event, May 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12678, 362-376 (2021). MSC: 68T27 PDF BibTeX XML Cite \textit{G. Amendola} et al., Lect. Notes Comput. Sci. 12678, 362--376 (2021; Zbl 07437052) Full Text: DOI OpenURL
Hippen, Nicholas; Lierler, Yuliya Estimating grounding sizes of logic programs under answer set semantics. (English) Zbl 07437051 Faber, Wolfgang (ed.) et al., Logics in artificial intelligence. 17th European conference, JELIA 2021, virtual event, May 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12678, 346-361 (2021). MSC: 68T27 PDF BibTeX XML Cite \textit{N. Hippen} and \textit{Y. Lierler}, Lect. Notes Comput. Sci. 12678, 346--361 (2021; Zbl 07437051) Full Text: DOI OpenURL
Gonçalves, Ricardo; Janhunen, Tomi; Knorr, Matthias; Leite, João On syntactic forgetting under uniform equivalence. (English) Zbl 07437048 Faber, Wolfgang (ed.) et al., Logics in artificial intelligence. 17th European conference, JELIA 2021, virtual event, May 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12678, 297-312 (2021). MSC: 68T27 PDF BibTeX XML Cite \textit{R. Gonçalves} et al., Lect. Notes Comput. Sci. 12678, 297--312 (2021; Zbl 07437048) Full Text: DOI OpenURL
Bistarelli, Stefano; Taticchi, Carlo Introducing a tool for concurrent argumentation. (English) Zbl 07437030 Faber, Wolfgang (ed.) et al., Logics in artificial intelligence. 17th European conference, JELIA 2021, virtual event, May 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12678, 18-24 (2021). MSC: 68T27 PDF BibTeX XML Cite \textit{S. Bistarelli} and \textit{C. Taticchi}, Lect. Notes Comput. Sci. 12678, 18--24 (2021; Zbl 07437030) Full Text: DOI OpenURL
Cropper, Andrew; Morel, Rolf Learning programs by learning from failures. (English) Zbl 07432822 Mach. Learn. 110, No. 4, 801-856 (2021). MSC: 68T05 PDF BibTeX XML Cite \textit{A. Cropper} and \textit{R. Morel}, Mach. Learn. 110, No. 4, 801--856 (2021; Zbl 07432822) Full Text: DOI arXiv OpenURL
Patsantzis, S.; Muggleton, S. H. Top program construction and reduction for polynomial time meta-interpretive learning. (English) Zbl 07432820 Mach. Learn. 110, No. 4, 755-778 (2021). MSC: 68T05 PDF BibTeX XML Cite \textit{S. Patsantzis} and \textit{S. H. Muggleton}, Mach. Learn. 110, No. 4, 755--778 (2021; Zbl 07432820) Full Text: DOI arXiv OpenURL
Ai, Lun; Muggleton, Stephen H.; Hocquette, Céline; Gromowski, Mark; Schmid, Ute Beneficial and harmful explanatory machine learning. (English) Zbl 07432818 Mach. Learn. 110, No. 4, 695-721 (2021). MSC: 68T05 PDF BibTeX XML Cite \textit{L. Ai} et al., Mach. Learn. 110, No. 4, 695--721 (2021; Zbl 07432818) Full Text: DOI arXiv OpenURL
Alfano, Gianvincenzo; Greco, Sergio; Parisi, Francesco; Simari, Gerardo I.; Simari, Guillermo R. Incremental computation for structured argumentation over dynamic DeLP knowledge bases. (English) Zbl 07418697 Artif. Intell. 300, Article ID 103553, 30 p. (2021). MSC: 68Txx PDF BibTeX XML Cite \textit{G. Alfano} et al., Artif. Intell. 300, Article ID 103553, 30 p. (2021; Zbl 07418697) Full Text: DOI OpenURL
Manhaeve, Robin; Dumančić, Sebastijan; Kimmig, Angelika; Demeester, Thomas; De Raedt, Luc Neural probabilistic logic programming in DeepProbLog. (English) Zbl 07418672 Artif. Intell. 298, Article ID 103504, 34 p. (2021). MSC: 68Txx PDF BibTeX XML Cite \textit{R. Manhaeve} et al., Artif. Intell. 298, Article ID 103504, 34 p. (2021; Zbl 07418672) Full Text: DOI arXiv OpenURL
Azzolini, Damiano; Riguzzi, Fabrizio; Lamma, Evelina A semantics for hybrid probabilistic logic programs with function symbols. (English) Zbl 07418639 Artif. Intell. 294, Article ID 103452, 23 p. (2021). MSC: 68Txx PDF BibTeX XML Cite \textit{D. Azzolini} et al., Artif. Intell. 294, Article ID 103452, 23 p. (2021; Zbl 07418639) Full Text: DOI OpenURL
Wallin, Mathias; Dalklint, Anna; Tortorelli, Daniel Topology optimization of bistable elastic structures – an application to logic gates. (English) Zbl 07415060 Comput. Methods Appl. Mech. Eng. 383, Article ID 113912, 18 p. (2021). MSC: 74-XX 90-XX PDF BibTeX XML Cite \textit{M. Wallin} et al., Comput. Methods Appl. Mech. Eng. 383, Article ID 113912, 18 p. (2021; Zbl 07415060) Full Text: DOI OpenURL
Doherty, Patrick; Szalas, Andrzej Rough set reasoning using answer set programs. (English) Zbl 07414851 Int. J. Approx. Reasoning 130, 126-149 (2021). MSC: 68T37 68N17 68T30 PDF BibTeX XML Cite \textit{P. Doherty} and \textit{A. Szalas}, Int. J. Approx. Reasoning 130, 126--149 (2021; Zbl 07414851) Full Text: DOI OpenURL
Kwon, YoungMin; Kim, Eunhee A design of GPU-based quantitative model checking. (English) Zbl 1472.68091 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 441-463 (2021). MSC: 68Q60 03B44 68N30 PDF BibTeX XML Cite \textit{Y. Kwon} and \textit{E. Kim}, Lect. Notes Comput. Sci. 12597, 441--463 (2021; Zbl 1472.68091) Full Text: DOI OpenURL
Song, Yahui; Chin, Wei-Ngan A synchronous effects logic for temporal verification of pure Esterel. (English) Zbl 1472.68020 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 417-440 (2021). MSC: 68N15 03B70 68Q60 PDF BibTeX XML Cite \textit{Y. Song} and \textit{W.-N. Chin}, Lect. Notes Comput. Sci. 12597, 417--440 (2021; Zbl 1472.68020) Full Text: DOI OpenURL
Steffen, Bernhard; Murtovi, Alnis Generative program analysis and beyond: the power of domain-specific languages (invited paper). (English) Zbl 1472.68042 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 29-51 (2021). MSC: 68N30 03B44 68Q55 68Q60 PDF BibTeX XML Cite \textit{B. Steffen} and \textit{A. Murtovi}, Lect. Notes Comput. Sci. 12597, 29--51 (2021; Zbl 1472.68042) Full Text: DOI OpenURL
Beringer, Lennart Verified software units. (English) Zbl 1473.68035 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 118-147 (2021). MSC: 68N15 03B70 68N30 68Q60 PDF BibTeX XML Cite \textit{L. Beringer}, Lect. Notes Comput. Sci. 12648, 118--147 (2021; Zbl 1473.68035) Full Text: DOI OpenURL
Espírito Santo, José; Matthes, Ralph; Pinto, Luís A coinductive approach to proof search through typed lambda-calculi. (English) Zbl 07404818 Ann. Pure Appl. Logic 172, No. 10, Article ID 103026, 44 p. (2021). MSC: 03F07 03B40 03B15 68N18 PDF BibTeX XML Cite \textit{J. Espírito Santo} et al., Ann. Pure Appl. Logic 172, No. 10, Article ID 103026, 44 p. (2021; Zbl 07404818) Full Text: DOI arXiv OpenURL
Affeldt, Reynald; Garrigue, Jacques; Nowak, David; Saikawa, Takafumi A trustful monad for axiomatic reasoning with probability and nondeterminism. (English) Zbl 07400737 J. Funct. Program. 31, Paper No. e17, 38 p. (2021). Reviewer: Alexandre Goy (Lyon) MSC: 03B70 68N18 68V15 PDF BibTeX XML Cite \textit{R. Affeldt} et al., J. Funct. Program. 31, Paper No. e17, 38 p. (2021; Zbl 07400737) Full Text: DOI arXiv OpenURL
Nguyen, Hien D.; Sakama, Chiaki; Sato, Taisuke; Inoue, Katsumi An efficient reasoning method on logic programming using partial evaluation in vector spaces. (English) Zbl 07398785 J. Log. Comput. 31, No. 5, 1298-1316 (2021). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{H. D. Nguyen} et al., J. Log. Comput. 31, No. 5, 1298--1316 (2021; Zbl 07398785) Full Text: DOI OpenURL
Cuevas, Felizardo; Castillo, Oscar; Cortes-Antonio, Prometeo Optimal design of interval type-2 fuzzy tracking controllers of mobile robots using a metaheuristic algorithm. (English) Zbl 1471.93159 Melin, Patricia (ed.) et al., Recent advances of hybrid intelligent systems based on soft computing. Cham: Springer. Stud. Comput. Intell. 915, 315-341 (2021). MSC: 93C42 93C85 90C59 PDF BibTeX XML Cite \textit{F. Cuevas} et al., Stud. Comput. Intell. 915, 315--341 (2021; Zbl 1471.93159) Full Text: DOI OpenURL
Amador-Angulo, Leticia; Castillo, Oscar Optimization of fuzzy trajectory tracking in autonomous mobile robots based on bio-inspired algorithms. (English) Zbl 1471.93158 Melin, Patricia (ed.) et al., Recent advances of hybrid intelligent systems based on soft computing. Cham: Springer. Stud. Comput. Intell. 915, 249-271 (2021). MSC: 93C42 93C85 90C59 PDF BibTeX XML Cite \textit{L. Amador-Angulo} and \textit{O. Castillo}, Stud. Comput. Intell. 915, 249--271 (2021; Zbl 1471.93158) Full Text: DOI OpenURL
Amador-Angulo, Leticia; Castillo, Oscar Optimal design of fuzzy logic systems through a chicken search optimization algorithm applied to a benchmark problem. (English) Zbl 07392108 Melin, Patricia (ed.) et al., Recent advances of hybrid intelligent systems based on soft computing. Cham: Springer. Stud. Comput. Intell. 915, 229-247 (2021). MSC: 68-XX 90Cxx PDF BibTeX XML Cite \textit{L. Amador-Angulo} and \textit{O. Castillo}, Stud. Comput. Intell. 915, 229--247 (2021; Zbl 07392108) Full Text: DOI OpenURL
Guajardo, Hector M.; Valdez, Fevrier Optimization of routes of a robot using bioinspired algorithms. (English) Zbl 1469.93069 Melin, Patricia (ed.) et al., Recent advances of hybrid intelligent systems based on soft computing. Cham: Springer. Stud. Comput. Intell. 915, 217-228 (2021). MSC: 93C42 93C85 90C59 PDF BibTeX XML Cite \textit{H. M. Guajardo} and \textit{F. Valdez}, Stud. Comput. Intell. 915, 217--228 (2021; Zbl 1469.93069) Full Text: DOI OpenURL
Sánchez, Daniela; Melin, Patricia; Castillo, Oscar Fuzzy dynamic parameter adaptation for particle swarm optimization of modular granular neural networks applied to time series prediction. (English) Zbl 07392105 Melin, Patricia (ed.) et al., Recent advances of hybrid intelligent systems based on soft computing. Cham: Springer. Stud. Comput. Intell. 915, 189-204 (2021). MSC: 68-XX 90Cxx PDF BibTeX XML Cite \textit{D. Sánchez} et al., Stud. Comput. Intell. 915, 189--204 (2021; Zbl 07392105) Full Text: DOI OpenURL
Carreon, Hector; Valdez, Fevrier Comparative study of type-1 and interval type-2 fuzzy systems in parameter adaptation of the fuzzy flower pollination algorithm. (English) Zbl 07392102 Melin, Patricia (ed.) et al., Recent advances of hybrid intelligent systems based on soft computing. Cham: Springer. Stud. Comput. Intell. 915, 145-161 (2021). MSC: 68-XX 90Cxx PDF BibTeX XML Cite \textit{H. Carreon} and \textit{F. Valdez}, Stud. Comput. Intell. 915, 145--161 (2021; Zbl 07392102) Full Text: DOI OpenURL
Pulido, Martha; Melin, Patricia Comparison of genetic algorithm and particle swarm optimization of ensemble neural networks for complex time series prediction. (English) Zbl 07392097 Melin, Patricia (ed.) et al., Recent advances of hybrid intelligent systems based on soft computing. Cham: Springer. Stud. Comput. Intell. 915, 51-77 (2021). MSC: 68Txx 90Cxx PDF BibTeX XML Cite \textit{M. Pulido} and \textit{P. Melin}, Stud. Comput. Intell. 915, 51--77 (2021; Zbl 07392097) Full Text: DOI OpenURL
Bertolucci, Riccardo; Capitanelli, Alessio; Dodaro, Carmine; Leone, Nicola; Maratea, Marco; Mastrogiovanni, Fulvio; Vallati, Mauro Manipulation of articulated objects using dual-arm robots via answer set programming. (English) Zbl 07390875 Theory Pract. Log. Program. 21, No. 3, 372-401 (2021). MSC: 68N17 PDF BibTeX XML Cite \textit{R. Bertolucci} et al., Theory Pract. Log. Program. 21, No. 3, 372--401 (2021; Zbl 07390875) Full Text: DOI arXiv OpenURL
Wang, Yi; Lee, Joohyung Elaboration tolerant representation of Markov decision process via decision-theoretic extension of probabilistic action language \(p\mathcal{BC}+\). (English) Zbl 07390874 Theory Pract. Log. Program. 21, No. 3, 348-371 (2021). MSC: 68N17 PDF BibTeX XML Cite \textit{Y. Wang} and \textit{J. Lee}, Theory Pract. Log. Program. 21, No. 3, 348--371 (2021; Zbl 07390874) Full Text: DOI arXiv OpenURL
Abels, Dirk; Jordi, Julian; Ostrowski, Max; Schaub, Torsten; Toletti, Ambra; Wanko, Philipp Train scheduling with hybrid answer set programming. (English) Zbl 07390873 Theory Pract. Log. Program. 21, No. 3, 317-347 (2021). MSC: 68N17 PDF BibTeX XML Cite \textit{D. Abels} et al., Theory Pract. Log. Program. 21, No. 3, 317--347 (2021; Zbl 07390873) Full Text: DOI arXiv OpenURL
Cabalar, Pedro; Fandinno, Jorge; Fariñas Del Cerro, Luis Splitting epistemic logic programs. (English) Zbl 07390872 Theory Pract. Log. Program. 21, No. 3, 296-316 (2021). MSC: 68N17 PDF BibTeX XML Cite \textit{P. Cabalar} et al., Theory Pract. Log. Program. 21, No. 3, 296--316 (2021; Zbl 07390872) Full Text: DOI arXiv OpenURL
Garcia-Contreras, Isabel; Morales, José F.; Hermenegildo, Manuel V. Incremental and modular context-sensitive analysis. (English) Zbl 1472.68035 Theory Pract. Log. Program. 21, No. 2, 196-243 (2021). MSC: 68N30 68N17 PDF BibTeX XML Cite \textit{I. Garcia-Contreras} et al., Theory Pract. Log. Program. 21, No. 2, 196--243 (2021; Zbl 1472.68035) Full Text: DOI arXiv OpenURL
Saribatur, Zeynep G.; Eiter, Thomas Erratum to: “Omission-based abstraction for answer set programs”. (English) Zbl 1472.68030 Theory Pract. Log. Program. 21, No. 2, 292 (2021). MSC: 68N17 68T20 68T30 PDF BibTeX XML Cite \textit{Z. G. Saribatur} and \textit{T. Eiter}, Theory Pract. Log. Program. 21, No. 2, 292 (2021; Zbl 1472.68030) Full Text: DOI OpenURL
Saribatur, Zeynep G.; Eiter, Thomas Omission-based abstraction for answer set programs. (English) Zbl 1472.68029 Theory Pract. Log. Program. 21, No. 2, 145-195 (2021); erratum ibid. 21, No. 2, 292 (2021). MSC: 68N17 68T20 68T30 PDF BibTeX XML Cite \textit{Z. G. Saribatur} and \textit{T. Eiter}, Theory Pract. Log. Program. 21, No. 2, 145--195 (2021; Zbl 1472.68029) Full Text: DOI arXiv OpenURL
Robbins, Ed; King, Andy; Howe, Jacob M. Backjumping is exception handling. (English) Zbl 1472.68028 Theory Pract. Log. Program. 21, No. 2, 125-144 (2021). MSC: 68N17 05C15 68T05 68T20 PDF BibTeX XML Cite \textit{E. Robbins} et al., Theory Pract. Log. Program. 21, No. 2, 125--144 (2021; Zbl 1472.68028) Full Text: DOI arXiv OpenURL
Calimeri, Francesco; Cauteruccio, Francesco; Cinelli, Luca; Marzullo, Aldo; Stamile, Claudio; Terracina, Giorgio; Durand-Dubief, Françoise; Sappey-Marinier, Dominique A logic-based framework leveraging neural networks for studying the evolution of neurological disorders. (English) Zbl 1472.68187 Theory Pract. Log. Program. 21, No. 1, 80-124 (2021). MSC: 68T27 68N17 92-08 92-10 92B20 92C20 92C50 PDF BibTeX XML Cite \textit{F. Calimeri} et al., Theory Pract. Log. Program. 21, No. 1, 80--124 (2021; Zbl 1472.68187) Full Text: DOI arXiv OpenURL
Delivorias, Stathis; Leclère, Michel; Mugnier, Marie-Laure; Ulliana, Federico Characterizing boundedness in chase variants. (English) Zbl 1472.68188 Theory Pract. Log. Program. 21, No. 1, 51-79 (2021). MSC: 68T27 68P15 68T30 PDF BibTeX XML Cite \textit{S. Delivorias} et al., Theory Pract. Log. Program. 21, No. 1, 51--79 (2021; Zbl 1472.68188) Full Text: DOI arXiv OpenURL
Loreti, Michele Book review of: D. Draheim, Semantics of the probabilistic typed lambda calculus. Markov chain semantics, termination behavior, and denotational semantics. (English) Zbl 07388001 Formal Asp. Comput. 33, No. 3, 457-458 (2021). MSC: 00A17 03-02 68-02 03B40 68N18 03B70 PDF BibTeX XML Cite \textit{M. Loreti}, Formal Asp. Comput. 33, No. 3, 457--458 (2021; Zbl 07388001) Full Text: DOI OpenURL
Xu, Zhiwei; Zhang, Jialin Computational thinking: a perspective on computer science. (English) Zbl 07385350 Singapore: Springer (ISBN 978-981-16-3847-3/hbk; 978-981-16-3848-0/ebook). xxvi, 319 p. (2021). Reviewer: Dieter Riebesehl (Lüneburg) MSC: 68-01 68M01 68M11 68N15 68P05 68P10 68Q04 68Q06 68Q15 68Q25 97P10 PDF BibTeX XML Cite \textit{Z. Xu} and \textit{J. Zhang}, Computational thinking: a perspective on computer science. Singapore: Springer (2021; Zbl 07385350) Full Text: DOI OpenURL
Cuéllar, Manuel P.; Rueda, Ramón; Ruiz, Luis G. Baca; Pegalajar, María Del Carmen A three-valued logic approach for edge detection using cellular automata. (English) Zbl 1468.68252 J. Cell. Autom. 15, No. 5-6, 407-438 (2021). MSC: 68T45 03B50 68Q80 68U10 PDF BibTeX XML Cite \textit{M. P. Cuéllar} et al., J. Cell. Autom. 15, No. 5--6, 407--438 (2021; Zbl 1468.68252) Full Text: Link OpenURL
Eiter, Thomas; Kaminski, Tobias Pruning external minimality checking for answer set programs using semantic dependencies. (English) Zbl 07382239 Artif. Intell. 290, Article ID 103402, 34 p. (2021). MSC: 68Txx PDF BibTeX XML Cite \textit{T. Eiter} and \textit{T. Kaminski}, Artif. Intell. 290, Article ID 103402, 34 p. (2021; Zbl 07382239) Full Text: DOI OpenURL