|
Search the dblp DataBase
Kirack Sohn:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Kirack Sohn, Allen Van Gelder
Termination Detection in Logic Programs using Argument Sizes. [Citation Graph (2, 9)][DBLP] PODS, 1991, pp:216-226 [Conf]
- Kirack Sohn
Constraints among Argument Sizes in Logic Programs. [Citation Graph (0, 11)][DBLP] PODS, 1994, pp:68-74 [Conf]
- Kirack Sohn
Relational Groundness Analysis for Logic Programs. [Citation Graph (0, 0)][DBLP] ILPS, 1993, pp:635- [Conf]
- Robert Levinson, Brian Beach, Richard Snyder, Tal Dayan, Kirack Sohn
Adaptive-predictive game-playing programs. [Citation Graph (0, 0)][DBLP] J. Exp. Theor. Artif. Intell., 1992, v:4, n:4, pp:315-337 [Journal]
Search in 0.002secs, Finished in 0.003secs
|