Efficient reachability query answering in large directed graphs has been intensively investigated because of its fundamental importance in many application fields such as XML data ...
The workflow process is often executed in a dynamic environment. This dynamic is classified in several aspects. For this reason, several researches try to give workflow architectur...
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they ...
The concept of a stable model provided a declarative semantics for Prolog programs with negation as failure and became a starting point for the development of answer set programmi...
In this paper we describe a new approach for the estimation of the porosity and its uncertainty from Nuclear Magnetic Resonance relaxation measurements in porous media. The new ap...
Fred K. Gruber, Lalitha Venkataramanan, Denise E. ...