𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Methods for Checking the Consistency of Precedence Constraints

✍ Scribed by Smeds, Per A.

Book ID
118071067
Publisher
Taylor and Francis Group
Year
1980
Tongue
English
Weight
649 KB
Volume
12
Category
Article
ISSN
0569-5554

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A method for checking and restoring the
A method for checking and restoring the consistency of knowledge bases
✍ StΓ©phane Loiseau πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 567 KB

The arrival of knowledge-based systems in industrial sectors requires specific software engineering, sometimes known as knowledge engineering. A good criterion to validate a knowledge-based system is to check its consistency. In this paper, a distinction between sure and heuristic knowledge is propo