composition table qualitative calculus verification heterogeneous

Publications for keyword "composition table qualitative calculus verification heterogeneous"
2007
Stefan Wölfl, Till Mossakowski and Lutz Schröder, Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables, in: 20th International FLAIRS Conference (FLAIRS-20), pages 665-670, AAAI Press, 2007
download