Sciweavers

3032 search results - page 212 / 607
» Description Logic Rules
Sort
View
154
Voted
FUZZIEEE
2007
IEEE
15 years 7 months ago
Using the OLS Algorithm to Build Interpretable Rule Bases: An Application to a Depollution Problem
— One of the main advantages of fuzzy modeling is the ability to yield interpretable results. Amongst these modeling methods, the OLS algorithm is a mathematically robust techniq...
Sébastien Destercke, Serge Guillaume, Brigi...
131
Voted
RR
2010
Springer
14 years 10 months ago
Analyzing the AIR Language: A Semantic Web (Production) Rule Language
The Accountability In RDF (AIR) language is an N3-based, Semantic Web production rule language that supports nested activation of rules, negation, closed world reasoning, scoped co...
Ankesh Khandelwal, Jie Bao, Lalana Kagal, Ian Jaco...
83
Voted
LICS
2008
IEEE
15 years 7 months ago
The Quest for a Logic Capturing PTIME
The question of whether there is a logic that captures polynomial time is the central open problem in descriptive complexity theory. In my talk, I will review the question and the...
Martin Grohe
LICS
2008
IEEE
15 years 7 months ago
Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
François Pottier
95
Voted
ICDE
2005
IEEE
107views Database» more  ICDE 2005»
15 years 6 months ago
Search Experiment of Business-Rule by Dynamic Constraint Algebra
Abstract Although e-commerce is becoming popular, product rules, which describe various conditions such as prices, applicability, and discount conditions are still expressed in nat...
Rui Kimura, Takayuki Shiga, Mizuho Iwaihara