EasyChair Smart Slide
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols