Pages that link to "Item:Q969538"
From MaRDI portal
The following pages link to Logic programs with abstract constraint atoms: the role of computations (Q969538):
Displaying 3 items.
- Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin (Q1653439) (← links)
- Anytime answer set optimization via unsatisfiable core shrinking (Q4593041) (← links)
- Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)
