Yuh-Jeng Lee

According to our database, Yuh-Jeng Lee authored at least 8 papers between 1987 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1994

Optimizing an air defense evaluation model using inductive learning.

Yuh-Jeng Lee, Chang-yun Lo

Appl. Artif. Intell., 1994

1993

Logical Debugging.

Nachum Dershowitz, Yuh-Jeng Lee

J. Symb. Comput., 1993

Debugging Logic Programs Using Specifications.

Yuh-Jeng Lee, Nachum Dershowitz

Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993

1992

Multitasking Simulation of a Boiler System Using Qualitative Model-Based Reasoning.

Yuh-Jeng Lee, James F. Stascavage

ACM Trans. Model. Comput. Simul., 1992

1989

Interactive control of prototyping process.

Luqi, Yuh-Jeng Lee

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

Generating displays for specifications using attribute grammars.

Valdis Berzins, Yuh-Jeng Lee

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988

Debugging Logic Programs Using Executable Specifications

Yuh-Jeng Lee

PhD thesis, 1988

1987

Deductive Debugging.

Nachum Dershowitz, Yuh-Jeng Lee

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987