In this paper we study the existence of mild solutions for a class of first order abstract partial neutral differential equations with state-dependent delay. (C) 2008 Elsevier Ltd. All rights reserved.

In Dungs seminal work, an argumentation framework was defined by a set of abstract arguments and a binary (and also abstract) relation between these arguments, called attack relation and expressing conflicts between ...

We study the existence and uniqueness of mild and classical solutions for a general class of abstract impulsive differential equations with state-dependent impulses. Some examples on partial differential equations are presented.

We study the existence and uniqueness of mild and strict solutions for abstract neutral differential equations with state-dependent delay. Some examples related to partial neutral differential equations are presented.

Model Checking is a powerful method for the formal verification of concurrent systems. It explores automatically the state-space of a model that represents the system to prove its correctness in relation to formal ...

Reinforcement Learning is carried out on-line, through trial-and-error interactions of the agent with the environment, which can be very time consuming when considering robots. In this paper we contribute a new learning ...