Sciweavers

3032 search results - page 199 / 607
» Description Logic Rules
Sort
View
SEFM
2009
IEEE
15 years 7 months ago
Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less
—Increasingly, tools and their underlying theories are able to cope with “real code” written as part of industrial grade applications almost as is. It has been our experience...
Patrice Chalin
119
Voted
RSCTC
2004
Springer
110views Fuzzy Logic» more  RSCTC 2004»
15 years 6 months ago
A Graded Applicability of Rules
We address the problem of rough applicability of rules within the framework of approximation spaces. The graded applicability of a rule for an object of an approximation space, int...
Anna Gomolinska
109
Voted
RSCTC
2004
Springer
138views Fuzzy Logic» more  RSCTC 2004»
15 years 6 months ago
A Parallel Approximate Rule Extracting Algorithm Based on the Improved Discernibility Matrix
A parallel rule-extracting algorithm based on the improved discernibility matrix [2] is proposed, by this way, a large amount of raw data can be divided into some small portions to...
Yong Liu, Congfu Xu, Yunhe Pan
IIS
2001
15 years 2 months ago
The Development of the AQ20 Learning System and Initial Experiments
: Research on a new system implementing the AQ learning methodology, called AQ20, is briefly described, and illustrated by initial results from an experimental version. Like its pr...
Guido Cervone, Liviu Panait, Ryszard S. Michalski
93
Voted
OWLED
2008
15 years 2 months ago
ACE View --- an Ontology and Rule Editor based on Attempto Controlled English
We describe the architecture of a novel ontology and rule editor ACE View. The goal of ACE View is to simplify viewing and editing expressive and syntactically complex OWL/SWRL kno...
Kaarel Kaljurand