Pages that link to "Item:Q5398316"
From MaRDI portal
The following pages link to On the stable model semantics for intensional functions (Q5398316):
Displaying 6 items.
- Extending and implementing the stable model semantics (Q1603743) (← links)
- A progression semantics for first-order logic programs (Q1680677) (← links)
- First-order stable model semantics with intensional functions (Q2321299) (← links)
- On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics (Q2851269) (← links)
- A Free Logic for Stable Models with Partial Intensional Functions (Q2938505) (← links)
- Modular action language (Q4593024) (← links)