๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Determination of dependencies in a knowledge-based parallelization tool

โœ Scribed by Thomas Brandes

Book ID
107919209
Publisher
Elsevier Science
Year
1988
Tongue
English
Weight
637 KB
Volume
8
Category
Article
ISSN
0167-8191

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

KJ3โ€”a tool assisting formal validation o
KJ3โ€”a tool assisting formal validation of knowledge-based systems
โœ CHIH-HUNG WU; SHIE-JUE LEE ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 783 KB

This paper presents the design and implementation of KJ3 (Knowledge Judgment, version 3) which is an assisting tool for formal validation of knowledge-based systems (KBSs). The KJ3 project is motivated by two main obstacles to knowledge validation, the lack of a uniform representation and a comprehe

A treatment of unbounded dependencies in
A treatment of unbounded dependencies in eurotra with an experimental coindexation tool
โœ Valerio Allegranza; Annelise Bech ๐Ÿ“‚ Article ๐Ÿ“… 1991 ๐Ÿ› Springer ๐ŸŒ English โš– 623 KB

The purpose of this article is to present a treatment of unbounded dependencies which is currently being experimented with in Eurotra. The treatment is based on the coindexation tool designed by the authors as an extension to the E-Framework, Eurotra's NLP formalism. 1 At present, the tool has been