The following pages link to Tarskian set constraints (Q1854523):
Displaying 7 items.
- Generalized satisfiability for the description logic \(\mathcal{ALC}\) (Q393137) (← links)
- Generalized definite set constraints (Q1975208) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- Decision Procedures for Region Logic (Q2891431) (← links)
- Generalized Satisfiability for the Description Logic $\mathcal{ALC}$ (Q3010434) (← links)
- (Q4808755) (← links)
- Computer Science Logic (Q5311277) (← links)