Publikacje

Conference: International Conference on 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