## About

31

Publications

4,848

Reads

**How we measure 'reads'**

A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more

281

Citations

Citations since 2017

## Publications

Publications (31)

This chapter focuses on a variety of ethical implications of ICT implants. We will explain how different ethical implications arise from different types of implants, depending on the context in which they are used. After a first assessment of what is at stake, we will briefly discuss the Opinion 20 of the European Group on Ethics of Science and New...

Radio Frequency Identification (RFID) technology was originally developed for automatic identification of physical objects. An RFID tag—a small device attached to the object—emits identification data through radio waves in response to a query by an RFID reader which also supplies it power. RFID technology has been increasingly employed as a ‘barcod...

Algorithms can be utilised to play two essential roles in the data mining endeavour. Firstly, in the form of procedures, they
may determine how profiling is conducted by controlling the profiling process itself. For example, methodologies such as CRISP-DM
have been designed to control the process of extracting information from the large quantities...

During the last decade, Internet-voting (i-voting) moved from the field of fundamental research to practical application. First, we will see that theoretical research provides satisfying algorithms for some of the challenges raised by i-voting and that some real world experiments have already been developed and performed.
Unfortunately, in current...

Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. The problem is that each of the existing systems has its own user interface and an individual language to model the knowledge and the queries.
This paper proposes ABEL, a new and ge...

The general concept of probabilistic argumentation systems PAS is restricted to the two types of variables: assumptions, which model the uncertain part of the knowledge, and proposi- tions, which model the rest of the information. Here, we introduce a third kind into PAS: so-called decision variables. This new kind allows to describe the decisions...

The general concept of probabilistic argumentation systems PAS is restricted to the two types of variables: assumptions, which model the uncertain part of the knowledge, and propositions, which model the rest of the information. Here, we introduce a third kind into PAS: so-called decision variables. This new kind allows to describe the decisions a...

Generally, technical systems are not guaranteed to work correctly. They are more or less reliable. One main problem for technical systems is the computation of the reliability of a system as studied in reliability theory. A second main problem for technical systems is the problem of diagnostic, i.e., explanations why something does not work. In fac...

In this paper we present a transformation of finite propositional default theories into so-called propositional argumentation systems. This transformation allows to characterize all notions of Reiter's default logic in the framework of argumentation systems. As a consequence, computing extensions, or determining wether a given formula belongs to on...

Technical systems are in general not guaranteed to work correctly. They are more or less reliable. One main problem for technical systems is the computation of the reliability of a system. A second main problem is the problem of diagnostic. In fact, these problems are in some sense dual to each other.

In this paper we present a transformation of propositional default theories into so-called propositional argumentation systems. This transformation allows to char-acterize all notions of Reiter's default logic in the framework of argumentation systems. This means that computing extension, or determining if a given formula belongs to one extension o...

Importance measures are a well-known concept developed in reliability theory. Here, we apply this concept to assumption-based
reasoning, a field which in fact is quite close to reliability theory. Based on quasi-supporting and supporting arguments,
we develop two concepts of importance measures and show how they are related to the ones from reliabi...

Propositional argumentation systems are based on assumption-based reasoning and used for computing arguments which support a given hypotheses. Assumption-based reasoning is closely related to hypothetical default theories or inference through theory formation. The latter approach, known as the Theorist frame-work, has well known relations to abduct...

Reliability and diagnostic are in general two problems discussed separately. Yet the two prob-lems are in fact closely related to each other. Here, this relation is considered in the simple case of modular systems. We show, how the computation of reliability and diagnostic can ef-ficiently be done within the same Bayesian network induced by the mod...

Importance measures are a well-known concept developed in reliability theory. Here, we apply this concept to assumption-based reasoning, a field which in fact is quite close to reliability theory. Based on concepts of quasi-supporting and supporting argument, we develop mainly two concepts of importance measures and show how they are related to the...

In the last couple of years, argumentation has gained growing recognition as a new and promising research direction in arti?cial intelligence. As a consequence of this increasing interest, di?erent authors have investigated argumentation and its application in various domains. By looking at today's literature on this subject, one realizes that argu...

The structure function ϕ of a binary monotone system is assumed to be known and given in a disjunctive normal form, i.e. as the logical union of products of the indicator variables of the states of its subsystems. Based on this representat ion of ϕ, an improved Abraham algorithm is proposed for generating the disjoint sum form of ϕ. This form is th...

In this paper we present a general language for representing subsets of a product of finite sets. For example this type of language is used for representing the set of diagnoses in the general theory of model-based diagnosis presented by Reiter [8]. In this paper it is shown that the mathematical structure of a Boolean algebra is the appropriate co...

This paper presents the concept of general argumen-tation systems, a framework for representing uncertain knowledge. Argumentation systems are a generaliza-tion of assumption-based systems and propositional ar-gumentation systems and can deal with very general formalisms. They incorporate probabilistic informa-tion in a natural way. We focus on arg...

In this paper we start with presentation of a general language for representing subsets of a cartesian product of finite sets. This language is used to represent the set of diagnoses in the general theory of model-based diagnosis presented by Reiter (R. Reiter, Artif. Intell. 32 (1987) 57–95) when the components have more than two possible operatin...

The mathematical foundations of model-based diagnostics or diagnosis from first principles have been laid by Reiter (1987). In this paper we extend Reiter's ideas of model-based diagnostics by introducing probabilities into Reiter's framework. This is done in a mathematically sound and precise way which allows one to compute the posterior probabili...

Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. The problem is that each of the existing systems has its own user interface and an individual language to model the knowledge and the queries. This paper proposes ABEL, a new and ge...

The language of propositional logic is sometimes not appropriate to model real-world problems. Therefore, flnite set constraints are introduced. A variable of a flnite set constraint takes exactly one value out of a given set of values whereas a propositional variable is either true or false. Although the class of real-world problems which can be d...

It is often possible to describe the correct functioning of a system by a mathematical model. As long as observations or measurements correspond to the predictions made by the model, the system may be assumed to be functioning correctly. When, however, a discrepancy arises between the observations and the model-based predictions, then an explanatio...

Model-based reasoning about a system requires an explicit representation of the sys-tem's components and their connections. Diagnosing such a system consists of locating those components whose abnormal behavior accounts for the faulty system behavior. The system in this paper is represented by Boolean functions and the variables represent the compo...

Abstract Consider a logical description of a system,where some variables are set by nature and some others can be set by a decision maker. In a first step, nature can set its variables, based on the information specified in the system description. Then, in a second step, the decision maker sets his variables, based on the information of the system...

## Projects

Project (1)

Journal “Computational Science and Techniques” is a semiannual academic refereed journal published in english with the focus on interdisciplinary field connecting computer science, mathematical modeling, and life sciences. The journal is interested in papers about various computational applications that are connected with modeling, algorithms, simulations or software developed to solve science or engineering problem or computer and information science that develops and optimizes the advanced system components, which are used for example in decision support systems or are applied in ecosystems management and etc. We encourage young scientists to submit for Computational Science and Techniques. Papers of high quality in interdisciplinary field are welcome.
http://journals.ku.lt/index.php/CST