Pages that link to "Item:Q2915067"
From MaRDI portal
The following pages link to Exploiting Unfounded Sets for HEX-Program Evaluation (Q2915067):
Displaying 4 items.
- Finding explanations of inconsistency in multi-context systems (Q460632) (← links)
- FLP answer set semantics without circular justifications for general logic programs (Q2453743) (← links)
- Pushing Efficient Evaluation of HEX Programs by Modular Decomposition (Q3003246) (← links)
- Efficient HEX-Program Evaluation Based on Unfounded Sets (Q5404394) (← links)