1 | 컴파일시 생성된 여러 개의 선형순서를 가지는 AND/OR 프로세스 모델에 관한 연구 = A study on the AND/OR process model with the multiple ordered lists generated in compile timelink 박승운; Park, Seung-Woon; 맹승렬; Maeng, Seung-Ryoul, 한국과학기술원, 1987 |
2 | 고울 프로세스 모델을 위한 추상 기계의 설계 = Design of an abstract machine for the goal process modellink 김형철; Kim, Hyung-Chul; 맹승렬; Maeng, Seung-Ryoul, 한국과학기술원, 1988 |
3 | AND/OR parallel token machine = 논리언어의 병렬수행 Token machine 에 대한 연구link Lee, Heon-Guil; 이헌길; Cho, Jung-Wan; 조정완, 한국과학기술원, 1985 |
4 | 논리프로그램을 위한 AND/OR 프로세스 모델의 동적 프로세스 할당 정책 = A dynamic process allocation scheme for conery's AND/OR process modellink 은성배; Eun, Seong-Bae; 맹승렬; Maeng, Seung-Ryoul, 한국과학기술원, 1987 |
5 | (A) technique for parallel evaluation of logic programs based on the AND/OR process model with AND-control process = AND-control 프로세스를 가진 AND/OR 프로세스 모델에서의 논리 프로그램의 병렬 처리 기법link Kim, Do-Hyeong; 김도형; Chon, Kil-Nam; Choe, Kwang-Moo; 전길남; 최광무, 한국과학기술원, 1987 |
6 | 연결 그래프에 바탕을 둔 병렬 정리 증명에 관한 연구 = A study on the parallel theorem proving based on connection graphlink 김병만; Kim, Byeong-Man; 조정완; Cho, Jung-Wan, 한국과학기술원, 1989 |
7 | (An) AND/OR graph model for parallel execution of logic program = 논리언어의 병렬수행을 위한 AND/OR graph modellink Kim, Yong-Woon; 김용운; Cho, Jung-Wan; Maeng, Seung-Ryoul; 조정완; 맹승렬, 한국과학기술원, 1986 |
8 | AND/OR 프로세스 모델에서 실패 분석을 이용한 효율적인 backtracking = Intelligent backtracking with cause analysis in the AND/OR process modellink 변성원; Byon, Sung-Won; 최광무; Choe, Kwang-Moo, 한국과학기술원, 1989 |