Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols

Marco Calautti, Sergio Greco, Irina Trubitsyna. Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols. ACM Trans. Comput. Log., 18(4), 2017. [doi]

Abstract

Abstract is missing.