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

Conformational analysis using a truth maintenance system

โœ Scribed by Timothy Koschmann; James P. Snyder; Peter Johnson; Thom Grace; Martha W. Evens


Publisher
Elsevier Science
Year
1988
Tongue
English
Weight
927 KB
Volume
6
Category
Article
ISSN
0263-7855

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Multiple context planning within a truth
โœ A.D. Bray; C.J. Hinde; P.J. Herbert; D.M. Temple; D. Round ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 762 KB

The paper demonstrates the feasibility of planning using the properties of operations available in a factory, without the explicit statement of the relationships between these operations being required. This approach allows the generation of plans to be broken down into sub-problems which can be per

A rational reconstruction of nonmonotoni
โœ Charles Elkan ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 792 KB

The main contribution of this paper is a precise characterization of the inferences performed by nonmonotonic truth maintenance systems ( TMSs), using two standard nonmonotonic formalisms: logic programming with the stable set semantics and autoepistemic logic. The paper also contains an analysis of

Using risk analysis to manage software m
โœ Sherer, Susan A. ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 125 KB ๐Ÿ‘ 2 views

Software maintenance management can be improved through explicit consideration of the impact of maintenance efforts on project risk, maintainability risk and usability risks, including functionality, performance, financial and software failure risk. The paper illustrates how to analyse the effect of