Sciweavers

5718 search results - page 73 / 1144
» Modeling Rule Precision
Sort
View
83
Voted
RULEML
2005
Springer
15 years 8 months ago
Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML
Adrian Giurca, Gerd Wagner
89
Voted
CAV
1997
Springer
111views Hardware» more  CAV 1997»
15 years 6 months ago
RuleBase: Model Checking at IBM
Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel ...
ACSC
2006
IEEE
15 years 6 months ago
Rule sets based bilevel decision model
Z. Zheng, G. Zhang, Q. He, J. Lu, Z. Shi
85
Voted
ERSHOV
2006
Springer
15 years 6 months ago
Visual Rules Modeling
Sergey Lukichev, Gerd Wagner