Xcerpt is a declarative pattern based query and transformation language for semistructured data that like xml that bases on concepts and techniques of logic programming. Xcerpt uses both forward and backward chaining for program evaluation. While forward chaining is used for operations like view materialization, backward chaining is used in querying databases such as the web. This thesis presen...

We consider a stochastic control problem which is composed of a controlled stochastic differential equation, and whose associated cost functional is defined through a controlled backward stochastic differential equation. Under appropriate convexity assumptions on the coefficients of the forward and the backward equations we prove the existence of an optimal control on a suitable reference stoch...

We study the asymptotic behavior of the solution of semi-linear PDEs. Neither periodicity nor ergodicity assumptions are assumed. The coefficients admit only a limit in a C̀esaro sense. In such a case, the limit coefficients may have discontinuity. We use probabilistic approach based on weak convergence techniques for the associated backward stochastic differential equation in the S-topology. We...

We provide a reconstruction of Blum and Furst’s Graphplan algorithm, and use the reconstruction to extend and improve the original algorithm in several ways. In our reconstruction, the process of growing the planning-graph and inferring mutex relations corresponds to doing forward state-space refinement over disjunctively represented plans. The backward search phase of Graphplan corresponds to ...

In this paper, we propose diagnosis of steady-state process behaviour using rules derived from the signed directed graph(SDG) representing the interaction among the process variables. All abnormalities are correlated using backward reasoning through rules to yield a diagnosis. These rules can be added with experimental rules which are obtained from experts on plant operation.

1 Basic aspects of continuous time Markov chains 3 1.1 Markov property . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2 Regular jump chain . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.3 Holding times . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.4 Poisson process . . . . . . . . . . . . . . ....

A model of BDI{agent in game{theoretic framework is presented. The desire is represented as agent's goal to achieve a maximum level of utility. A reasoning process based on agent's rational behavior is proposed. This process determines agent's intention. It is also shown how to use the backward induction consistently with the assumption of the common knowledge of rationality.

In this paper, we revisit the forward, backward and bidirectional Bahl-Cocke-Jelinek-Raviv (BCJR) soft-input soft-output (SISO) maximum a posteriori probability (MAP) decoding process of rate-1 binary convolutional codes. From this we establish some interesting explicit relationships between encoding and decoding of rate-1 convolutional codes. We observe that the forward and backward BCJR SISO ...

According to the crossbridge theory (A.F. Huxley 1957), the interaction between myosin and actin is governed by a deterministic process and the myosin molecule pulls the actin filament in one specific direction only. However, studies on single myosin-actin interaction (J.T. Finer et al. 1994) have shown that crossbridges pull actin filaments not only in a preferred but also in the opposite dire...