Pages that link to "Item:Q2938505"
From MaRDI portal
The following pages link to A Free Logic for Stable Models with Partial Intensional Functions (Q2938505):
Displaying 5 items.
- First-order stable model semantics with intensional functions (Q2321299) (← links)
- On the Expressiveness of Temporal Equilibrium Logic (Q2835869) (← links)
- A short biography of Luis Fariñas del Cerro (Q4586226) (← links)
- A model of intuitionistic affine logic from stable domain theory (Q4632438) (← links)
- Revisiting Explicit Negation in Answer Set Programming (Q5108509) (← links)