25 search results - page 1 / 5 » RuleBase: Model Checking at IBM |
CAV
1997
Springer
14 years 3 months ago
1997
Springer
IEAAIE
2010
Springer
13 years 8 months ago
2010
Springer
In this paper, we propose a new diagnostic checking tool for fuzzy rule-based modelling of time series. Through the study of the residuals in the Lagrange Multiplier testing framew...
SMI
2010
IEEE
13 years 8 months ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
CAV
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
HIS
2009
13 years 8 months ago
2009
Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-ba...