research
∙
08/05/2022
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols
Hybrid Knowledge Bases based on Lifschitz's logic of Minimal Knowledge w...
share
research
∙
08/04/2020
MAP Inference for Probabilistic Logic Programming
In Probabilistic Logic Programming (PLP) the most commonly studied infer...
research
∙
02/12/2020
