This page shows all presentations of this author published in EasyChair Smart Slide.
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols
Marco Alberti, Riccardo Zese, Fabrizio Riguzzi and Evelina Lamma