Pages that link to "Item:Q543600"

The following pages link to Semantics and complexity of recursive aggregates in answer set programming (Q543600):

Displaying 3 items.

• Domain expansion for ASP-programs with external sources (Q254002) (← links)
• Anytime answer set optimization via unsatisfiable core shrinking (Q4593041) (← links)
• Conflict-driven ASP solving with external sources (Q4911141) (← links)