2001-06-04
org.kosen.entty.User@66e04187
김은정(OSTIN4)
분야
정보/통신
발행기관
David Espinosa
첨부파일
In this report, we describe work done at Kestrel under the DARPA High Performance Knowledge Bases program. The goal of the program is to develop methods for structuring large knowledge-bases and reasoning efficiently in them.
The report contains four sections. In the first, we describe our Designware system for semi-automated program synthesis. In the third, we present a detailed description of parametrized specifications, an important tool for combining theory refinements. In the fourth, we describe limits, interpretation, and slicing, all important tools for constructing, deconstructing and relating theories.
-
리포트 평점
해당 콘텐츠에 대한 회원님의 소중한 평가를 부탁드립니다. -
0.0 (0개의 평가)