The following pages link to Automated Reasoning (Q5307065):
Displayed 5 items.
- Optimization in temporal qualitative constraint networks (Q262133) (← links)
- A family of Gödel hybrid logics (Q631082) (← links)
- Graph-based decision for Gödel-Dummett logics (Q877886) (← links)
- Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus (Q991900) (← links)
- Labelled Calculi for Łukasiewicz Logics (Q3511458) (← links)