Name |
|
|
|
|
|
Adorni, G., Burdese, M., Del Grosso, A., Loddo, R . and Zucchini, A. |
A Qualitative Approach to Structural Mechanics
|
Bandini, S., Bruschi, M., Filippini, M.G. and Molesini, A. |
|
Bandini, Stefania, Cattaneo, Gianpiero and Stofella, Paolo |
A Theory for Molecule Structures: The Molecular Onthology Theory |
Dague, Philippe |
|
Decuyper, Jo and Keymeulen, Didier |
An
Analogical Representation of Liquids Based on a Physical Mechanism |
DiManzo, M., Tezza, D. and Trucco, E. |
|
Dormoy, Jean-Luc |
|
Downing, Keith and Shrager, Jeff |
|
Doyle, Richard J . |
A Set of Constraints for Reasoning in the Physical System Domain |
Falkenhainer, Brian and Forbus, Kenneth D. |
|
Faltings, Boi |
|
Forbus, Kenneth D. |
|
Gambardella, Luca, Gardin, Francesco and Meltzer, Bernard |
|
Hamburger, Jean |
|
Hunter, Jim, Gotts, Nick and Hamlet, Ian |
Qualitative
Spatial and Temporal Reasoning in Cardiac Electrophysiology |
Iwasaki, Yumi |
|
Janson-Fleischmann, Agnes and Sutschet, Gerhard |
A Process Oriented Approach for Qualitative Modeling and Analysis of Dynamical Systems |
Joskowicz, Leo and Addanki, Sanjaya |
|
Kuipers, Benjamin and Berleant, Daniel |
Using Incomplete Quantitative Knowledge in Qualitative Reasoning |
Lee, Wood W. and Kuipers, Benjamin J. |
|
Murthy, Seshashayee S. |
|
Nielsen, Paul |
|
Porté, Nathalie, Boucheron, Stéphane, Sallantin, Jean and Arlabosse, François |
An Algorithmic View at Causal Ordering
|
Raiman, Olivier |
|
Sacks, Elisha |
|
Simmons, Reid G. and Wellman, Michael P. |
|
Struss, Peter |
|
Toal, Andrew F. |
|
Weld, Daniel S. |
|
Williams, Brian C . |
MINIMA: A Symbolic Approach to Qualitative Algebraic Reasoning |