Pages that link to "Item:Q3001914"
From MaRDI portal
The following pages link to On the Minimality of Stable Models (Q3001914):
Displaying 6 items.
- A paraconsistent approach to actions in informationally complex environments (Q2330540) (← links)
- New outlook on the minimal model program. II (Q2377006) (← links)
- Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs (Q2835899) (← links)
- Stable models are generated by a stable chain (Q4365060) (← links)
- Stability, Supportedness, Minimality and Kleene Answer Set Programs (Q5172611) (← links)
- Signed dual tableaux for Kleene answer set programs (Q6599615) (← links)