The Expressive Power of Revised Datalog on Problems with Closure Properties

Shiguang Feng. The Expressive Power of Revised Datalog on Problems with Closure Properties. In Natasha Alechina, Andreas Herzig, Fei Liang, editors, Logic, Rationality, and Interaction - 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings. Volume 14329 of Lecture Notes in Computer Science, pages 109-125, Springer, 2023. [doi]

Abstract

Abstract is missing.