Piotr Gorczyca

Piotr Gorczyca

Studentische HilfskraftTechnische Universität Dresdenhttp://www.tu-dresden.deInternational Center for Computational Logichttps://iccl.inf.tu-dresden.de Logische Programmierung und Argumentation

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.

• Publikationen
• Aktive Projekte

Neueste Publikationen

Komplette Publikationsliste anzeigen

NAVAS
Navigation im Lösungsraum von Answer Sets