This paper proposes an original generic hierarchical framework in order to facilitate the modeling stage of complex autonomous robotics mission planning problems with action uncertainties. Such stochastic planning problems can be modeled as Markov Decision Processes [5]. This work is…

Resumo: A expressiva troca de germoplasma com outros países, por meio da importação e exportação de produtos agrícolas representa um aumento no risco de introdução desta praga no Brasil, por isso a importância do levantamento de informações acerca das características…

There are three kinds of uncertainty in the process of fish-disease diagnosis, such as randomicity, fuzzy and imperfection, which affect the veracity of fish-disease diagnostic conclusion. So, it is important to construct a fish-disease diagnostic model to effectively deal with…

Associating the pattern in text data with the pattern with time series data is a novel task. In this paper, an approach that utilizes the features of the time series data and domain knowledge is proposed and used to identify…

Žinių samprata yra sudėtinga, įvairi ir daugiaprasmė. Moksliniu požiūriu žinių prigimtį ir esmę jau keletą dešimtmečių tyrinėja įvairių sričių mokslininkai, tačiau iki šiol nėra sukurtos visuotinai pripažintos žinių potencialo vertinimo metodikos, vartojamos skirtingos sąvokos, nesutariama, kokie veiksniai yra esminiai vertinant…

Le rôle de la communauté militaire internationale dans le cadre des opérations de maintien de la paix (OMP) s’est profondément transformé depuis la fin de la Guerre froide. En effet, elle intervient de plus en plus fréquemment dans des guerres…

Descripción completa.

A new species of Seticornuta from Brazil is described and illustrated, the frst record of this genus for the Brazilian fauna. This new species was found in a study that aimed to enhance knowledge of the Brazilian fauna of Metopiinae,…

In this paper we present an e ective prover for mbC, a minimal inconsistency logic. The mbC logic is a paraconsistent logic of the family of logics of formal inconsistency. Paraconsistent logics have several philosophical motivations as well as many…

In the past, numerous approaches have been formulated either for approximating Pareto-optimal alternatives or supporting the decision making process with an interactive multi criteria decision aiding methodology. The article on the other hand presents an integrated system for the resolution…