Pages that link to "Item:Q5920076"
From MaRDI portal
The following pages link to Gelfond-Zhang aggregates as propositional formulas (Q5920076):
Displaying 4 items.
- Autoepistemic answer set programming (Q2046018) (← links)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
- Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates (Q4559801) (← links)
- Gelfond-Zhang aggregates as propositional formulas (Q5919599) (← links)