Pages that link to "Item:Q4911145"
From MaRDI portal
The following pages link to Module theorem for the general theory of stable models (Q4911145):
Displaying 4 items.
- On updates of hybrid knowledge bases composed of ontologies and rules (Q900304) (← links)
- Stable model categories are categories of modules (Q1869157) (← links)
- Answers set programs for non-transferable utility games: expressiveness, complexity and applications (Q2060739) (← links)
- Online Action Language $$o\mathcal {BC}$$+ (Q3449194) (← links)