The following pages link to (Q4713941):
Displaying 10 items.
- Restricted default theories: expressive power and outlier detection tasks (Q483301) (← links)
- A directly cautious theory of defeasible consequence for default logic via the notion of general extension (Q1292307) (← links)
- Interpretations of open default theories in non-monotonic logics (Q1353871) (← links)
- Operational characterization of extensions in some logics for default reasoning (Q1364501) (← links)
- Compiling specificity into approaches to nonmonotonic reasoning (Q1402752) (← links)
- Alternative foundations for Reiter's default logic (Q1589575) (← links)
- A new methodology for query answering in default logics via structure-oriented theorem proving (Q1896370) (← links)
- Outlier detection using default reasoning (Q2389688) (← links)
- MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY (Q3094191) (← links)
- Skeptical query-answering in Constrained Default Logic (Q4632323) (← links)