Feasibility of Declarative Diagnosis

Włodek Drabent. A poster at ICLP 2023

An (imperfect) photo.

The poster consisted of separate sheets, here is a file with one sheet per page.

The top part
Left column: p.2 and p.3--7.
Middle column: p.1 (the title) and p.8--12
Right column: p.13--16 and p.17--20 (see also Errata)

The bottom part
p.21--24