The following pages link to Functional answer set programming (Q3008406):
Displaying 9 items.
- First-order stable model semantics with intensional functions (Q2321299) (← links)
- A “Conservative” Approach to Extending Answer Set Programming with Non-Herbrand Functions (Q2900504) (← links)
- Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates (Q4559801) (← links)
- Modular action language (Q4593024) (← links)
- (Q5020566) (← links)
- Revisiting Explicit Negation in Answer Set Programming (Q5108509) (← links)
- ASP (): Answer Set Programming with Algebraic Constraints (Q5140023) (← links)
- ASP with non-herbrand partial functions: a language and system for practical use (Q5398294) (← links)
- Gelfond-Zhang aggregates as propositional formulas (Q5919599) (← links)
