Pages that link to "Item:Q3003246"
From MaRDI portal
The following pages link to Pushing Efficient Evaluation of HEX Programs by Modular Decomposition (Q3003246):
Displaying 6 items.
- Domain expansion for ASP-programs with external sources (Q254002) (← links)
- Finding explanations of inconsistency in multi-context systems (Q460632) (← links)
- FLP answer set semantics without circular justifications for general logic programs (Q2453743) (← links)
- Exploiting Unfounded Sets for HEX-Program Evaluation (Q2915067) (← links)
- A model building framework for answer set programming with external computations (Q4593036) (← links)
- Efficient HEX-Program Evaluation Based on Unfounded Sets (Q5404394) (← links)