Publikacje

Czasopismo: Theory and Practice of Logic Programming

2018

• Aleksy Schubert , Paweł Urzyczyn , First-order Answer Set Programming as Constructive Proof Search, Theory and Practice of Logic Programming, 34th International Conference on Logic Programming, Oxford, the United Kingdom of Great Britain and Northern Ireland, 14 lipca 2018 - 17 lipca 2018, 18 (3-4) 2018, s. 673-690. Zobacz w PBN