An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function SymbolsOpen Website

Marco Alberti, Riccardo Zese, Fabrizio Riguzzi, Evelina Lamma

Published: 01 Jan 2022, Last Modified: 21 Feb 2024ICLP Technical Communications / Doctoral Consortium 2022Readers: Everyone
0 Replies