Results found: 2

Search results

Sort By:

Limit search:

Logic of Algorithmic Knowledge

100%

Surowik D.

Studies in Logic, Grammar and Rhetoric

2015

vol. 42

issue 1

163-172

In this paper we consider the construction of a LAK system of temporal-epistemic logic which is used to formally describe algorithmic knowledge. We propose an axiom system of LAK and discuss the basic properties of this logic.

Classification of Patients Treated for Infertility Using the IVF Method

33%

Malinowski P., Milewski R., Ziniewicz P., Milewska A. J., Czerniecki J., Więsak T., Morgan A., Surowik D., Wołczyński S.

Studies in Logic, Grammar and Rhetoric

2015

vol. 43

issue 1

49-59

One of the most effective methods of infertility treatment is in vitro fertilization (IVF). Effectiveness of the treatment, as well as classification of the data obtained from it, is still an ongoing issue. Classifiers obtained so far are powerful, but even the best ones do not exhibit equal quality concerning possible treatment outcome predictions. Usually, lack of pregnancy is predicted far too often. This creates a constant need for further exploration of this issue. Careful use of different classification methods can, however, help to achieve that goal.

Refine search results

2 Studies in Logic, Grammar and Rhetoric

2 Surowik D.

1 Czerniecki J.

1 Malinowski P.

1 Milewska A. J.

1 Milewski R.

1 Morgan A.

1 Więsak T.

1 Wołczyński S.

1 Ziniewicz P.

2 2015

Search results

Logic of Algorithmic Knowledge

Classification of Patients Treated for Infertility Using the IVF Method