The following pages link to BDI: a new decidable clause class (Q2987061):
Displaying 5 items.
- \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions (Q2029709) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- SGGS decision procedures (Q2096457) (← links)
- (Q4503912) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)