Test case generation using KBS strategy

Authors:
Laurence Vignollet;Ruddy Lelouche
Affiliations:
Laboratoire d'Intelligence Artificielle, ESIGEC, Universite De Savoe, Le Bourget du Lac Cedex, France;Departement d'Informatique, Universite Laval, Quebec, Canada
Venue:
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Year:
1993

Citing 6
Cited 1

Control structures in expert systems

Technology and Science of Informatics
An assumption-based TMS

Artificial Intelligence
Use of metaknowledge in the verification of knowledge-based systems

IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Proposals for a valid terminology in KBS validation

ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
SYCOJET and SACCO, two tools for verifying expert systems

International Journal of Expert Systems - Special issue on verification and validation (Part 2)
Validating and Verifying Knowledge-Based Systems

Validating and Verifying Knowledge-Based Systems

Advanced empirical testing

Knowledge-Based Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The problem of finding a set of assumptions which explain a given proposition is in general NP-hard, even when the background theory is an acyclic Horn theory. In this paper it is shown that when the background theory is acyclic Horn and its pseudo-completion ...