Sciweavers

3032 search results - page 212 / 607
» Description Logic Rules
Sort
View
FUZZIEEE
2007
IEEE
16 years 5 days 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...
RR
2010
Springer
15 years 3 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...
LICS
2008
IEEE
16 years 7 days 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
16 years 7 days 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
ICDE
2005
IEEE
107views Database» more  ICDE 2005»
15 years 11 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