Results 271 to 280 of about 23,003,325 (298)
Some of the next articles are maybe not open access.
Combining computer algebra and rule based reasoning
1995We present extended term rewriting systems as a means to describe a simplification relation for an equational specification with a built-in domain of external objects. Even if the extended term rewriting system is canonical, the combined relation including built-in computations of ‘ground terms’ needs neither be terminating nor confluent.
openaire +2 more sources
Paraconsistent Rule-based Reasoning with Graded Truth Values.
FLAP, 20181
De Angelis, Francesco +2 more
openaire +3 more sources
Towards a Rule Based Distributed OWL Reasoning Framework
2016The amount of data exposed in the form of RDF and OWL continues to increase exponentially. Some approaches have already been proposed for the scalable reasoning over several language profiles such as RDFS, OWL Horst, OWL 2 EL, OWL 2 RL etc. But all those approaches are limited to the particular ruleset that the reasoner supports.
Raghava Mutharaju +2 more
openaire +1 more source
A New Approach to the Rule-Base Evidential Reasoning with Application
2015In this paper, a new approach to the rule-base evidential reasoning (RBER) based on a new formulation of fuzzy rules is presented. We have shown that the traditional fuzzy logic rules lose an important information when dealing with the intersecting fuzzy classes, e.g., such as Low and Medium, and this property may lead to the controversial results.
Pavel V. Sevastjanov +2 more
openaire +2 more sources
Rule-Based Reasoning in Neural Networks
International ...Bhuyan, Bikram Pratim +3 more
openaire +2 more sources
A Rule-based Language for Probabilistic Reasoning
2000This paper suggests a rule-based logical language for probabilistic reasoning. This language is more expressive than the traditional propositional logic. It is particularly suited for reasoning with belief networks as its semantics explicitly captures the inherent conditional independencies.
openaire +1 more source
Rule-Based Behavioral Reasoning on Semantic Business Processes
2012We propose a rule-based framework for representing and reasoning about business processes from both the procedural and ontological point of views. To this end we define a rule-based procedural semantics for a relevant fragment of BPMN, a very popular graphical notation for specifying business processes.
Smith F, Proietti M
openaire +4 more sources
Approximate reasoning with fuzzy rule interpolation: background and recent advances
Artificial Intelligence Review, 2021Changjing Shang, Ying Li, Qiang Shen
exaly