Pages that link to "Item:Q4637880"
From MaRDI portal
The following pages link to Reasoning on Datalog± Ontologies with Abductive Logic Programming (Q4637880):
Displaying 4 items.
- Tableau reasoning for description logics and its extension to probabilities (Q1653448) (← links)
- PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner (Q3454515) (← links)
- Dischargeable Obligations in the 𝒮CIFF Framework (Q4988947) (← links)
- Foundations of Information and Knowledge Systems (Q5898541) (← links)