Mino Bai

According to our database, Mino Bai authored at least 3 papers between 1992 and 2004.

Collaborative distances:

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

2004

Answer Set Semantics for Prioritized Defaults Logic.

Hee-Jun Yoo, Mino Bai, Jin-Young Choi

IEICE Trans. Inf. Syst., 2004

Formal Specification of Business Rules using Z.

Hee-Jun Yoo, Jin-Young Choi, Mino Bai

Proceedings of the 2nd International Conference Computing, 2004

1992

General Model Theoretic Semantics for Higher-Order Horn Logic Programming.

Mino Bai, Howard A. Blair

Proceedings of the Logic Programming and Automated Reasoning, 1992