Pages that link to "Item:Q1430287"
From MaRDI portal
The following pages link to Locally determined logic programs and recursive stable models (Q1430287):
Displaying 6 items.
- Logic programming with infinite sets (Q812390) (← links)
- My work with Victor Marek: a mathematician looks at answer set programming (Q1028636) (← links)
- How complicated is the set of stable models of a recursive logic program? (Q1192346) (← links)
- LoCo—A Logic for Configuration Problems (Q2946729) (← links)
- The Stable Models of a Predicate Logic Program (Q4318872) (← links)
- (Q4955327) (← links)