Computing Stable Models via Reductions to Difference Logic von Janhunen, Tomi, Niemelä, Ilkka, Sevalnev, Mark

Volltext

Environmental Protection in the Implementation of Genetic Engineering Activities von Putilo, Natalia, Shupletsova, Julia, Sevalnev, Viacheslav, Karpovich, Oleg

Volltext

The Sixth Answer Set Programming Competition von Gebser, Martin, Maratea, Marco, Ricca, Francesco

Volltext

The third open answer set programming competition von CALIMERI, FRANCESCO, IANNI, GIOVAMBATTISTA, RICCA, FRANCESCO

Volltext

Development of New Health Risk Assessment of Nanoparticles: EPA Health Risk Assessment Revised von Macko, Michal, Antoš, Jan, Božek, František, Konečný, Jiří, Huzlík, Jiří, Hegrová, Jitka, Kuřitka, Ivo

Volltext

Surface patterns formation by ion irradiation of PAN based сarbon fibers von Andrianova, N.N., Borisov, A.M., Mashkova, E.S., Ovchinnikov, M.A., Timofyev, M.A., Vysotina, E.A.

Volltext