Traditional abduction imposes as a precondition the restriction that the background information may not derive the goal data. In first-order logic such precondition is, in general, undecidable. To avoid such problem, we ...

In this work, we analyze systems described by Lagrangians with higher order derivatives in the context of the Hamilton-Jacobi formalism for first order actions. Two different approaches are studied here: the first one is ...

In this work, we analyze systems described by Lagrangians with higher order derivatives in the context of the Hamilton-Jacobi formalism for first order actions. Two different approaches are studied here: the first one is ...

We analyse systems described by first-order actions using the Hamilton-Jacobi (HJ) formalism for singular systems. In this study we verify that generalized brackets appear in a natural way in HJ approach, showing us the ...

We prove three existence theorems for solutions of first-order dynamic initial value problems, including corresponding continuous and discrete cases. The main tools are fixed point theorems and dynamic inequalities. Two ...

We prove three existence theorems for solutions of first-order dynamic initial value problems, including corresponding continuous and discrete cases. The main tools are fixed point theorems and dynamic inequalities. Two ...

We analyse systems described by first-order actions using the Hamilton-Jacobi (HJ) formalism for singular systems. In this study we verify that generalized brackets appear in a natural way in HJ approach, showing us the ...

We define and analyse a least-squares finite element method for a first-order reformulation of a scaled Brinkman model of fluid flow through porous media. We introduce a pseudostress variable that allows to eliminate the ...