The following pages link to (Q2723427):
Displaying 8 items.
- EXPtime tableaux for ALC (Q1589576) (← links)
- OWL reasoning: subsumption test hardness and modularity (Q1655485) (← links)
- Lash 1.0 (system description) (Q2104521) (← links)
- Towards an efficient library for SAT: A manifesto (Q2741533) (← links)
- System Description: E- KRHyper (Q3608796) (← links)
- SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation (Q4443408) (← links)
- (Q4539653) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424884) (← links)