The following pages link to (Q4379673):
Displaying 4 items.
- My work with Victor Marek: a mathematician looks at answer set programming (Q1028636) (← links)
- Consistency properties and set based logic programming (Q1028650) (← links)
- Yet some more complexity results for default logic (Q1606113) (← links)
- The complexity of predicate default logic over a countable domain (Q1861328) (← links)