Pages that link to "Item:Q4930762"
From MaRDI portal
The following pages link to A Logical Semantics for Description Logic Programs (Q4930762):
Displayed 4 items.
- From description-logic programs to multi-context systems (Q516031) (← links)
- The loop formula based semantics of description logic programs (Q764312) (← links)
- On the Expressiveness of Temporal Equilibrium Logic (Q2835869) (← links)
- Model-based recasting in answer-set programming (Q4583308) (← links)