Pages that link to "Item:Q3643117"
From MaRDI portal
The following pages link to On Reductive Semantics of Aggregates in Answer Set Programming (Q3643117):
Displaying 7 items.
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- Ordered completion for logic programs with aggregates (Q892233) (← links)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
- On elementary loops of logic programs (Q2884258) (← links)
- Team-building with answer set programming in the Gioia-Tauro seaport (Q2909524) (← links)
- Program completion in the input language of GRINGO (Q4592711) (← links)
- Preferred First-Order Answer Set Programs (Q5169967) (← links)
