Pages that link to "Item:Q5101461"
From MaRDI portal
The following pages link to Embedding circumscriptive theories in general disjunctive programs (Q5101461):
Displaying 4 items.
- Reasoning under minimal upper bounds in propositional logic (Q861253) (← links)
- Circumscribing DATALOG: expressive power and complexity (Q1127538) (← links)
- Prioritized logic programming and its application to commonsense reasoning (Q1589476) (← links)
- Implementing Prioritized Circumscription by Computing Disjunctive Stable Models (Q3534658) (← links)