You are not logged in |
Back to the list of the institutes
Publications
Journal: Theory and Practice of Logic Programming
Number of publications: 12018
- 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 July 2018 - 17 July 2018, 18 (3-4) 2018, p. 673-690. See in PBN
