Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes.

Vernon Asuncion Yan Zhang 0003 Heng Zhang 0006 Ruixuan Li 0001 Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes. 749-815 2019 64 J. Artif. Intell. Res. https://doi.org/10.1613/jair.1.11408 https://www.wikidata.org/entity/Q115512396 db/journals/jair/jair64.html#AsuncionZZL19