| |
| 1994 | ||
|---|---|---|
| 4 | EE | Kirack Sohn: Constraints among Argument Sizes in Logic Programs. PODS 1994: 68-74 |
| 1993 | ||
| 3 | Kirack Sohn: Relational Groundness Analysis for Logic Programs. ILPS 1993: 635 | |
| 1992 | ||
| 2 | Robert Levinson, Brian Beach, Richard Snyder, Tal Dayan, Kirack Sohn: Adaptive-predictive game-playing programs. J. Exp. Theor. Artif. Intell. 4(4): 315-337 (1992) | |
| 1991 | ||
| 1 | EE | Kirack Sohn, Allen Van Gelder: Termination Detection in Logic Programs using Argument Sizes. PODS 1991: 216-226 |
| 1 | Brian Beach | [2] |
| 2 | Tal Dayan | [2] |
| 3 | Allen Van Gelder | [1] |
| 4 | Robert Levinson | [2] |
| 5 | Richard Snyder | [2] |