11 citations · 16 across the 12 of their papers we have counts for
1 paper · 1 filter
Marco Calautti, Sergio Greco, Francesca Spezzano +1
Recently, there has been an increasing interest in the bottom-up evaluation of the semantics of logic programs with complex terms. The presence of function symbols in the program m…