메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류

추천
검색
질문

논문 기본 정보

자료유형
학술대회자료
저자정보
저널정보
Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 1990년도 봄 학술발표논문집 제17권 제1호
발행연도
1990.4
수록면
347 - 350 (4page)

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
본 논문에서는 논리 프로그램의 AND 병렬 수행을위한 하부구조 (framework)를 논리적인 정의를 통해서 제안하고 제안된 하부구조를 기초로하여 지능적인 resetting 방법을 제안한다. 여기서 제안된 지능적인 resetting 방법은 실패한 리터럴의 바인딩 정보를 기초로하며, 이 정보는 resetting 할 때 지능의 주된 요인이다. 우리들은 제안된 지능적인 resetting 방법의 정확성을 framework에 기초하여 간단하고 논리적인 방법으로 증명한다.

목차

요약

Ⅰ. INTRODUCTION

Ⅱ. PRELIMINARIES

Ⅲ. A FRAMEWORK FOR AND - PARALLEL EXECUTION

Ⅳ. INTELLIGENT RESETTING

Ⅴ. CONCLUSION

REFERENCES

참고문헌 (0)

참고문헌 신청

함께 읽어보면 좋을 논문

논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!

이 논문의 저자 정보

최근 본 자료

전체보기

댓글(0)

0

UCI(KEPA) : I410-ECN-0101-2009-569-017916222