Pages that link to "Item:Q764312"
From MaRDI portal
The following pages link to The loop formula based semantics of description logic programs (Q764312):
Displaying 7 items.
- Combining answer set programming with description logics for the semantic web (Q2389666) (← links)
- FLP answer set semantics without circular justifications for general logic programs (Q2453743) (← links)
- Stepwise Debugging of Description-Logic Programs (Q2900544) (← links)
- Well-founded semantics for description logic programs in the semantic web (Q2946628) (← links)
- A model building framework for answer set programming with external computations (Q4593036) (← links)
- Automated Deduction – CADE-19 (Q5900712) (← links)
- Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics (Q6104767) (← links)