D’Agostino, M., Larese, C., & Modgil, S. (2025). Extending Depth-Bounded Reasoning to First-order Logic. Journal of Applied Logics: The IfCoLog Journal of Logics and their Applications, 12(6), 1415–1441. Abstract: This paper...
Read more
dissemination, publications, Publications