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):
Displaying 8 items.
- On aggregation functions based on linguistically quantified propositions and finitely additive set functions (Q723228) (← links)
- 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)
- Gelfond-Zhang aggregates as propositional formulas (Q5920076) (← links)
- Deontic equilibrium logic with explicit negation (Q6545559) (← links)