The following pages link to Logic Programming (Q5313197):
Displaying 5 items.
- Reasoning under minimal upper bounds in propositional logic (Q861253) (← links)
- Computing circumscriptive databases (Q1346715) (← links)
- (Q3490987) (← links)
- Implementing Prioritized Circumscription by Computing Disjunctive Stable Models (Q3534658) (← links)
- Logics in Artificial Intelligence (Q5394157) (← links)