Pages that link to "Item:Q4592990"
From MaRDI portal
The following pages link to Knowledge compilation of logic programs using approximation fixpoint theory (Q4592990):
Displaying 5 items.
- \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs (Q324656) (← links)
- IASCAR: incremental answer set counting by anytime refinement (Q2694570) (← links)
- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT (Q6063882) (← links)
- Embedding justification theory in approximation fixpoint theory (Q6566637) (← links)
- IASCAR: incremental answer set counting by anytime refinement (Q6656460) (← links)
