Pages that link to "Item:Q5451971"
From MaRDI portal
The following pages link to Logic programs with monotone abstract constraint atoms (Q5451971):
Displaying 4 items.
- Weight constraint programs with evaluable functions (Q645084) (← links)
- Grounded fixpoints and their applications in knowledge representation (Q892232) (← links)
- Logic programs with abstract constraint atoms: the role of computations (Q969538) (← links)
- Anytime answer set optimization via unsatisfiable core shrinking (Q4593041) (← links)
