The following pages link to (Q4246965):
Displaying 9 items.
- A sound and complete model-generation procedure for consistent and confidentiality-preserving databases (Q549726) (← links)
- Computing finite models by reduction to function-free clause logic (Q1006733) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- Exploring Theories with a Model-Finding Assistant (Q3454114) (← links)
- Individual Reuse in Description Logic Reasoning (Q3541705) (← links)
- Using tableau to decide description logics with full role negation and identity (Q5410334) (← links)
- (Q5688889) (← links)
- Theorem proving techniques for view deletion in databases (Q5927980) (← links)
- Refutation systems: an overview and some applications to philosophical logics (Q6601769) (← links)
