1994 | ||
---|---|---|
5 | Yuh-Jeng Lee, Chang-yun Lo: Optimizing an air defense evaluation model using inductive learning. Applied Artificial Intelligence 8(4): 645-661 (1994) | |
1993 | ||
4 | Yuh-Jeng Lee, Nachum Dershowitz: Debugging Logic Programs Using Specifications. AADEBUG 1993: 75-84 | |
3 | Nachum Dershowitz, Yuh-Jeng Lee: Logical Debugging. J. Symb. Comput. 15(5/6): 745-773 (1993) | |
1992 | ||
2 | EE | Yuh-Jeng Lee, James F. Stascavage: Multitasking Simulation of a Boiler System Using Qualitative Model-Based Reasoning. ACM Trans. Model. Comput. Simul. 2(4): 285-306 (1992) |
1987 | ||
1 | Nachum Dershowitz, Yuh-Jeng Lee: Deductive Debugging. SLP 1987: 298-306 |
1 | Nachum Dershowitz | [1] [3] [4] |
2 | Chang-yun Lo | [5] |
3 | James F. Stascavage | [2] |