The RETE algorithm is a very efficient option for the development of a rule-based system, but it supports only boolean, first order logic. Many real-world contexts, instead, requir...
The number of clinical trials reports is increasing rapidly due to a large number of clinical trials being conducted, it therefore raises an urgent need to utilize the clinical kno...
In this paper we define the notion of a compatibility relation so as to have a common framework for three nonmonotonic reasoning systems: normal logic programming, extended logic ...
Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3], in that simultaneous use of several implications in the ru...
We present a framework for utilizing context-awareness for classifying services. We also present a novel RDFbased model for context-aware reasoning in pervasive computing environm...