We present a theory of argumentation that can deal with contradiction within an argumentation framework, thus solving a problem posed in [1]. By representing logic programs as sets of interacting arguments, we can apply our results for general argumentation frameworks to logicprogramming semantics. This yields a new semantics for logic programs that properly extends traditional approaches such ...

We study the Cauchy problem associated with the equations governing a fluid loaded plate formulated on either the line or the half-line. We show that in both cases the problem can be solved by employing the unified approach to boundary value problems introduced by on of the authors in the late 1990's. The problem on the full line was analysed by Crighton et. al. using a combination of Laplace a...

A physically based inverse method is developed using hybrid formulation and coordinate transform to simultaneously estimate hydraulic conductivity tensors, steady-state flow field, and boundary conditions for a confined aquifer under ambient flow or pumping condition. Unlike existing indirect inversion techniques, the physically based method does not require forward simulations to assess model-...

Interactive narrative-centered learning environments offer significant potential for scaffolding guided discovery learning in rich virtual storyworlds while creating engaging and pedagogically effective experiences. Within these environments students actively participate in problem-solving activities. A significant challenge posed by narrative-centered learning environments is devising accurate...

Our focus in this paper is on the fundamental system of partial differential equation with boundary conditions (the continuous problem) that all types of numerical methods must respect. First, a constant coefficient hyperbolic system of equations which turns into a variable coefficient system of equations by transforming to a non-cartesian domain is considered. We discuss possible formulations ...

We establish global well-posedness and scattering for solutions to the mass-critical nonlinear Schrödinger equation iut +∆u = ±|u|u for large spherically symmetric Lx(R ) initial data; in the focusing case we require, of course, that the mass is strictly less than that of the ground state. As a consequence, we deduce that in the focusing case, any spherically symmetric blowup solution must conc...

In this paper, first a great number of inverse problems which arise in instrumentation, in computer imaging systems and in computer vision are presented. Then a common general forward modeling for them is given and the corresponding inversion problem is presented. Then, after showing the inadequacy of the classical analytical and least square methods for these ill posed inverse problems, a Baye...

Abstract Three regularization concepts are assessed regarding their variational structure and interference with the predicted physics of (quasi-)brittle damage: fracture energy concept, viscous micromorphic regularization. They first introduced in a unified framework, depicting how they distinctively evolve from incremental minimization. The analysis certain time interval one-dimensional exampl...

In the paper Several integral inequalities published in J. Inequal. Pure Appl. Math. 1 (2000), no. 2, Art. 19 (http://jipam.vu.edu.au/v1n2.html.001_00.html) and RGMIA Res. Rep. Coll. 2(7) (1999), Art. 9, 1039–1042 (http://rgmia.vu.edu.au/ v2n7.html) by F. Qi, an open problem was posed. In this article we give the solution and further generalizations of this problem. Reverse inequalities to the ...