Pages that link to "Item:Q5398294"
From MaRDI portal
The following pages link to ASP with non-herbrand partial functions: a language and system for practical use (Q5398294):
Displaying 6 items.
- On the Relationship Between Two Modular Action Languages: A Translation from MAD into $$\mathcal {ALM}$$ (Q3449224) (← links)
- Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates (Q4559801) (← links)
- Modular action language (Q4593024) (← links)
- <scp>Core</scp>ALM<scp>lib</scp>: An library translated from the <scp>Component Library</scp> (Q4593060) (← links)
- On relation between constraint answer set programming and satisfiability modulo theories (Q4593096) (← links)
- (Q5020551) (← links)
