The following pages link to (Q4708923):
Displaying 10 items.
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions (Q636267) (← links)
- An optimal decision procedure for right propositional neighborhood logic (Q877892) (← links)
- Developing bounded reasoning (Q1006510) (← links)
- On coarser interval temporal logics (Q2321249) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- A new modal logic for reasoning about space: spatial propositional neighborhood logic (Q2462632) (← links)
- Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings (Q4982118) (← links)
- Fuzzy Halpern and Shoham's interval temporal logics (Q6083148) (← links)
- Neural-symbolic temporal decision trees for multivariate time series classification (Q6647752) (← links)
- Decision tree learning with spatial modal logics (Q6649530) (← links)
