Pages that link to "Item:Q4559801"
From MaRDI portal
The following pages link to Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates (Q4559801):
Displayed 5 items.
- Autoepistemic answer set programming (Q2046018) (← links)
- Recursive rules with aggregation: a simple unified semantics (Q2151406) (← links)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
- Automated reasoning with restricted intensional sets (Q2666960) (← links)
- Gelfond-Zhang aggregates as propositional formulas (Q5919599) (← links)