Inferring Minimal Functional Dependencies in Horn and q-Horn Theories Toshihide IbarakiAlexander KoganKazuhisa Makino OriginalPaper Pages: 233 - 255
Sound and Complete Qualitative Simulation Needs “Quantitative” Filtering A.C. Cem Say OriginalPaper Pages: 257 - 267
Duration Consistency Filtering for Qualitative Simulation Tolga KönikA.C. Cem Say OriginalPaper Pages: 269 - 309