Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: http://uba.uva.nl/en/contact, or a letter to: Library of ...

Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: http://uba.uva.nl/en/contact, or a letter to: Library of ...

Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: http://uba.uva.nl/en/contact, or a letter to: Library of ...

We explore some links between abstract argumentation, logic and kernels in digraphs. Viewing argumentation frameworks as propositional theories in graph normal form, we observe that the stable semantics for argumentation can be given equivalently in terms of satisfaction and logical consequence in classical logic. We go on to show that the complete semantics can be formulated using Lukasiewicz ...

In this paper, we extend Nilsson’s probabilistic logic [1] to allow that each sentence S has three sets of possible worlds. We adopt the ideas of consistency and possible worlds introduced by Nilsson in [1], but propose a new method called linear equation method to deal with the problems of probabilistic inference, the results of our method is consistent with those of Yao’s interval-set model m...

where Ẇ (x, t) is an R-valued space-time white noise. Mueller and Tribe (2002) have proved necessary and sufficient conditions for the R-valued process {ut(x) : t ≥ 0, x ∈ R} to hit points and to have double points. In this paper, we continue their research by determining the Hausdorff and packing dimensions of the level sets and the sets of double times of the random string process {ut(x) : t ...

In this paper, at first we define the concepts of response function and accessible states of a complete residuated lattice-valued (for simplicity we write $mathcal{L}$-valued) tree automaton with a threshold $c.$ Then, related to these concepts, we prove some lemmas and theorems that are applied in considering some decision problems such as finiteness-value and emptiness-value of recognizable t...

This paper is an attempt to generalize, simultaneously, the ring of real-valued continuous functions and the ring of real-valued measurable functions.

Let X be a Markov process characterized as the solution of a martingale problem with generator A, and let Y be a related observation process. The conditional distribution πt of X(t) given observations of Y up to time t satisfies certain martingale properties, and it is shown that any probability-measure-valued process with the appropriate martingale properties can be interpreted as the conditio...

An inhomogeneous first–order integer–valued autoregressive (INAR(1)) process is investigated, where the autoregressive type coefficient slowly converges to one. It is shown that the process converges weakly to a Poisson or a compound Poisson distribution.