Yuh-Jeng Lee

Publication Activity (10 Years)

Years Active: 1987-1994
Publications (10 Years): 0

Publications

Yuh-Jeng Lee, Chang-yun Lo
Optimizing an air defense evaluation model using inductive learning. Appl. Artif. Intell. 8 (4) (1994)
Nachum Dershowitz, Yuh-Jeng Lee
Logical Debugging. J. Symb. Comput. 15 (5/6) (1993)
Yuh-Jeng Lee, Nachum Dershowitz
Debugging Logic Programs Using Specifications. AADEBUG (1993)
Yuh-Jeng Lee, James F. Stascavage
Multitasking Simulation of a Boiler System Using Qualitative Model-Based Reasoning. ACM Trans. Model. Comput. Simul. 2 (4) (1992)
Valdis Berzins, Yuh-Jeng Lee
Generating displays for specifications using attribute grammars. COMPSAC (1989)
Nachum Dershowitz, Yuh-Jeng Lee
Deductive Debugging. SLP (1987)