Pages that link to "Item:Q2946639"
From MaRDI portal
The following pages link to Embedding nonground logic programs into autoepistemic logic for knowledge-base combination (Q2946639):
Displaying 7 items.
- The loop formula based semantics of description logic programs (Q764312) (← links)
- On updates of hybrid knowledge bases composed of ontologies and rules (Q900304) (← links)
- Determining inference semantics for disjunctive logic programs (Q2289011) (← links)
- A Unifying Perspective on Knowledge Updates (Q2915086) (← links)
- On the relation between SPARQL1.1 and Answer Set Programming (Q4583314) (← links)
- Сравнение моделей относительного движения группы космических аппаратов (Q5089849) (← links)
- Reasoning on with Defeasibility in ASP (Q6063881) (← links)