Piotr Gorczyca

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Piotr Gorczyca

Studentische HilfskraftTechnische Universität DresdenInternational Center for Computational Logic Logische Programmierung und Argumentation
Piotr Gorczyca

Piotr Gorczyca arbeitet in der Gruppe Logische Programmierung und Argumentation im Projekt [Navas] an der Entwicklung eines Benchmark Generators für Konfigurationsprobleme. Die daraus resultierende Software soll für Answer Set Programming Technologien einsetzbar sein.

NAVAS
Navigation im Lösungsraum von Answer Sets