Pages that link to "Item:Q1193478"
From MaRDI portal
The following pages link to An efficient method for eliminating varying predicates from a circumscription (Q1193478):
Displaying 6 items.
- The complexity of propositional closed world reasoning and circumscription (Q1329160) (← links)
- Reducing belief revision to circumscription (and vice versa) (Q1402725) (← links)
- Note about cardinality-based circumscription (Q1575190) (← links)
- An extension of pointwise circumscription (Q2676573) (← links)
- Implementing Prioritized Circumscription by Computing Disjunctive Stable Models (Q3534658) (← links)
- Embedding circumscriptive theories in general disjunctive programs (Q5101461) (← links)
