The following pages link to (Q4856973):
Displaying 9 items.
- A logical framework for default reasoning (Q1104777) (← links)
- Lexicographic priorities in default logic (Q1277698) (← links)
- Restricted semantics for default reasoning (Q1757453) (← links)
- Terminological reasoning is inherently intractable (Q2638816) (← links)
- (Q2767105) (← links)
- (Q4292815) (← links)
- (Q4535116) (← links)
- A sequent calculus for reasoning in four-valued Description Logics (Q4610338) (← links)
- Representability in Default Logic (Q5697720) (← links)