This work studies the initial-boundary value problem (ibvp) of two-dimensional nonlinear Schrödinger equation on half-plane with initial data in Sobolev spaces and Neumann or Robin boundary appropriate Bourgain spaces. It establishes well-posedness sense Hadamard by using explicit solution formula for forced linear ibvp obtained via Fokas’s unified transform, a contraction mapping argument.

We suggest soft constraints as a mean to parametrically represent and solve “weighted” Argumentation problems: different kinds of preference levels related to arguments, e.g. a score representing a “fuzziness”, a “cost” or a probability level of each argument, can be represented by choosing different semiring algebraic structures. The novel idea is to provide a common computational and quantita...

In computational models of argumentation, argument justification has attracted more attention than statement justification, and significant sensitivity losses are identifiable when dealing with the justification of statements by otherwise appealing formalisms. This paper reappraises statement justification as a formalism-independent component in argument-based reasoning. We introduce a novel ge...

This article presents an alternative explanation for the Anaphor-Agreement effect, the generalisation that anaphors do not occur in syntactic position construed with agreement (cf. Rizzi 1990). I propose that this effect finds its explanation in the theory of argument marking. Arguments must be marked by either case or agreement for reasons of LF visibility (cf. Chomsky 1986). However, when an ...

This document describes a strawman specification for an Argument Interchange Format (AIF) that might be used for data exchange between Argumentation tools or communication in Multi-Agent Systems (MAS). The document started life as a skeleton for contributions from participants in the Technical Forum Group meeting in Budapest in September 2005, receiving also input from third parties. The result...

This paper introduces OVA+, an on-line interface for the analysis of arguments. It is the result of an attempt to provide a tool relying on the Argument Interchange Format theory and Inference Anchoring Theory schemes.

In this paper, we present an extension to the recently proposed Argument Interchange Format (AIF) to capture Walton’s argument schemes.

Based on the development of education in Indonesia today, teachers still teach ways that make students memorize lessons. A learning model is needed can support to think critically. One models critically through guided discovery with argument mapping. This study aims find out influence an mapping develop critical thinking skills. The research method used was quasi experimental and pretest-postte...