Piotr Gorczyca
Aus International Center for Computational Logic
Piotr Gorczyca
Studentische Hilfskraft 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.
Neueste Publikationen
Komplette Publikationsliste anzeigenNAVAS
Navigation im Lösungsraum von Answer Sets