Pages that link to "Item:Q1182166"
From MaRDI portal
The following pages link to Hard problems for simple default logics (Q1182166):
Displaying 27 items.
- Restricted default theories: expressive power and outlier detection tasks (Q483301) (← links)
- Outlier detection for simple default theories (Q622112) (← links)
- The complexity of path-based defeasible inheritance (Q685542) (← links)
- Efficient query processing with reduced implicate tries (Q877893) (← links)
- Defaults and relevance in model-based reasoning (Q1127354) (← links)
- Resolving ambiguity in nonmonotonic inheritance hierarchies (Q1193489) (← links)
- The complexity of propositional closed world reasoning and circumscription (Q1329160) (← links)
- Default theories that always have extensions (Q1337686) (← links)
- Limited reasoning in first-order knowledge bases (Q1343837) (← links)
- Querying disjunctive databases through nonmonotonic logics (Q1350535) (← links)
- Is intractability of nonmonotonic reasoning a real drawback? (Q1391905) (← links)
- Semantics and complexity of abduction from default theories (Q1402749) (← links)
- Default reasoning from conditional knowledge bases: Complexity and tractable cases (Q1589638) (← links)
- Yet some more complexity results for default logic (Q1606113) (← links)
- Propositional default logics made easier: computational complexity of model checking. (Q1853549) (← links)
- Tractable reasoning via approximation (Q1855213) (← links)
- A decision method for nonmonotonic reasoning based on autoepistemic reasoning (Q1891263) (← links)
- Default reasoning by deductive planning (Q1896366) (← links)
- On the computational cost of disjunctive logic programming: Propositional case (Q1924780) (← links)
- Propositional semantics for disjunctive logic programs (Q1924819) (← links)
- Default reasoning using classical logic (Q2171265) (← links)
- Outlier detection using default reasoning (Q2389688) (← links)
- Support set selection for abductive and default reasoning (Q2674205) (← links)
- Privacy Preservation Using Multi-context Systems and Default Logic (Q2900519) (← links)
- Default Rules in the Logic of First-Degree Entailments (Q3305612) (← links)
- The Complexity of Reasoning for Fragments of Default Logic (Q3637157) (← links)
- On the impact of stratification on the complexity of nonmonotonic reasoning (Q4317728) (← links)
