The following pages link to (Q4955327):
Displaying 12 items.
- Reasoning with infinite stable models (Q814596) (← 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)
- Testing logic programs for local stratification (Q1199536) (← links)
- Locally determined logic programs and recursive stable models (Q1430287) (← links)
- LoCo—A Logic for Configuration Problems (Q2946729) (← links)
- (Q4263004) (← links)
- (Q4284237) (← links)
- Local computation in linear logic (Q4304131) (← links)
- The Stable Models of a Predicate Logic Program (Q4318872) (← links)
- On the complexity of index sets for finite predicate logic programs which allow function symbols (Q5108018) (← links)
- An Algorithm for Local Variable Elimination in Normal Logic Programs (Q5302880) (← links)
