Vescovi, M.
Jump to...
[KSL]
[SMI]
[Reports by Author]
[Reports by KSL Number]
[Reports by Year]
- KSL-94-09
- Vescovi, M.; Farquhar, A.; & Iwasaki, Y. Numerical Interval Simulation: Bounding Behaviors of Non-Monotonic Systems. 1994.
- KSL-94-10
- Iwasaki, Y.; Vescovi, M.; & Fikes, R. A Causal Functional Representation Language with Behavior-Based Semantics. Knowledge Systems Laboratory, February, 1994.
- KSL-93-38
- Vescovi, M.; Iwasaki, Y.; Fikes, R.; & Chandrasekaran, B. CFRL: A Language for Specifying the Causal Functionality of Engineering Devices. 1993.
- KSL-93-39
- Iwasaki, Y.; Fikes, R.; Vescovi, M.; & Chandrasekaran, B. How Things are Intended to Work: Capturing Functional Knowledge in Device Design. 1993.
Jump to...
[KSL]
[SMI]
[Reports by Author]
[Reports by KSL Number]
[Reports by Year]