Piotr Gorczyca

From International Center for Computational Logic

Piotr Gorczyca

Student AssistantTechnische Universität DresdenInternational Center for Computational Logic Logic Programming and Argumentation
Piotr Gorczyca

Piotr Gorczyca develops a benchmark generator for configuration problems at the logic programming and argumentation group, within the project [Navas]. The software will be used for further research related to Answer Set Programming.

Newest Publications

View full publication list

NAVAS
Navigation Approaches for Answer Sets