The following pages link to (Q4631194):
Displaying 6 items.
- Probabilistic inductive constraint logic (Q2051275) (← links)
- PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner (Q3454515) (← links)
- Programming in logic without logic programming (Q4593027) (← links)
- Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach (Q4957185) (← links)
- Dischargeable Obligations in the 𝒮CIFF Framework (Q4988947) (← links)
- An epistemic approach to model uncertainty in data-graphs (Q6137843) (← links)