activity
20202023
most citedAn Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.LO2020

Proceedings 36th International Conference on Logic Programming (Technical Communications)

Francesco Ricca, Alessandra Russo, Sergio Greco +9

Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are solicited in all…